|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object polyglot.ext.jl.types.PlaceHolder_c
public class PlaceHolder_c
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.
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 |
---|
protected PlaceHolder_c()
public PlaceHolder_c(Type t)
Method Detail |
---|
public TypeObject resolve(TypeSystem ts)
resolve
in interface PlaceHolder
public java.lang.String translate(Resolver c)
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |