public static interface Runtime.FunctionSerializer
Modifier and Type | Method and Description |
---|---|
void |
deserialize(PnutsFunction pnutsFunction,
java.io.ObjectInputStream s) |
void |
serialize(PnutsFunction pnutsFunction,
java.io.ObjectOutputStream s) |
void serialize(PnutsFunction pnutsFunction, java.io.ObjectOutputStream s) throws java.io.IOException
java.io.IOException
void deserialize(PnutsFunction pnutsFunction, java.io.ObjectInputStream s) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException