|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpolyglot.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.
Field Summary | |
---|---|
protected java.lang.String |
name
The name of the place holder. |
Constructor Summary | |
---|---|
protected |
PlaceHolder_c()
Used for deserializing types. |
|
PlaceHolder_c(Named t)
Creates a place holder type for the type. |
|
PlaceHolder_c(java.lang.String name)
|
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
|
int |
hashCode()
|
java.lang.String |
name()
|
TypeObject |
resolve(TypeSystem ts)
Resolve the place holder into a TypeObject. |
TypeObject |
resolveSafe(TypeSystem ts)
A potentially safer alternative implementation of resolve. |
TypeObject |
resolveUnsafe(TypeSystem ts)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected java.lang.String name
Constructor Detail |
---|
protected PlaceHolder_c()
public PlaceHolder_c(Named t)
public PlaceHolder_c(java.lang.String name)
Method Detail |
---|
public java.lang.String name()
name
in interface NamedPlaceHolder
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public TypeObject resolve(TypeSystem ts) throws CannotResolvePlaceHolderException
resolve
in interface PlaceHolder
CannotResolvePlaceHolderException
public TypeObject resolveUnsafe(TypeSystem ts) throws CannotResolvePlaceHolderException
CannotResolvePlaceHolderException
public TypeObject resolveSafe(TypeSystem ts) throws CannotResolvePlaceHolderException
CannotResolvePlaceHolderException
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 |