---

InstanceVariant Class Reference

List of all members.

Public Methods
	InstanceVariant (SootField sootField, Index instanceIndex, FGNodeField node)
SootField	getField ()
Index	getInstanceIndex ()
FGNodeField	getNode ()
Private Attributes
SootField	sootField
Index	instanceIndex
FGNodeField	node

---

Detailed Description

This class represents instance variables variants.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 52 of file InstanceVariant.java.

---

Constructor & Destructor Documentation

InstanceVariant::InstanceVariant (  SootField   sootField, Index   instanceIndex, FGNodeField   node )  [inline]

Constructor of the class. Parameters: sootField   the field this variant will describe. instanceIndex   the index to get to this instance variant. node   the flow graph node associated with this variant. Definition at line 76 of file InstanceVariant.java.

---

Member Function Documentation

SootField InstanceVariant::getField (    )  [inline]

Provides the associated field. Returns: the associated field. Definition at line 89 of file InstanceVariant.java.

Index InstanceVariant::getInstanceIndex (    )  [inline]

Provides the associated index. Returns: the associated index. Definition at line 98 of file InstanceVariant.java.

FGNodeField InstanceVariant::getNode (    )  [inline]

Provides the associated flow graph node. Returns: the associated flow graph node . Definition at line 107 of file InstanceVariant.java. Referenced by FGExpr::caseInstanceFieldRef().

---

Member Data Documentation

Index InstanceVariant::instanceIndex [private]

Index to get to this instance variant. Definition at line 62 of file InstanceVariant.java.

FGNodeField InstanceVariant::node [private]

FG node that summarizes the value for this instance variant. Definition at line 67 of file InstanceVariant.java.

SootField InstanceVariant::sootField [private]

Field described by this variant. Definition at line 57 of file InstanceVariant.java.

---

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

• InstanceVariant.java

---