---

FGNode Class Reference

Inheritance diagram for FGNode:[legend]List of all members.

Public Methods
	FGNode ()
	FGNode (FASet values, Set actions, Set succs, Set preds)
void	addAction (FGAction action)
Set	getActions ()
Set	getPreds ()
Set	getSuccs ()
FASet	getValues ()
Static Private Methods
void	makeArc (FGNode source, FGNode dest)
Private Attributes
FASet	values
Set	actions
Set	succs
Set	preds

---

Detailed Description

The class representing a node in the flow graph.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 52 of file FGNode.java.

---

Constructor & Destructor Documentation

FGNode::FGNode (    )  [inline]

Constructor that creates empty sets for values, actions, and succs. Parameters: id   a String value Definition at line 79 of file FGNode.java.

FGNode::FGNode (  FASet   values, Set   actions, Set   succs, Set   preds )  [inline]

Constructor that receives values for all node components. Parameters: id   a String value values   set of values that have flowed into this node. These values are refered to as flow values. actions   set of actions to be executed when values arrive at this node. succs   successors of this node in the flowgraph. preds   a Set value Definition at line 97 of file FGNode.java.

---

Member Function Documentation

void FGNode::addAction (  FGAction   action )  [inline]

Adds an action to this node. Parameters: action   the action to be associated with the FG node. Definition at line 109 of file FGNode.java. Referenced by FGExpr::caseArrayRef(), FGExpr::caseInterfaceInvokeExpr(), FGExpr::caseSpecialInvokeExpr(), and FGExpr::caseVirtualInvokeExpr().

Set FGNode::getActions (    )  [inline]

Returns the set of actions associated with this node. Returns: the set of actions associated with this node. Definition at line 118 of file FGNode.java. Referenced by FGWorkSendVals::doWork().

Set FGNode::getPreds (    )  [inline]

Returns the set of predecessors for this node. Returns: the set of predcessors for this node. Definition at line 127 of file FGNode.java.

Set FGNode::getSuccs (    )  [inline]

Returns the set of successors for this node. Returns: the set of successors for this node. Definition at line 136 of file FGNode.java. Referenced by FGWorkSendVals::doWork().

FASet FGNode::getValues (    )  [inline]

Returns the set of flow values for this node. Returns: the set of flow values for this node. Definition at line 145 of file FGNode.java. Referenced by Analysis::RefValueSwitch::caseLocal(), FGActionInvoke::doAction(), FGActionArrayStore::doAction(), FGActionArrayRef::doAction(), FGWorkSendVals::doWork(), MethodVariant::getASTValues(), MethodVariant::getParameterValues(), MethodVariant::getReturnValues(), MethodVariant::getThisValues(), and FA::summarizeInstanceFieldVariants().

void FGNode::makeArc (  FGNode   source, FGNode   dest )  [inline, static, private]

Connects one node to another node in predecessor-successor pattern. Parameters: source   the source node in the connection. dest   the destination node in the conneciton. Definition at line 155 of file FGNode.java. Referenced by FGExpr::caseLocal(), FGExpr::caseParameterRef(), FGExpr::caseStaticFieldRef(), FGExpr::caseStaticInvokeExpr(), and FGExpr::caseThisRef().

---

Member Data Documentation

Set FGNode::actions [private]

Actions to be invoked when a new value flows into the FG node Definition at line 62 of file FGNode.java.

Set FGNode::preds [private]

Predecessor FG nodes in the FlowGraph Definition at line 72 of file FGNode.java.

Set FGNode::succs [private]

Successor FG nodes in the FlowGraph Definition at line 67 of file FGNode.java.

FASet FGNode::values [private]

Values flowing into the FG node Definition at line 57 of file FGNode.java.

---

The documentation for this class was generated from the following file:

• FGNode.java

---