polyglot.ext.jl.types
Class PlaceHolder_c

java.lang.Object
  polyglot.ext.jl.types.PlaceHolder_c

All Implemented Interfaces:

java.io.Serializable, PlaceHolder

public class PlaceHolder_c
extends java.lang.Object
implements PlaceHolder

A place holder type when serializing the Polylgot type information. When serializing the type information for some class C, Placeholders are used to prevent serializing the class type information for classes that C depends on.

See Also:

Serialized Form

Constructor Summary

protected	PlaceHolder_c() Used for deserializing types.
	PlaceHolder_c(Type t) Creates a place holder type for the type.

Method Summary

TypeObject	resolve(TypeSystem ts) Restore the placeholder into a proper type.
java.lang.String	toString()
java.lang.String	translate(Resolver c)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PlaceHolder_c

protected PlaceHolder_c()

Used for deserializing types.

PlaceHolder_c

public PlaceHolder_c(Type t)

Creates a place holder type for the type.

Method Detail

resolve

public TypeObject resolve(TypeSystem ts)

Restore the placeholder into a proper type.

Specified by:

resolve in interface PlaceHolder

translate

public java.lang.String translate(Resolver c)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object