|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface Runtime.FunctionSerializer
Method Summary | |
---|---|
void |
deserialize(PnutsFunction pnutsFunction,
java.io.ObjectInputStream s)
|
void |
serialize(PnutsFunction pnutsFunction,
java.io.ObjectOutputStream s)
|
Method Detail |
---|
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |