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

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

[legend]

List of all members.

Public Member Functions
	ObjAbsState (Object obj)
Object	getObj ()
Iterator< FieldValue >	iterator ()
void	add (FieldValue e)
FieldValue	getSpecField (String name)
FieldValue	getOrAddSpecField (JField jf, int arity)
String	toString ()
Private Attributes
final Object	obj
Map< String, FieldValue >	specFields = new HashMap<String, FieldValue>()

---

Detailed Description

The abstract state of an object consists of FieldValues.

Author:

Aleksandar Milicevic

Definition at line 19 of file ObjAbsState.java.

---

Constructor & Destructor Documentation

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

(

Object

obj

)

Definition at line 26 of file ObjAbsState.java.

---

Member Function Documentation

void edu.mit.csail.sdg.squander.absstate.ObjAbsState.add

(

FieldValue

e

)

Definition at line 39 of file ObjAbsState.java.

References edu.mit.csail.sdg.squander.absstate.FieldValue.jfield, edu.mit.csail.sdg.squander.spec.JField.name, and edu.mit.csail.sdg.squander.absstate.ObjAbsState.specFields.

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

Object edu.mit.csail.sdg.squander.absstate.ObjAbsState.getObj

(

)

Definition at line 30 of file ObjAbsState.java.

References edu.mit.csail.sdg.squander.absstate.ObjAbsState.obj.

FieldValue edu.mit.csail.sdg.squander.absstate.ObjAbsState.getOrAddSpecField	(	JField	jf,
		int	arity
	)

Definition at line 47 of file ObjAbsState.java.

References edu.mit.csail.sdg.squander.absstate.ObjAbsState.getSpecField(), edu.mit.csail.sdg.squander.spec.JField.name, and edu.mit.csail.sdg.squander.absstate.ObjAbsState.specFields.

FieldValue edu.mit.csail.sdg.squander.absstate.ObjAbsState.getSpecField

(

String

name

)

Definition at line 43 of file ObjAbsState.java.

References edu.mit.csail.sdg.squander.absstate.ObjAbsState.specFields.

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

Iterator<FieldValue> edu.mit.csail.sdg.squander.absstate.ObjAbsState.iterator

(

)

Definition at line 35 of file ObjAbsState.java.

References edu.mit.csail.sdg.squander.absstate.ObjAbsState.specFields.

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

(

)

Definition at line 58 of file ObjAbsState.java.

References edu.mit.csail.sdg.squander.absstate.ObjAbsState.obj, and edu.mit.csail.sdg.squander.absstate.ObjAbsState.specFields.

---

Member Data Documentation

final Object edu.mit.csail.sdg.squander.absstate.ObjAbsState.obj [private]

Definition at line 21 of file ObjAbsState.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjAbsState.getObj(), and edu.mit.csail.sdg.squander.absstate.ObjAbsState.toString().

Map<String, FieldValue> edu.mit.csail.sdg.squander.absstate.ObjAbsState.specFields = new HashMap<String, FieldValue>() [private]

Values of spec fields

Definition at line 24 of file ObjAbsState.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjAbsState.add(), edu.mit.csail.sdg.squander.absstate.ObjAbsState.getOrAddSpecField(), edu.mit.csail.sdg.squander.absstate.ObjAbsState.getSpecField(), edu.mit.csail.sdg.squander.absstate.ObjAbsState.iterator(), and edu.mit.csail.sdg.squander.absstate.ObjAbsState.toString().

---

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

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