Inheritance diagram for com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >:

Public Member Functions
boolean	hasState (GraphNode node)
void	setState (GraphNode node, LatticeElement element)
int	size ()
Package Functions
LatticeElement	getState (GraphNode node)

Detailed Description

Interface that must be implemented by all classes to be used as state vectors in the context of MonoREIL.

Parameters:

	<GraphNode>	Type of the nodes in the lattice graph.
	<LatticeElement>	Type of the lattice elements.

Member Function Documentation

LatticeElement com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.getState ( GraphNode node ) [package]

Returns the state of a given node.

Parameters:

node

The node for which the state is returned.

boolean com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.hasState ( GraphNode node )

Checks whether the state vector knows the current state of a given node or not.

Parameters:

node

The node to check.

void com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.setState	(	GraphNode	node,
		LatticeElement	element
	)

Updates the state of a graph node.

Parameters:

	node	The graph node whose state is updated.
	element	The new state of the graph node.

int com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.size ( )

Returns the number of entries in the state vector.