edu.mit.csail.sdg.squander.absstate.AbstractState Class Reference
[Abstract State]

Collaboration diagram for edu.mit.csail.sdg.squander.absstate.AbstractState:

[legend]

List of all members.

Public Member Functions
Collection< Object >	getAllObjects ()
ObjAbsState	getObjState (Object obj)
ObjAbsState	getOrAddObjState (Object obj)
void	setObjState (Object obj, ObjAbsState objState)
void	clear ()
Set< Entry< Object, ObjAbsState > >	getEntries ()
String	toString ()
Collection< ObjAbsState >	getAllObjStates ()
Private Attributes
IdentityHashMap< Object, ObjAbsState >	obj2AbsState = new IdentityHashMap<Object, ObjAbsState>()

---

Detailed Description

Used to store the abstract state (values of spec fields) of all heap objects.

Author:

Aleksandar Milicevic

Definition at line 17 of file AbstractState.java.

---

Member Function Documentation

void edu.mit.csail.sdg.squander.absstate.AbstractState.clear

(

)

Definition at line 43 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState.

Collection<Object> edu.mit.csail.sdg.squander.absstate.AbstractState.getAllObjects

(

)

Definition at line 24 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState.

Collection<ObjAbsState> edu.mit.csail.sdg.squander.absstate.AbstractState.getAllObjStates

(

)

Definition at line 60 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState.

Set<Entry<Object, ObjAbsState> > edu.mit.csail.sdg.squander.absstate.AbstractState.getEntries

(

)

Definition at line 47 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState.

ObjAbsState edu.mit.csail.sdg.squander.absstate.AbstractState.getObjState

(

Object

obj

)

Definition at line 26 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState.

Referenced by edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.absFunc(), and edu.mit.csail.sdg.squander.absstate.AbstractState.getOrAddObjState().

ObjAbsState edu.mit.csail.sdg.squander.absstate.AbstractState.getOrAddObjState

(

Object

obj

)

Definition at line 30 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.getObjState(), and edu.mit.csail.sdg.squander.absstate.AbstractState.setObjState().

Referenced by edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.concrFunc().

void edu.mit.csail.sdg.squander.absstate.AbstractState.setObjState	(	Object	obj,
		ObjAbsState	objState
	)

Definition at line 39 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState.

Referenced by edu.mit.csail.sdg.squander.absstate.AbstractState.getOrAddObjState().

String edu.mit.csail.sdg.squander.absstate.AbstractState.toString

(

)

Definition at line 52 of file AbstractState.java.

References edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState.

---

Member Data Documentation

IdentityHashMap<Object, ObjAbsState> edu.mit.csail.sdg.squander.absstate.AbstractState.obj2AbsState = new IdentityHashMap<Object, ObjAbsState>() [private]

Keeps abstract states of different heap objects.

Definition at line 22 of file AbstractState.java.

Referenced by edu.mit.csail.sdg.squander.absstate.AbstractState.clear(), edu.mit.csail.sdg.squander.absstate.AbstractState.getAllObjects(), edu.mit.csail.sdg.squander.absstate.AbstractState.getAllObjStates(), edu.mit.csail.sdg.squander.absstate.AbstractState.getEntries(), edu.mit.csail.sdg.squander.absstate.AbstractState.getObjState(), edu.mit.csail.sdg.squander.absstate.AbstractState.setObjState(), and edu.mit.csail.sdg.squander.absstate.AbstractState.toString().

---

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

• src/edu/mit/csail/sdg/squander/absstate/AbstractState.java