|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.ed.semantic.AbstractEventSpecification
public abstract class AbstractEventSpecification
Abstract class which provides various utility methods to classes implementing an event specification.
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface sofya.ed.semantic.EventSpecification |
---|
EventSpecification.CallType, EventSpecification.FieldType, EventSpecification.MethodAction, EventSpecification.MonitorType |
Field Summary |
---|
Fields inherited from interface sofya.ed.semantic.EventSpecification |
---|
FIELD_WITNESS_NONE, FIELD_WITNESS_READ, FIELD_WITNESS_WRITE |
Constructor Summary | |
---|---|
AbstractEventSpecification()
|
Method Summary | |
---|---|
protected static gnu.trove.TObjectIntHashMap |
deserializeObjectIntMap(java.io.DataInputStream in)
Deserializes an object-to-integer map from an input stream. |
protected static ProgramUnit |
deserializeProgramUnit(java.io.DataInputStream in)
Deserializes a ProgramUnit from an output stream. |
protected static java.util.Collection |
deserializeStrings(java.io.DataInputStream in,
java.util.Collection strings)
Deserializes a collection of strings from an input stream. |
protected static void |
serializeObjectIntMap(java.io.DataOutputStream out,
gnu.trove.TObjectIntHashMap map)
Serializes an object-to-integer map to an output stream. |
protected static void |
serializeProgramUnit(java.io.DataOutputStream out,
ProgramUnit pUnit)
Serializes a ProgramUnit to an output stream. |
protected static void |
serializeStrings(java.io.DataOutputStream out,
java.util.Collection strings)
Serializes a collection of strings to an output stream. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface sofya.ed.semantic.EventSpecification |
---|
deserialize, getModuleClasses, getSystemClasses, serialize, useCallInterceptor, witnessAnyMonitor, witnessCall, witnessCatch, witnessCatch, witnessConstructorEntry, witnessConstructorExit, witnessField, witnessField, witnessField, witnessMethodEntry, witnessMethodExit, witnessMonitor, witnessNewObject, witnessStaticInitializerEntry, witnessThrow, witnessThrow |
Constructor Detail |
---|
public AbstractEventSpecification()
Method Detail |
---|
protected static void serializeStrings(java.io.DataOutputStream out, java.util.Collection strings) throws java.io.IOException
out
- Stream to which strings will be serialized.strings
- Collection of strings to be serialized.
java.io.IOException
- On any I/O error which prevents writing to the
stream.protected static java.util.Collection deserializeStrings(java.io.DataInputStream in, java.util.Collection strings) throws java.io.IOException
The stream must be pointing to a leading integer indicating the number of strings to be read.
in
- Stream from which to deserialize the strings.strings
- [out] Collection which will receive the
deserialized strings.
java.io.IOException
- On any I/O error which prevents reading from
the stream.protected static void serializeObjectIntMap(java.io.DataOutputStream out, gnu.trove.TObjectIntHashMap map) throws java.io.IOException
out
- Stream to which the map will be serialized.map
- Object/int map to be serialized.
java.io.IOException
- On any I/O error which prevents writing to the
stream.protected static gnu.trove.TObjectIntHashMap deserializeObjectIntMap(java.io.DataInputStream in) throws java.io.IOException
in
- Stream from which the map will be deserialized.
java.io.IOException
- On any I/O error which prevents reading from the
stream.protected static void serializeProgramUnit(java.io.DataOutputStream out, ProgramUnit pUnit) throws java.io.IOException
ProgramUnit
to an output stream.
out
- Stream to which the ProgramUnit
will be
serialized.pUnit
- ProgramUnit
to be serialized.
java.io.IOException
- On any I/O error which prevents writing to the
stream.protected static ProgramUnit deserializeProgramUnit(java.io.DataInputStream in) throws java.io.IOException
ProgramUnit
from an output stream.
in
- Stream from which the ProgramUnit
will be
deserialized.
ProgramUnit
.
java.io.IOException
- On any I/O error which prevents reading from the
stream.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |