Inherits edu::mit::csail::sdg::squander::serializer::special::IObjSer.
Public Member Functions | |
boolean | accepts (Class<?> clz) |
Map | newInstance (Class<?> cls) |
List< FieldValue > | absFunc (JavaScene javaScene, Object obj) |
Object | concrFunc (Object obj, FieldValue fieldValue) |
Static Public Attributes | |
static final String | DATA = "elts" |
static final String | LENGTH = "length" |
Private Member Functions | |
Object | restoreElems (Object obj, FieldValue fieldValue) |
Map serializer.
Definition at line 24 of file MapSer.java.
List<FieldValue> edu.mit.csail.sdg.squander.serializer.special.MapSer.absFunc | ( | JavaScene | javaScene, | |
Object | obj | |||
) |
abstraction function
Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.
Definition at line 42 of file MapSer.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.MapSer.DATA, edu.mit.csail.sdg.squander.spec.ClassSpec.findField(), and edu.mit.csail.sdg.squander.serializer.special.MapSer.LENGTH.
boolean edu.mit.csail.sdg.squander.serializer.special.MapSer.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 30 of file MapSer.java.
Object edu.mit.csail.sdg.squander.serializer.special.MapSer.concrFunc | ( | Object | obj, | |
FieldValue | fieldValue | |||
) |
concretization function
Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.
Definition at line 67 of file MapSer.java.
References edu.mit.csail.sdg.squander.serializer.special.MapSer.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.MapSer.restoreElems().
Map edu.mit.csail.sdg.squander.serializer.special.MapSer.newInstance | ( | Class<?> | cls | ) |
creates a new instance of the given class
Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.
Definition at line 36 of file MapSer.java.
Object edu.mit.csail.sdg.squander.serializer.special.MapSer.restoreElems | ( | Object | obj, | |
FieldValue | fieldValue | |||
) | [private] |
Definition at line 80 of file MapSer.java.
References edu.mit.csail.sdg.squander.absstate.ObjTupleSet.arity.
Referenced by edu.mit.csail.sdg.squander.serializer.special.MapSer.concrFunc().
final String edu.mit.csail.sdg.squander.serializer.special.MapSer.DATA = "elts" [static] |
Definition at line 26 of file MapSer.java.
Referenced by edu.mit.csail.sdg.squander.serializer.special.MapSer.absFunc(), and edu.mit.csail.sdg.squander.serializer.special.MapSer.concrFunc().
final String edu.mit.csail.sdg.squander.serializer.special.MapSer.LENGTH = "length" [static] |
Definition at line 27 of file MapSer.java.
Referenced by edu.mit.csail.sdg.squander.serializer.special.MapSer.absFunc().