|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectpolyglot.ext.jl.types.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 PlaceHolderpublic java.lang.String translate(Resolver c)
public java.lang.String toString()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||