---

StaticFieldManager Class Reference

List of all members.

Static Public Methods
void	init ()
FGNodeField	select (SootField sootField)
Static Private Methods
FGNodeField	get (SootField sootField)
void	put (SootField sootField, FGNodeField node)
void	reset ()
Static Private Attributes
Map	fieldMap

---

Detailed Description

This class manages the static variables.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 52 of file StaticFieldManager.java.

---

Member Function Documentation

FGNodeField StaticFieldManager::get (  SootField   sootField )  [inline, static, private]

Provides the FG node associated with the provided static field. Parameters: sootField   the static field corresponding to which the FG node is requried. Returns: the associated FG node. Definition at line 66 of file StaticFieldManager.java. Referenced by select().

void StaticFieldManager::init (    )  [inline, static]

Initializes the Manager. Definition at line 73 of file StaticFieldManager.java.

void StaticFieldManager::put (  SootField   sootField, FGNodeField   node )  [inline, static, private]

Adds a static field and the associated FG node. Parameters: sootField   the static field to be Managed. node   the FG node associated with sootField. Definition at line 83 of file StaticFieldManager.java. Referenced by select().

void StaticFieldManager::reset (    )  [inline, static, private]

Reset the data structures of the manager. Definition at line 91 of file StaticFieldManager.java.

FGNodeField StaticFieldManager::select (  SootField   sootField )  [inline, static]

Provides the flow graph node associated with the provided static field. if none exists then a new one is created. Parameters: sootField   the static field corresponding to which the flow graph node is required. Returns: the associated flow graph node. Definition at line 104 of file StaticFieldManager.java.

---

Member Data Documentation

Map StaticFieldManager::fieldMap [static, private]

A Map from static fields to the associated flow graph node. Definition at line 57 of file StaticFieldManager.java.

---

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

• StaticFieldManager.java

---