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

TypeSymbolWithBounds

tastyquery.Symbols$.TypeSymbolWithBounds
sealed abstract class TypeSymbolWithBounds(name: TypeName, owner: Symbol) extends TypeSymbol

Attributes

Graph
Supertypes
class Symbol
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Type members

Types

Inherited types

type ThisNameType = TypeName

Attributes

Inherited from:
TypeSymbol

Value members

Abstract methods

def lowerBound(using Context): Type
def upperBound(using Context): Type

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
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

Inherited from:
Symbol
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 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.

Attributes

inClass

The class in which to look for a matching symbol

siteClass

The base class from which member types are computed

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 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
Generated with