public interface Serializer
extends java.io.ObjectOutput
Modifier and Type | Method and Description |
---|---|
void |
writeBigDecimal(java.math.BigDecimal d) |
void |
writeBigInteger(java.math.BigInteger i) |
void |
writeClass(java.lang.Class c) |
void |
writeExpression(Expression e) |
void |
writeExpressionArray(Expression[] vlr) |
void |
writeInitializedExpression(Expression e) |
void |
writeSymbolicEnvironment(SymbolicEnvironment e) |
void writeBigDecimal(java.math.BigDecimal d) throws java.io.IOException
java.io.IOException
void writeBigInteger(java.math.BigInteger i) throws java.io.IOException
java.io.IOException
void writeExpression(Expression e) throws java.io.IOException
java.io.IOException
void writeExpressionArray(Expression[] vlr) throws java.io.IOException
java.io.IOException
void writeInitializedExpression(Expression e) throws java.io.IOException
java.io.IOException
void writeSymbolicEnvironment(SymbolicEnvironment e) throws java.io.IOException
java.io.IOException
void writeClass(java.lang.Class c) throws java.io.IOException
java.io.IOException