Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait TypeLambdaTypetrait TypeParamRefBindertrait LambdaTypetrait ParamRefBindertrait TypeBinderclass MethodicTypeclass TypeOrMethodicclass TermTypeclass TypeMappableclass Objecttrait Matchableclass AnyShow all
Members list
Type members
Inherited types
Attributes
- Inherited from:
- TypeLambdaType
Attributes
- Inherited from:
- TypeLambdaType
Attributes
- Inherited from:
- TypeLambdaType
Value members
Concrete methods
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
Attributes
- Returns
-
a string representation of the object.
- Definition Classes
-
Any
Inherited methods
Attributes
- Inherited from:
- MethodicType
Attributes
- Inherited from:
- TypeLambdaType
Attributes
- Inherited from:
- TypeLambdaType
Attributes
- Inherited from:
- TypeOrMethodic
Is this type close enough to that type so that members with the two types would override each other?
Is this type close enough to that type so that members with the two types would override each other?
This means:
- Either both types are polytypes with the same number of type parameters and their result types match after renaming corresponding type parameters
- Or both types are method types with
=:=
-equivalent(*) parameter types and matching result types after renaming corresponding parameter types if the method types are dependent. - Or both types are
=:=
-equivalent - Or neither type takes term or type parameters.
(*) when matching with a Java method, we also regard Any and Object as equivalent parameter types. (TODO)
This function will always use unsafe-nulls semamtics to check the types. This is because we are using a relaxed rule (ignoring Null
types) to check overriding Java methods.
Attributes
- Inherited from:
- TypeOrMethodic
Attributes
- Inherited from:
- TypeLambdaType
Attributes
- Inherited from:
- TypeLambdaType
Attributes
- Inherited from:
- TypeMappable
Attributes
- Inherited from:
- TypeMappable
Attributes
- Inherited from:
- TypeMappable
Widens TermRef
s one level to their underlyingOrMethodic
type.
Widens TermRef
s one level to their underlyingOrMethodic
type.
- If this term type is a
TermRef
, returnsthis.underlyingOrMethodic
. - Otherwise, returns
this
.
Attributes
- Inherited from:
- TermType
Concrete fields
Inherited fields
Attributes
- Inherited from:
- LambdaType