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

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

[legend]

List of all members.

Public Member Functions
	FieldValue (JField jfield, int arity)
JField	jfield ()
ObjTupleSet	tupleSet ()
void	addTuple (ObjTuple tuple)
void	addAllTuples (ObjTupleSet value)
String	toString ()
Private Attributes
final JField	jfield
final ObjTupleSet	tupleSet

---

Detailed Description

Used to represent the value of a spec field. It consists of a field definition and its value (which is a set of tuples).

Author:

Aleksandar Milicevic

Definition at line 15 of file FieldValue.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.absstate.FieldValue.FieldValue	(	JField	jfield,
		int	arity
	)

Definition at line 22 of file FieldValue.java.

References edu.mit.csail.sdg.squander.absstate.FieldValue.tupleSet().

---

Member Function Documentation

void edu.mit.csail.sdg.squander.absstate.FieldValue.addAllTuples

(

ObjTupleSet

value

)

Definition at line 38 of file FieldValue.java.

References edu.mit.csail.sdg.squander.absstate.FieldValue.addTuple().

Referenced by edu.mit.csail.sdg.squander.engine.SquanderResult.restoreJavaHeap().

void edu.mit.csail.sdg.squander.absstate.FieldValue.addTuple

(

ObjTuple

tuple

)

Definition at line 34 of file FieldValue.java.

References edu.mit.csail.sdg.squander.absstate.ObjTupleSet.add(), and edu.mit.csail.sdg.squander.absstate.FieldValue.tupleSet().

Referenced by edu.mit.csail.sdg.squander.serializer.special.SetSer.absFunc(), edu.mit.csail.sdg.squander.serializer.special.MapSer.absFunc(), edu.mit.csail.sdg.squander.serializer.special.ListSer.absFunc(), edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.absFunc(), edu.mit.csail.sdg.squander.serializer.special.ArraySer.absFunc(), and edu.mit.csail.sdg.squander.absstate.FieldValue.addAllTuples().

JField edu.mit.csail.sdg.squander.absstate.FieldValue.jfield

(

)

Definition at line 28 of file FieldValue.java.

Referenced by edu.mit.csail.sdg.squander.absstate.FieldValue.toString().

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

(

)

Definition at line 44 of file FieldValue.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.FieldValue.tupleSet().

ObjTupleSet edu.mit.csail.sdg.squander.absstate.FieldValue.tupleSet

(

)

Definition at line 30 of file FieldValue.java.

Referenced by edu.mit.csail.sdg.squander.absstate.FieldValue.addTuple(), edu.mit.csail.sdg.squander.absstate.FieldValue.FieldValue(), and edu.mit.csail.sdg.squander.absstate.FieldValue.toString().

---

Member Data Documentation

final JField edu.mit.csail.sdg.squander.absstate.FieldValue.jfield [private]

Field definition

Definition at line 18 of file FieldValue.java.

Referenced by edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.absFunc(), edu.mit.csail.sdg.squander.absstate.ObjAbsState.add(), edu.mit.csail.sdg.squander.serializer.special.SetSer.concrFunc(), edu.mit.csail.sdg.squander.serializer.special.MapSer.concrFunc(), edu.mit.csail.sdg.squander.serializer.special.ListSer.concrFunc(), edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.concrFunc(), and edu.mit.csail.sdg.squander.serializer.special.ArraySer.concrFunc().

final ObjTupleSet edu.mit.csail.sdg.squander.absstate.FieldValue.tupleSet [private]

Field value (set of tuples of Java objects)

Definition at line 20 of file FieldValue.java.

Referenced by edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.concrFunc(), and edu.mit.csail.sdg.squander.serializer.special.ArraySer.restoreElems().

---

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

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