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.IOExceptionvoid deserialize(PnutsFunction pnutsFunction, java.io.ObjectInputStream s) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundException