polyglot.util
Class TypeInputStream

java.lang.Object
  extended by java.io.InputStream
      extended by java.io.ObjectInputStream
          extended by polyglot.util.TypeInputStream
All Implemented Interfaces:
java.io.Closeable, java.io.DataInput, java.io.ObjectInput, java.io.ObjectStreamConstants

public class TypeInputStream
extends java.io.ObjectInputStream

Input stream for reading type objects.


Nested Class Summary
 
Nested classes/interfaces inherited from class java.io.ObjectInputStream
java.io.ObjectInputStream.GetField
 
Field Summary
protected  java.util.Map cache
           
protected  boolean failed
           
protected  java.util.Set placeHoldersUsed
           
protected  TypeSystem ts
           
 
Fields inherited from interface java.io.ObjectStreamConstants
baseWireHandle, PROTOCOL_VERSION_1, PROTOCOL_VERSION_2, SC_BLOCK_DATA, SC_ENUM, SC_EXTERNALIZABLE, SC_SERIALIZABLE, SC_WRITE_METHOD, STREAM_MAGIC, STREAM_VERSION, SUBCLASS_IMPLEMENTATION_PERMISSION, SUBSTITUTION_PERMISSION, TC_ARRAY, TC_BASE, TC_BLOCKDATA, TC_BLOCKDATALONG, TC_CLASS, TC_CLASSDESC, TC_ENDBLOCKDATA, TC_ENUM, TC_EXCEPTION, TC_LONGSTRING, TC_MAX, TC_NULL, TC_OBJECT, TC_PROXYCLASSDESC, TC_REFERENCE, TC_RESET, TC_STRING
 
Constructor Summary
TypeInputStream(java.io.InputStream in, TypeSystem ts, java.util.Map cache)
           
 
Method Summary
 boolean deserializationFailed()
           
 void enableReplace(boolean f)
           
 TypeSystem getTypeSystem()
           
 void installInPlaceHolderCache(PlaceHolder p, TypeObject t)
           
 java.util.Set placeHoldersUsed()
           
protected  java.lang.Object resolveObject(java.lang.Object o)
           
 
Methods inherited from class java.io.ObjectInputStream
available, close, defaultReadObject, enableResolveObject, read, read, readBoolean, readByte, readChar, readClassDescriptor, readDouble, readFields, readFloat, readFully, readFully, readInt, readLine, readLong, readObject, readObjectOverride, readShort, readStreamHeader, readUnshared, readUnsignedByte, readUnsignedShort, readUTF, registerValidation, resolveClass, resolveProxyClass, skipBytes
 
Methods inherited from class java.io.InputStream
mark, markSupported, read, reset, skip
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface java.io.ObjectInput
read, skip
 

Field Detail

ts

protected TypeSystem ts

cache

protected java.util.Map cache

failed

protected boolean failed

placeHoldersUsed

protected java.util.Set placeHoldersUsed
Constructor Detail

TypeInputStream

public TypeInputStream(java.io.InputStream in,
                       TypeSystem ts,
                       java.util.Map cache)
                throws java.io.IOException
Throws:
java.io.IOException
Method Detail

placeHoldersUsed

public java.util.Set placeHoldersUsed()

deserializationFailed

public boolean deserializationFailed()

getTypeSystem

public TypeSystem getTypeSystem()

installInPlaceHolderCache

public void installInPlaceHolderCache(PlaceHolder p,
                                      TypeObject t)

enableReplace

public void enableReplace(boolean f)

resolveObject

protected java.lang.Object resolveObject(java.lang.Object o)
Overrides:
resolveObject in class java.io.ObjectInputStream