TypeSymbolWithBounds
Attributes
- Graph
- Supertypes
- Known subtypes
Members list
Value members
Abstract methods
Inherited methods
All symbols overridden by this symbol.
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
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
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- TypeSymbol
Attributes
- Inherited from:
- TypeSymbol
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, ifsiteClass.isSubclass(owner.asClass)
is false, or ifsiteClass.isSubclass(inClass)
is false - Inherited from:
- TermOrTypeSymbol
The first symbol overridden by this symbol, if any.
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
Returns true iff this symbol override that
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
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol
Attributes
- Inherited from:
- Symbol