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