---

FGActionArrayStore Class Reference

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

Public Methods
	FGActionArrayStore (ClassTokenArray refClassTokenArray, FGNode arrayStoreNode)
void	doAction (FASet values)
Private Attributes
FGNode	arrayStoreNode
ClassTokenArray	refClassTokenArray
Set	installedArrayVariants

---

Detailed Description

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

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 57 of file FGActionArrayStore.java.

---

Constructor & Destructor Documentation

FGActionArrayStore::FGActionArrayStore (  ClassTokenArray   refClassTokenArray, FGNode   arrayStoreNode )  [inline]

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 as a receiver node so that all values flowing into the AST Node annotated by this action will flow into the set of memory cells abstracted by the array variant. Parameters: refClassTokenArray   the class token associated with the array type of the reference node. arrayStoreNode   the array reference AST node. Definition at line 91 of file FGActionArrayStore.java.

---

Member Function Documentation

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

Hooks in the array reference node into the flow graph as a consumer node. Parameters: values   triggered the action. See also: FGActionArrayRef::doAction FGActionArrayRef.doAction Reimplemented from FGAction. Definition at line 104 of file FGActionArrayStore.java.

---

Member Data Documentation

FGNode FGActionArrayStore::arrayStoreNode [private]

Node for the array store AST. Definition at line 67 of file FGActionArrayStore.java.

Set FGActionArrayStore::installedArrayVariants [private]

Set of array variants that have been connected into the flow graph for the base node tagged by this action. Definition at line 78 of file FGActionArrayStore.java.

ClassTokenArray FGActionArrayStore::refClassTokenArray [private]

ClassToken corresponding to the array. Definition at line 72 of file FGActionArrayStore.java.

---

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

• FGActionArrayStore.java

---