|
|||||||||
| 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 NamedPlaceHolderpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Object
public TypeObject resolve(TypeSystem ts)
throws CannotResolvePlaceHolderException
resolve in interface PlaceHolderCannotResolvePlaceHolderException
public TypeObject resolveUnsafe(TypeSystem ts)
throws CannotResolvePlaceHolderException
CannotResolvePlaceHolderException
public TypeObject resolveSafe(TypeSystem ts)
throws CannotResolvePlaceHolderException
CannotResolvePlaceHolderExceptionpublic 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 | ||||||||