tasty-query
API
Generated with
tasty-query/tastyquery/Types/MethodType

MethodType

tastyquery.Types$.MethodType
See theMethodType companion object
final class MethodType(val paramNames: List[TermName])(paramTypesExp: MethodType => List[Type], resultTypeExp: MethodType => Type) extends MethodicType, TermLambdaType

Attributes

Companion
object
Graph
Supertypes
trait LambdaType
trait Binders
trait MethodicType
trait TermType
class GroundType
class Type
class Prefix
trait TypeMappable
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

type This = MethodType

Inherited types

type PInfo = Type

Attributes

Inherited from:
TermLambdaType
type ParamRefType = TermParamRef

Attributes

Inherited from:
TermLambdaType
type ThisName = TermName

Attributes

Inherited from:
TermLambdaType

Value members

Concrete methods

def paramTypes: List[Type]
override def toString: String

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

final def &(that: Type)(using Context): Type

Attributes

Inherited from:
Type
final def appliedTo(tpe: Type)(using Context): Type

Attributes

Inherited from:
Type
final def appliedTo(args: List[Type])(using Context): Type

The type representing

The type representing

T[U1, ..., Un]

where

Value parameters

args

= U1,...,Un

this

= T

Attributes

Inherited from:
Type
final def asSeenFrom(pre: Prefix, cls: Symbol)(using Context): Type

Attributes

Inherited from:
Type
final def baseType(base: ClassSymbol)(using Context): Option[Type]

The basetype of this type with given class symbol.

The basetype of this type with given class symbol.

Returns NoType if this type does not have base in any of its base types.

Attributes

Inherited from:
Type
final def dealias(using Context): Type

Attributes

Inherited from:
Type
final def instantiate(args: List[Type])(using Context): Type

Attributes

Inherited from:
TermLambdaType
final def instantiateParamTypes(args: List[Type])(using Context): List[Type]

Attributes

Inherited from:
TermLambdaType
final def isFromJavaObject(using Context): Boolean

Is this type considered as "FromJavaObject" for the purposes of subtyping?

Is this type considered as "FromJavaObject" for the purposes of subtyping?

See [Definitions.FromJavaObjectAlias] for details.

Attributes

Inherited from:
Type
final def isSameType(that: Type)(using Context): Boolean

Attributes

Inherited from:
Type
final def isSubtype(that: Type)(using Context): Boolean

Attributes

Inherited from:
Type
final def lookupMember(name: TypeName)(using Context): Option[TypeRef]

Attributes

Inherited from:
Type
final def lookupMember(name: TermName)(using Context): Option[TermRef]

Attributes

Inherited from:
Type
final def lookupMember(name: Name)(using Context): Option[NamedType]

Attributes

Inherited from:
Type
final def lookupRef(name: ThisName): Option[ParamRefType]

Attributes

Inherited from:
LambdaType
final def matches(that: Type)(using Context): Boolean

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:
Type
protected def newParamRef(n: Int): ParamRefType

Attributes

Inherited from:
TermLambdaType
final def normalizedPrefix(using Context): Option[Prefix]

The normalized prefix of this type is:

The normalized prefix of this type is:

  • For a type alias, the normalized prefix of its alias.
  • For all other named type and class infos: the prefix.
  • Inherited by all other type proxies.
  • None for all other types.

Attributes

Inherited from:
Type
final def paramInfos: List[PInfo]

Attributes

Inherited from:
TermLambdaType
final def select(sym: TypeSymbol)(using Context): TypeRef

Attributes

Inherited from:
Type
final def select(sym: TermSymbol)(using Context): TermRef

Attributes

Inherited from:
Type
final def select(sym: TermOrTypeSymbol)(using Context): NamedType

Attributes

Inherited from:
Type
final def select(name: TypeName)(using Context): TypeRef

Attributes

Inherited from:
Type
final def select(name: TermName)(using Context): TermRef

Attributes

Inherited from:
Type
final def select(name: Name)(using Context): NamedType

Attributes

Inherited from:
Type
def showBasic: String

Attributes

Inherited from:
TypeMappable
final def typeParams(using Context): List[TypeConstructorParam]

The type parameters of this type, if it is a type constructor.

The type parameters of this type, if it is a type constructor.

If this type is a type constructor, returns a non-empty list of its type parameters.

For all other types (proper types, any-kinded types, methodic types and package refs), returns Nil.

Special case: for Nothing, returns Nil as well (although Nothing is universally-kinded, so it is a type constructor for all possible type constructor signatures).

Attributes

Inherited from:
Type
final def widen(using Context): Type

Widen singleton types, ByNameTypes, AnnotatedTypes and RefinedTypes.

Widen singleton types, ByNameTypes, AnnotatedTypes and RefinedTypes.

Attributes

Inherited from:
Type
final def |(that: Type)(using Context): Type

Attributes

Inherited from:
Type

Concrete fields

val paramNames: List[TermName]

Inherited fields

val paramRefs: List[ParamRefType]

Attributes

Inherited from:
LambdaType
Generated with