pnuts.lang
Interface Runtime.FunctionSerializer

Enclosing class:
Runtime

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

serialize

void serialize(PnutsFunction pnutsFunction,
               java.io.ObjectOutputStream s)
               throws java.io.IOException
Throws:
java.io.IOException

deserialize

void deserialize(PnutsFunction pnutsFunction,
                 java.io.ObjectInputStream s)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Throws:
java.io.IOException
java.lang.ClassNotFoundException