public class PlaceHolder_c extends java.lang.Object implements NamedPlaceHolder
C
,
Placeholders are used to prevent serializing the class type information
for classes that C
depends on.Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
name
The name of the place holder.
|
Modifier | Constructor and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
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() |
protected PlaceHolder_c()
public PlaceHolder_c(Named t)
public PlaceHolder_c(java.lang.String name)
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
PlaceHolder
resolve
in interface PlaceHolder
CannotResolvePlaceHolderException
public TypeObject resolveUnsafe(TypeSystem ts) throws CannotResolvePlaceHolderException
public TypeObject resolveSafe(TypeSystem ts) throws CannotResolvePlaceHolderException
public java.lang.String toString()
toString
in class java.lang.Object