edu.mit.csail.sdg.squander.serializer.special.ListSer Class Reference
[Serialization]

Inherits edu::mit::csail::sdg::squander::serializer::special::IObjSer.

Collaboration diagram for edu.mit.csail.sdg.squander.serializer.special.ListSer:

[legend]

List of all members.

Public Member Functions
boolean	accepts (Class<?> clz)
List	newInstance (Class<?> cls)
List< FieldValue >	absFunc (JavaScene javaScene, Object obj)
Object	concrFunc (Object obj, FieldValue fieldValue)
Static Public Attributes
static final String	DATA = "elts"
Private Member Functions
Object	restoreElems (Object obj, FieldValue fieldValue)

---

Detailed Description

List serializer.

Author:

Aleksandar Milicevic

Definition at line 22 of file ListSer.java.

---

Member Function Documentation

List<FieldValue> edu.mit.csail.sdg.squander.serializer.special.ListSer.absFunc	(	JavaScene	javaScene,
		Object	obj
	)

abstraction function

Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.

Definition at line 39 of file ListSer.java.

References edu.mit.csail.sdg.squander.absstate.FieldValue.addTuple(), edu.mit.csail.sdg.squander.spec.JavaScene.classSpecForObj(), edu.mit.csail.sdg.squander.serializer.special.ListSer.DATA, and edu.mit.csail.sdg.squander.spec.ClassSpec.findField().

boolean edu.mit.csail.sdg.squander.serializer.special.ListSer.accepts

(

Class<?>

clz

)

returns whether this serializer supports (can serialize) the given class

Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.

Definition at line 27 of file ListSer.java.

Object edu.mit.csail.sdg.squander.serializer.special.ListSer.concrFunc	(	Object	obj,
		FieldValue	fieldValue
	)

concretization function

Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.

Definition at line 65 of file ListSer.java.

References edu.mit.csail.sdg.squander.serializer.special.ListSer.DATA, edu.mit.csail.sdg.squander.spec.JField.isPureAbstract(), edu.mit.csail.sdg.squander.absstate.FieldValue.jfield, edu.mit.csail.sdg.squander.spec.JField.name, and edu.mit.csail.sdg.squander.serializer.special.ListSer.restoreElems().

List edu.mit.csail.sdg.squander.serializer.special.ListSer.newInstance

(

Class<?>

cls

)

creates a new instance of the given class

Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.

Definition at line 33 of file ListSer.java.

Object edu.mit.csail.sdg.squander.serializer.special.ListSer.restoreElems	(	Object	obj,
		FieldValue	fieldValue
	)			[private]

Definition at line 78 of file ListSer.java.

References edu.mit.csail.sdg.squander.absstate.ObjTupleSet.arity, and edu.mit.csail.sdg.squander.absstate.ObjTupleSet.tuples.

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

---

Member Data Documentation

final String edu.mit.csail.sdg.squander.serializer.special.ListSer.DATA = "elts" [static]

Definition at line 24 of file ListSer.java.

Referenced by edu.mit.csail.sdg.squander.serializer.special.ListSer.absFunc(), and edu.mit.csail.sdg.squander.serializer.special.ListSer.concrFunc().

---

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

• src/edu/mit/csail/sdg/squander/serializer/special/ListSer.java