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.IOExceptionvoid writeBigInteger(java.math.BigInteger i)
throws java.io.IOException
java.io.IOExceptionvoid writeExpression(Expression e) throws java.io.IOException
java.io.IOExceptionvoid writeExpressionArray(Expression[] vlr) throws java.io.IOException
java.io.IOExceptionvoid writeInitializedExpression(Expression e) throws java.io.IOException
java.io.IOExceptionvoid writeSymbolicEnvironment(SymbolicEnvironment e) throws java.io.IOException
java.io.IOExceptionvoid writeClass(java.lang.Class c)
throws java.io.IOException
java.io.IOException