---

FGActionArrayRef Class Reference

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

Public Methods
	FGActionArrayRef (ClassTokenArray refClassTokenArray, FGNode arrayRefNode, MethodVariant methodVariant)
void	doAction (FASet values)
Private Attributes
FGNode	arrayRefNode
Set	installedArrayVariants
ClassTokenArray	refClassTokenArray
MethodVariant	methodVariant

---

Detailed Description

This class describes the action to taken when new values arrive at the base position of an array reference that appears on the RHS of an assignment statement.

For every value variant that flows into the AST Node annotated by this action, we want to find the corresponding array variant node, and hook it into the flowgraph so that all values flowing out of the memory cells abstracted by the array variant flow into the AST Node annotated by this action.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 63 of file FGActionArrayRef.java.

---

Constructor & Destructor Documentation

FGActionArrayRef::FGActionArrayRef (  ClassTokenArray   refClassTokenArray, FGNode   arrayRefNode, MethodVariant   methodVariant )  [inline]

Constructor for the class. Parameters: refClassTokenArray   the class token generated by the type in the array ref AST node arrayRefNode   the array reference AST node methodVariant   the method variant enclosing the reference node. Definition at line 98 of file FGActionArrayRef.java.

---

Member Function Documentation

void FGActionArrayRef::doAction (  FASet   values )  [inline]

Hooks in the flow graph node associated with the array variant into the graph as a producer node. The array variant is the values in the incoming set. Parameters: values   triggered the action. See also: FGActionArrayStore::doAction FGActionArrayStore.doAction Reimplemented from FGAction. Definition at line 114 of file FGActionArrayRef.java.

---

Member Data Documentation

FGNode FGActionArrayRef::arrayRefNode [private]

Array reference AST node. Definition at line 68 of file FGActionArrayRef.java.

Set FGActionArrayRef::installedArrayVariants [private]

Set of array variants that have been connected into the flow graph for this node. Definition at line 74 of file FGActionArrayRef.java.

MethodVariant FGActionArrayRef::methodVariant [private]

MethodVariant in which the array reference occurs. Definition at line 84 of file FGActionArrayRef.java.

ClassTokenArray FGActionArrayRef::refClassTokenArray [private]

Class token corresponding to the array type of the array in context. Definition at line 79 of file FGActionArrayRef.java.

---

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

• FGActionArrayRef.java

---