tasty-query
API
Generated with
tasty-query/tastyquery/Symbols/ClassTypeParamSymbol

ClassTypeParamSymbol

tastyquery.Symbols$.ClassTypeParamSymbol
See theClassTypeParamSymbol companion object
final class ClassTypeParamSymbol extends TypeParamSymbol, TypeConstructorParam

Attributes

Companion
object
Graph
Supertypes
class TypeSymbol
class Symbol
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

Inherited types

type ThisNameType = TypeName

Attributes

Inherited from:
TypeSymbol

Value members

Concrete methods

final def typeRef(using Context): TypeRef
def variance(using Context): Variance

The variance of the type parameter.

The variance of the type parameter.

Attributes

Inherited methods

final def allOverriddenSymbols(using Context): Iterator[Symbol]

All symbols overridden by this symbol.

All symbols overridden by this symbol.

Attributes

Inherited from:
TermOrTypeSymbol
final def annotations: List[Annotation]

Attributes

Inherited from:
Symbol
final def asClass: ClassSymbol

Attributes

Inherited from:
Symbol
final def asDeclaringSymbol: DeclaringSymbol

Attributes

Inherited from:
Symbol
final def asPackage: PackageSymbol

Attributes

Inherited from:
Symbol
final def asTerm: TermSymbol

Attributes

Inherited from:
Symbol
final def asType: TypeSymbol

Attributes

Inherited from:
Symbol
final def bounds(using Context): TypeBounds

Attributes

Inherited from:
TypeParamSymbol
override protected def doCheckCompleted(): Unit

This method is overridden in every subclass to perform their own checks.

This method is overridden in every subclass to perform their own checks.

Every override is expected to call super.doCheckCompleted() first. If a check fail, it should be reported with failNotCompleted.

Attributes

Definition Classes
Inherited from:
TypeParamSymbol
final def enclosingDecl: DeclaringSymbol

Attributes

Inherited from:
Symbol
final protected def failNotCompleted(details: String): Nothing

Attributes

Inherited from:
Symbol
final def flags: FlagSet

Attributes

Inherited from:
Symbol
final def fullName: FullyQualifiedName

Attributes

Inherited from:
Symbol
final def getAnnotation(annotClass: ClassSymbol)(using Context): Option[Annotation]

Attributes

Inherited from:
Symbol
final def getAnnotations(annotClass: ClassSymbol)(using Context): List[Annotation]

Attributes

Inherited from:
Symbol
final def hasAnnotation(annotClass: ClassSymbol)(using Context): Boolean

Attributes

Inherited from:
Symbol
final def is(flag: Flag): Boolean

Attributes

Inherited from:
Symbol
final def isAllOf(testFlags: FlagSet, butNotAnyOf: FlagSet): Boolean

Attributes

Inherited from:
Symbol
final def isAllOf(testFlags: FlagSet): Boolean

Attributes

Inherited from:
Symbol
final def isAnyOf(testFlags: FlagSet): Boolean

Attributes

Inherited from:
Symbol
final def isClass: Boolean

Attributes

Inherited from:
Symbol
final def isDeclaringSymbol: Boolean

Attributes

Inherited from:
Symbol
final def isOpaqueTypeAlias(using Context): Boolean

Attributes

Inherited from:
TypeSymbol
final def isPackage: Boolean

Attributes

Inherited from:
Symbol
final def isRoot: Boolean

Attributes

Inherited from:
Symbol
final def isTerm: Boolean

Attributes

Inherited from:
Symbol
final def isType: Boolean

Attributes

Inherited from:
Symbol
final def isTypeAlias(using Context): Boolean

Attributes

Inherited from:
TypeSymbol
final def lowerBound(using Context): Type

Attributes

Inherited from:
TypeParamSymbol
final def matchingSymbol(inClass: ClassSymbol, siteClass: ClassSymbol)(using Context): Option[Symbol]

The symbol whose name and type matches the type of this symbol in the given class.

The symbol whose name and type matches the type of this symbol in the given class.

If inClass == this.owner, matchingSymbol returns this symbol. Otherwise, private members and constructors are ignored.

Unlike the override-related methods overriddenSymbol and overridingSymbol, this method can return non-empty results when inClass and this.owner are unrelated.

siteClass must be a common subclass of this.owner and inClass.

Value parameters

inClass

The class in which to look for a matching symbol

siteClass

The base class from which member types are computed

Attributes

Throws
java.lang.IllegalArgumentException

if owner.isClass is false, if siteClass.isSubclass(owner.asClass) is false, or if siteClass.isSubclass(inClass) is false

Inherited from:
TermOrTypeSymbol
final def nextOverriddenSymbol(using Context): Option[Symbol]

The first symbol overridden by this symbol, if any.

The first symbol overridden by this symbol, if any.

Attributes

Inherited from:
TermOrTypeSymbol
final def overriddenSymbol(inClass: ClassSymbol)(using Context): Option[Symbol]

The symbol, in class inClass, that is overridden by this symbol, if any.

The symbol, in class inClass, that is overridden by this symbol, if any.

Attributes

Inherited from:
TermOrTypeSymbol
final def overrides(that: TermOrTypeSymbol)(using Context): Boolean

Returns true iff this symbol override that symbol.

Returns true iff this symbol override that symbol.

Attributes

Inherited from:
TermOrTypeSymbol
final def overridingSymbol(inClass: ClassSymbol)(using Context): Option[Symbol]

The symbol overriding this symbol in given subclass inClass, if any.

The symbol overriding this symbol in given subclass inClass, if any.

Attributes

Inherited from:
TermOrTypeSymbol
final def privateWithin: Option[Symbol]

Attributes

Inherited from:
Symbol
final def sourceLanguage: SourceLanguage

The source language in which this symbol was defined.

The source language in which this symbol was defined.

The source language of a symbol may have an influence on how it is erased, and therefore on how its signature is computed.

Attributes

Inherited from:
TermOrTypeSymbol
final def staticRef(using Context): TypeRef

Attributes

Inherited from:
TypeSymbol
def toDebugString: String

Attributes

Inherited from:
Symbol
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
Symbol -> Any
Inherited from:
Symbol
final def tree(using Context): Option[DefiningTreeType]

Attributes

Inherited from:
Symbol
final def upperBound(using Context): Type

Attributes

Inherited from:
TypeParamSymbol

Concrete fields

override val owner: ClassSymbol
Generated with