---

JimpleStore Class Reference

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

Public Methods
JimpleLiteral	getLocalValue (SootMethod method, Local local)
String	getOuput ()
JimpleLiteral	getStaticFieldValue (SootField field)
Vector	getThreads ()
boolean	isActive (SootMethod method)
void	print ()
Private Methods
	JimpleStore (BirState state)
Private Attributes
Vector	variables = new Vector()
Hashtable	values
JimpleLiteralPrinter	printer
String	output
TransSystem	system
BirState	state

---

Detailed Description

A Jimple store (encode the values of the variables at a given state)

Definition at line 48 of file JimpleStore.java.

---

Member Function Documentation

JimpleLiteral JimpleStore::getLocalValue (  SootMethod   method, Local   local )  [inline]

Get value of Jimple local variable Parameters: method   Soot method containing local local   Local representing variable Definition at line 85 of file JimpleStore.java.

String JimpleStore::getOuput (    )  [inline]

Get output at state (this is a String containing the concatenation of all Bandera.print() statements up to this point in the trace). Definition at line 94 of file JimpleStore.java.

JimpleLiteral JimpleStore::getStaticFieldValue (  SootField   field )  [inline]

Get value of Jimple static field Parameters: Soot   field (must be static) Definition at line 102 of file JimpleStore.java.

Vector JimpleStore::getThreads (    )  [inline]

Get Vector of SootMethods representing threads Definition at line 109 of file JimpleStore.java.

boolean JimpleStore::isActive (  SootMethod   method )  [inline]

Is thread active? Parameters: method   Soot method representing thread body Definition at line 124 of file JimpleStore.java.

void JimpleStore::print (    )  [inline]

Print store Definition at line 134 of file JimpleStore.java. Referenced by JimpleTrace::print().

---

Member Data Documentation

Hashtable JimpleStore::values [private]

Initial value: new Hashtable() Definition at line 51 of file JimpleStore.java.

---

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

• JimpleStore.java

---