Deserializer
fun Deserializer( input: InputStream, runtime: AvailRuntime, lookupPumpedObject: (Int) -> A_BasicObject = { throw Exception("Deserializer has no pumped objects.") })
Content copied to clipboard
Construct a new Deserializer.
Parameters
input
An InputStream from which to reconstruct objects.
runtime
The AvailRuntime from which to locate well-known objects during deserialization.
lookup
A function that maps from negative integers to objects that this deserializer has been primed with. This is the inverse function of Serializer.lookupPumpedObject.