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

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

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

[legend]

List of all members.

Public Member Functions
boolean	accepts (Class<?> clz)
Object	newInstance (Class<?> cls)
List< FieldValue >	absFunc (JavaScene javaScene, Object obj)
Object	concrFunc (Object obj, FieldValue fldVal)
Static Private Attributes
static final AbstractState	abstractState = new AbstractState()

---

Detailed Description

Default object serializer that works for all classes. It serializes objects simply by reading their fields using Java reflection.

Author:

Aleksandar Milicevic

Definition at line 27 of file DefaultObjSer.java.

---

Member Function Documentation

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

abstraction function

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

Definition at line 42 of file DefaultObjSer.java.

References edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.abstractState, edu.mit.csail.sdg.squander.absstate.FieldValue.addTuple(), edu.mit.csail.sdg.squander.spec.JavaScene.classSpecForObj(), edu.mit.csail.sdg.squander.absstate.AbstractState.getObjState(), edu.mit.csail.sdg.squander.absstate.ObjAbsState.getSpecField(), edu.mit.csail.sdg.squander.spec.JField.isPureAbstract(), edu.mit.csail.sdg.squander.absstate.FieldValue.jfield, and edu.mit.csail.sdg.squander.spec.ClassSpec.usedFieldsAll().

boolean edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.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 32 of file DefaultObjSer.java.

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

concretization function

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

Definition at line 74 of file DefaultObjSer.java.

References edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.abstractState, edu.mit.csail.sdg.squander.absstate.ObjAbsState.add(), edu.mit.csail.sdg.squander.absstate.ObjTupleSet.arity, edu.mit.csail.sdg.squander.spec.JField.getJavaField(), edu.mit.csail.sdg.squander.absstate.AbstractState.getOrAddObjState(), edu.mit.csail.sdg.squander.absstate.FieldValue.jfield, edu.mit.csail.sdg.squander.absstate.ObjTupleSet.tuples, and edu.mit.csail.sdg.squander.absstate.FieldValue.tupleSet.

Object edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.newInstance

(

Class<?>

cls

)

creates a new instance of the given class

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

Definition at line 37 of file DefaultObjSer.java.

---

Member Data Documentation

final AbstractState edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.abstractState = new AbstractState() [static, private]

Definition at line 29 of file DefaultObjSer.java.

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

---

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

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