TypeEnvironment functions.
| Modifier and Type | Field and Description |
|---|---|
| private final TypeEnvironment | |
| private final TypeEnvironment | |
| private final int |
| Access | Constructor and Description |
|---|---|
| private |
| Modifier and Type | Method and Description |
|---|---|
| public Type | bind(Type type)
Implements org. |
| public static TypeEnvironment | |
| private boolean | |
| private static int | |
| public boolean | equals(Object
the reference object with which to compare. o)Overrides java. |
| public int | |
| public String |
| f | back to summary |
|---|---|
| private final TypeEnvironment f | |
| g | back to summary |
|---|---|
| private final TypeEnvironment g | |
| hashCode | back to summary |
|---|---|
| private final int hashCode | |
| CompoundTypeEnvironment | back to summary |
|---|---|
| private CompoundTypeEnvironment(TypeEnvironment f, TypeEnvironment g) | |
| bind | back to summary |
|---|---|
| public Type bind(Type type) Implements org. Doc from org. Binds as many generic components of the given type as possible in this context. Warning if the returned This class does not support bindings involving inner classes or upper/lower bounds.
| |
| create | back to summary |
|---|---|
| public static TypeEnvironment create(TypeEnvironment f, TypeEnvironment g) | |
| differentHashCode | back to summary |
|---|---|
| private boolean differentHashCode(CompoundTypeEnvironment that) | |
| doHashCode | back to summary |
|---|---|
| private static int doHashCode(TypeEnvironment f, TypeEnvironment g) | |
| equals | back to summary |
|---|---|
| public boolean equals(Object o) Overrides java. Doc from java. Indicates whether some other object is "equal to" this one.
The
An equivalence relation partitions the elements it operates on into equivalence classes; all the members of an equivalence class are equal to each other. Members of an equivalence class are substitutable for each other, at least for some purposes.
| |
| hashCode | back to summary |
|---|---|
| public int hashCode() Overrides java. Doc from java. Returns a hash code value for the object. This method is
supported for the benefit of hash tables such as those provided by
The general contract of
| |
| toString | back to summary |
|---|---|
| public String toString() Overrides java. Doc from java. Returns a string representation of the object. | |