sisc.ser
Interface Deserializer

All Superinterfaces:

java.io.DataInput, java.io.ObjectInput

All Known Subinterfaces:

LibraryDeserializer

All Known Implementing Classes:

BlockDeserializer, DeserializerImpl, JavaDeserializer, SLL2Deserializer, StreamDeserializer

public interface Deserializer
extends java.io.ObjectInput

Method Summary

java.math.BigDecimal	readBigDecimal()
java.math.BigInteger	readBigInteger()
java.lang.Class	readClass()
Expression	readExpression()
Expression[]	readExpressionArray()
Expression	readInitializedExpression()
SymbolicEnvironment	readSymbolicEnvironment()
Value[]	readValueArray()

Methods inherited from interface java.io.ObjectInput

available, close, read, read, read, readObject, skip

Methods inherited from interface java.io.DataInput

readBoolean, readByte, readChar, readDouble, readFloat, readFully, readFully, readInt, readLine, readLong, readShort, readUnsignedByte, readUnsignedShort, readUTF, skipBytes

Method Detail

readBigInteger

java.math.BigInteger readBigInteger()
                                    throws java.io.IOException

Throws:

java.io.IOException

readBigDecimal

java.math.BigDecimal readBigDecimal()
                                    throws java.io.IOException

Throws:

java.io.IOException

readExpression

Expression readExpression()
                          throws java.io.IOException

Throws:

java.io.IOException

readExpressionArray

Expression[] readExpressionArray()
                                 throws java.io.IOException

Throws:

java.io.IOException

readValueArray

Value[] readValueArray()
                       throws java.io.IOException

Throws:

java.io.IOException

readInitializedExpression

Expression readInitializedExpression()
                                     throws java.io.IOException

Throws:

java.io.IOException

readSymbolicEnvironment

SymbolicEnvironment readSymbolicEnvironment()
                                            throws java.io.IOException

Throws:

java.io.IOException

readClass

java.lang.Class readClass()
                          throws java.io.IOException

Throws:

java.io.IOException