edu.mit.csail.sdg.squander.serializer.special.ArraySer Class Reference
[Serialization]
Inherits edu::mit::csail::sdg::squander::serializer::special::IObjSer.
Public Member Functions | |
| boolean | accepts (Class<?> clz) |
| Object | newInstance (Class<?> cls) |
| List< FieldValue > | absFunc (JavaScene javaScene, Object obj) |
| Object | concrFunc (Object obj, FieldValue fieldValue) |
Static Public Attributes | |
| static final String | ELEMS = "elems" |
| static final String | LENGTH = "length" |
Private Member Functions | |
| Object | restoreElems (Object obj, FieldValue fieldValue) |
| Object | restoreLength (Object obj, FieldValue fldVal) |
Detailed Description
Array serializer.
Definition at line 23 of file ArraySer.java.
Member Function Documentation
| List<FieldValue> edu.mit.csail.sdg.squander.serializer.special.ArraySer.absFunc | ( | JavaScene | javaScene, | |
| Object | obj | |||
| ) |
abstraction function
Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.
Definition at line 39 of file ArraySer.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.ArraySer.ELEMS, edu.mit.csail.sdg.squander.spec.ClassSpec.findField(), and edu.mit.csail.sdg.squander.serializer.special.ArraySer.LENGTH.
| boolean edu.mit.csail.sdg.squander.serializer.special.ArraySer.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 29 of file ArraySer.java.
| Object edu.mit.csail.sdg.squander.serializer.special.ArraySer.concrFunc | ( | Object | obj, | |
| FieldValue | fieldValue | |||
| ) |
concretization function
Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.
Definition at line 57 of file ArraySer.java.
References edu.mit.csail.sdg.squander.serializer.special.ArraySer.ELEMS, edu.mit.csail.sdg.squander.absstate.FieldValue.jfield, edu.mit.csail.sdg.squander.serializer.special.ArraySer.LENGTH, edu.mit.csail.sdg.squander.spec.JField.name, edu.mit.csail.sdg.squander.serializer.special.ArraySer.restoreElems(), and edu.mit.csail.sdg.squander.serializer.special.ArraySer.restoreLength().
| Object edu.mit.csail.sdg.squander.serializer.special.ArraySer.newInstance | ( | Class<?> | cls | ) |
creates a new instance of the given class
Implements edu.mit.csail.sdg.squander.serializer.special.IObjSer.
Definition at line 34 of file ArraySer.java.
| Object edu.mit.csail.sdg.squander.serializer.special.ArraySer.restoreElems | ( | Object | obj, | |
| FieldValue | fieldValue | |||
| ) | [private] |
Definition at line 68 of file ArraySer.java.
References edu.mit.csail.sdg.squander.absstate.ObjTupleSet.arity, edu.mit.csail.sdg.squander.absstate.ObjTupleSet.tuples, and edu.mit.csail.sdg.squander.absstate.FieldValue.tupleSet.
Referenced by edu.mit.csail.sdg.squander.serializer.special.ArraySer.concrFunc().
| Object edu.mit.csail.sdg.squander.serializer.special.ArraySer.restoreLength | ( | Object | obj, | |
| FieldValue | fldVal | |||
| ) | [private] |
Definition at line 83 of file ArraySer.java.
Referenced by edu.mit.csail.sdg.squander.serializer.special.ArraySer.concrFunc().
Member Data Documentation
final String edu.mit.csail.sdg.squander.serializer.special.ArraySer.ELEMS = "elems" [static] |
Definition at line 25 of file ArraySer.java.
Referenced by edu.mit.csail.sdg.squander.serializer.special.ArraySer.absFunc(), and edu.mit.csail.sdg.squander.serializer.special.ArraySer.concrFunc().
final String edu.mit.csail.sdg.squander.serializer.special.ArraySer.LENGTH = "length" [static] |
Definition at line 26 of file ArraySer.java.
Referenced by edu.mit.csail.sdg.squander.serializer.special.ArraySer.absFunc(), and edu.mit.csail.sdg.squander.serializer.special.ArraySer.concrFunc().
The documentation for this class was generated from the following file:
- src/edu/mit/csail/sdg/squander/serializer/special/ArraySer.java
