public abstract class TypeObject_c extends java.lang.Object implements TypeObject
Modifier and Type | Field and Description |
---|---|
protected Position |
position |
protected TypeSystem |
ts |
Modifier | Constructor and Description |
---|---|
protected |
TypeObject_c()
Used for deserializing types.
|
|
TypeObject_c(TypeSystem ts)
Creates a new type in the given a TypeSystem.
|
|
TypeObject_c(TypeSystem ts,
Position pos) |
Modifier and Type | Method and Description |
---|---|
TypeObject_c |
copy() |
boolean |
equals(java.lang.Object o)
Return whether o is structurally equivalent to o.
|
boolean |
equalsImpl(TypeObject t)
Default implementation is pointer equality.
|
int |
hashCode() |
Position |
position()
The object's position, or null.
|
TypeSystem |
typeSystem()
The object's type system.
|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
isCanonical
protected transient TypeSystem ts
protected Position position
protected TypeObject_c()
public TypeObject_c(TypeSystem ts)
public TypeObject_c(TypeSystem ts, Position pos)
public TypeObject_c copy()
copy
in interface Copy<TypeObject>
public TypeSystem typeSystem()
TypeObject
typeSystem
in interface TypeObject
public Position position()
TypeObject
position
in interface TypeObject
public final boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equalsImpl(TypeObject t)
equalsImpl
in interface TypeObject
equalsImpl(TypeObject)
,
Object.hashCode()