| Modifier and Type | Field and Description |
|---|---|
| private List |
| Access | Constructor and Description |
|---|---|
| public |
| Modifier and Type | Method and Description |
|---|---|
| public String | |
| public boolean | equals(Object
the reference object with which to compare. o)Overrides java. |
| public int | |
| public boolean | isAssignableBy(ResolvedType other)
Implements com. |
| public ResolvedType | replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
Overrides default com. |
| elements | back to summary |
|---|---|
| private List<ResolvedType> elements | |
| ResolvedIntersectionType | back to summary |
|---|---|
| public ResolvedIntersectionType(Collection<ResolvedType> elements) | |
| describe | back to summary |
|---|---|
| public String describe() Implements com.
| |
| 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 this object. This method is
supported for the benefit of hash tables such as those provided by
The general contract of
| |
| isAssignableBy | back to summary |
|---|---|
| public boolean isAssignableBy(ResolvedType other) Implements com. Doc from com. This method checks if ThisType t = new OtherType() would compile.
| |
| replaceTypeVariables | back to summary |
|---|---|
| public ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes) Overrides default com. Doc from com. Replace all variables referring to the given TypeParameter with the given value. By replacing these values I could also infer some type equivalence. Those would be collected in the given map.
| |