public interface Deserializer
extends java.io.ObjectInput
Modifier and Type | Method and Description |
---|---|
java.math.BigDecimal |
readBigDecimal() |
java.math.BigInteger |
readBigInteger() |
java.lang.Class |
readClass() |
Expression |
readExpression() |
Expression[] |
readExpressionArray() |
Expression |
readInitializedExpression() |
SymbolicEnvironment |
readSymbolicEnvironment() |
Value[] |
readValueArray() |
java.math.BigInteger readBigInteger() throws java.io.IOException
java.io.IOException
java.math.BigDecimal readBigDecimal() throws java.io.IOException
java.io.IOException
Expression readExpression() throws java.io.IOException
java.io.IOException
Expression[] readExpressionArray() throws java.io.IOException
java.io.IOException
Value[] readValueArray() throws java.io.IOException
java.io.IOException
Expression readInitializedExpression() throws java.io.IOException
java.io.IOException
SymbolicEnvironment readSymbolicEnvironment() throws java.io.IOException
java.io.IOException
java.lang.Class readClass() throws java.io.IOException
java.io.IOException