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

ClassTypeParamSymbol

tastyquery.Symbols.ClassTypeParamSymbol
final class ClassTypeParamSymbol extends TypeParamSymbol, TypeConstructorParam

Attributes

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

Members list

Type members

Types

Inherited types

type MatchingSymbolType = TypeSymbol

Attributes

Inherited from:
TypeSymbol

Value members

Concrete methods

def declaredVariance: Variance

The declared variance of the type parameter, as found in the source.

The declared variance of the type parameter, as found in the source.

Attributes

def variance(using Context): Variance

The actual variance of the type parameter, which may be computed from its body.

The actual variance of the type parameter, which may be computed from its body.

Attributes

Inherited methods

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

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 asPackage: PackageSymbol

Attributes

Inherited from:
Symbol
final def asTerm: TermSymbol

Attributes

Inherited from:
Symbol
final def asType: TypeSymbol

Attributes

Inherited from:
Symbol
final def boundsAsSeenFrom(prefix: Prefix)(using Context): TypeBounds

Attributes

Inherited from:
TypeSymbolWithBounds
final def declaredBounds: TypeBounds

Attributes

Inherited from:
TypeParamSymbol
final def displayFullName: String

A full name of this symbol for display purposes, such as debugging or error messages.

A full name of this symbol for display purposes, such as debugging or error messages.

displayFullName must not be used to identify symbols, as it is not unique.

Attributes

Inherited from:
Symbol
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 protected def failNotCompleted(details: String): Nothing

Attributes

Inherited from:
Symbol
final protected def flags: FlagSet

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 isAbstractMember: Boolean

Is this symbol an abstract member?

Is this symbol an abstract member?

An abstract member must be implemented in a subclass of its owner. Term members are abstract if they have no right-hand-side. Type members are abstract if they are neither type aliases nor opaque type aliases.

Other kinds of symbols are never abstract members. To test whether a class is abstract, use ClassSymbol.isAbstractClass.

Note that this is false for abstract override members.

Attributes

Inherited from:
TermOrTypeSymbol
final def isClass: Boolean

Attributes

Inherited from:
Symbol
final def isFinalMember: Boolean

Is this symbol a final member, in the sense that it cannot be overridden?

Is this symbol a final member, in the sense that it cannot be overridden?

Classes are always final members, since Scala 3 does not allow to override (shadow) inner classes.

Other symbols are final members iff they have the final modifier.

Attributes

Inherited from:
TermOrTypeSymbol
final def isInfix: Boolean

Does this symbol have the infix modifier?

Does this symbol have the infix modifier?

Attributes

Inherited from:
TermOrTypeSymbol
final def isOpaqueTypeAlias: Boolean

Attributes

Inherited from:
TypeSymbol
final def isPackage: Boolean

Attributes

Inherited from:
Symbol
final def isPrivate: Boolean

Is this symbol private?

Is this symbol private?

A symbol is said private if it either private without scope or private[this].

Private members obey different rules than other members in a number of situations. In particular, they are not inherited and therefore do not participate in overriding relationships.

Attributes

Returns

true iff visibility == Visibility.Private || visibility == Visibility.PrivateThis

Inherited from:
TermOrTypeSymbol
final def isPublic: Boolean

Is this symbol public?

Is this symbol public?

Attributes

Returns

true iff visibility == Visibility.Public

Inherited from:
TermOrTypeSymbol
final def isSynthetic: Boolean

Is this symbol generated by the compiler?

Is this symbol generated by the compiler?

Attributes

Inherited from:
TermOrTypeSymbol
final def isTerm: Boolean

Attributes

Inherited from:
Symbol
final def isType: Boolean

Attributes

Inherited from:
Symbol
final def isTypeAlias: Boolean

Attributes

Inherited from:
TypeSymbol
final override def localRef: TypeRef

A reference to this symbol that is valid within its declaring scope.

A reference to this symbol that is valid within its declaring scope.

If this symbol is a polymorphic type, for example a polymorphic class, it is left unapplied.

Attributes

Definition Classes
Inherited from:
TypeSymbol
final protected def matchingDecl(inClass: ClassSymbol, siteClass: ClassSymbol)(using Context): Option[TypeSymbol]

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

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

Value parameters

inClass

The class containing the result symbol's definition

siteClass

The base class from which member types are computed

Attributes

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

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[MatchingSymbolType]

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[MatchingSymbolType]

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[MatchingSymbolType]

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 protected def privateWithin: Option[DeclaringSymbol]

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: Option[DefiningTreeType]

Attributes

Inherited from:
Symbol
final def visibility: Visibility

The declared visibility of this symbol.

The declared visibility of this symbol.

Attributes

Inherited from:
TermOrTypeSymbol

Concrete fields

override val owner: ClassSymbol
Generated with