trait TypeBoundsTreeApi extends Universe.TypTreeApi
The API that all type bound trees support
- Self Type
- Universe.TypeBoundsTree
- Source
- Trees.scala
- Alphabetic
- By Inheritance
- TypeBoundsTreeApi
- TypTreeApi
- TreeApi
- Product
- Equals
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
canEqual(that: Any): Boolean
- Definition Classes
- Equals
-
abstract
def
canHaveAttrs: Boolean
Can this tree carry attributes (i.e.
Can this tree carry attributes (i.e. symbols, types or positions)? Typically the answer is yes, except for the
EmptyTreenull object and two special singletons:noSelfTypeandpendingSuperCall.- Definition Classes
- TreeApi
-
abstract
def
children: List[Universe.Tree]
The direct child trees of this tree.
The direct child trees of this tree. EmptyTrees are always omitted. Lists are flattened.
- Definition Classes
- TreeApi
-
abstract
def
collect[T](pf: PartialFunction[Universe.Tree, T]): List[T]
Apply
pfto each subtree on which the function is defined and collect the results.Apply
pfto each subtree on which the function is defined and collect the results.- Definition Classes
- TreeApi
-
abstract
def
duplicate: TypeBoundsTreeApi.this.type
Make a copy of this tree, keeping all attributes, except that all positions are focused (so nothing in this tree will be found when searching by position).
Make a copy of this tree, keeping all attributes, except that all positions are focused (so nothing in this tree will be found when searching by position).
- Definition Classes
- TreeApi
-
abstract
def
equalsStructure(that: Universe.Tree): Boolean
Tests whether two trees are structurally equal.
Tests whether two trees are structurally equal. Note that
==on trees is reference equality.- Definition Classes
- TreeApi
-
abstract
def
exists(p: (Universe.Tree) ⇒ Boolean): Boolean
Is there exists a part of this tree which satisfies predicate
p?Is there exists a part of this tree which satisfies predicate
p?- Definition Classes
- TreeApi
-
abstract
def
filter(f: (Universe.Tree) ⇒ Boolean): List[Universe.Tree]
Find all subtrees matching predicate
p.Find all subtrees matching predicate
p. Same aswithFilter- Definition Classes
- TreeApi
-
abstract
def
find(p: (Universe.Tree) ⇒ Boolean): Option[Universe.Tree]
Returns optionally first tree (in a preorder traversal) which satisfies predicate
p, or None if none exists.Returns optionally first tree (in a preorder traversal) which satisfies predicate
p, or None if none exists.- Definition Classes
- TreeApi
-
abstract
def
forAll(p: (Universe.Tree) ⇒ Boolean): Boolean
Do all parts of this tree satisfy predicate
p?Do all parts of this tree satisfy predicate
p?- Definition Classes
- TreeApi
-
abstract
def
foreach(f: (Universe.Tree) ⇒ Unit): Unit
Apply
fto each subtreeApply
fto each subtree- Definition Classes
- TreeApi
-
abstract
def
hi: Universe.Tree
The upper bound.
The upper bound. Is equal to
Ident(<scala.Any>)if not specified explicitly. -
abstract
def
isDef: Boolean
Does this tree represent a definition? (of a method, of a class, etc)
Does this tree represent a definition? (of a method, of a class, etc)
- Definition Classes
- TreeApi
-
abstract
def
isEmpty: Boolean
Is this tree one of the empty trees?
Is this tree one of the empty trees?
Empty trees are: the
EmptyTreenull object andTypeTreeinstances that don't carry a type.- Definition Classes
- TreeApi
- See also
canHaveAttrs
-
abstract
def
isTerm: Boolean
The canonical way to test if a Tree represents a term.
The canonical way to test if a Tree represents a term.
- Definition Classes
- TreeApi
-
abstract
def
isType: Boolean
The canonical way to test if a Tree represents a type.
The canonical way to test if a Tree represents a type.
- Definition Classes
- TreeApi
-
abstract
def
lo: Universe.Tree
The lower bound.
The lower bound. Is equal to
Ident(<scala.Nothing>)if not specified explicitly. -
abstract
def
nonEmpty: Boolean
Is this tree not an empty tree?
Is this tree not an empty tree?
- Definition Classes
- TreeApi
- See also
isEmpty
-
abstract
def
orElse(alt: ⇒ Universe.Tree): Universe.Tree
Provides an alternate if tree is empty
Provides an alternate if tree is empty
- alt
The alternate tree
- returns
If this tree is non empty, this tree, otherwise
alt.
- Definition Classes
- TreeApi
-
abstract
def
pos: Universe.Position
Position of the tree.
Position of the tree.
- Definition Classes
- TreeApi
-
abstract
def
productArity: Int
- Definition Classes
- Product
-
abstract
def
productElement(n: Int): Any
- Definition Classes
- Product
-
abstract
def
symbol: Universe.Symbol
Symbol of the tree.
Symbol of the tree.
For most trees symbol is
null. InSymTrees, it is overridden and implemented with a var, initialized toNoSymbol.Trees which are not
SymTrees but which carry symbols do so by overridingdef symbolto forward it elsewhere. Examples:Super(qual, _)hasqual's symbol,Apply(fun, args)hasfun's symbol,TypeApply(fun, args)hasfun's symbol,AppliedTypeTree(tpt, args)hastpt's symbol,TypeTree(tpe)hastpe'stypeSymbol, iftpe != null.
- Definition Classes
- TreeApi
-
abstract
def
tpe: Universe.Type
Type of the tree.
Type of the tree.
Upon creation most trees have their
tpeset tonull. Types are typically assigned to trees during typechecking. Some node factory methods settpeimmediately after creation.When the typechecker encounters a tree with a non-null tpe, it will assume it to be correct and not check it again. This means one has to be careful not to erase the
tpefield of subtrees.- Definition Classes
- TreeApi
-
abstract
def
withFilter(f: (Universe.Tree) ⇒ Boolean): List[Universe.Tree]
Find all subtrees matching predicate
p.Find all subtrees matching predicate
p. Same asfilter- Definition Classes
- TreeApi
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(other: String): String
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to any2stringadd[Universe.TypeBoundsTreeApi] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (Universe.TypeBoundsTreeApi, B)
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to ArrowAssoc[Universe.TypeBoundsTreeApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
ensuring(cond: (Universe.TypeBoundsTreeApi) ⇒ Boolean, msg: ⇒ Any): Universe.TypeBoundsTreeApi
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to Ensuring[Universe.TypeBoundsTreeApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (Universe.TypeBoundsTreeApi) ⇒ Boolean): Universe.TypeBoundsTreeApi
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to Ensuring[Universe.TypeBoundsTreeApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): Universe.TypeBoundsTreeApi
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to Ensuring[Universe.TypeBoundsTreeApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): Universe.TypeBoundsTreeApi
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to Ensuring[Universe.TypeBoundsTreeApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
productIterator: Iterator[Any]
- Definition Classes
- Product
-
def
productPrefix: String
- Definition Classes
- Product
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
Obtains string representation of a tree
Obtains string representation of a tree
- Definition Classes
- TreeApi → AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
→[B](y: B): (Universe.TypeBoundsTreeApi, B)
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to ArrowAssoc[Universe.TypeBoundsTreeApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
Deprecated Value Members
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Universe.TypeBoundsTreeApi to StringFormat[Universe.TypeBoundsTreeApi] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)instead ofvalue.formatted(formatString), or use thef""string interpolator. In Java 15 and later,formattedresolves to the new method in String which has reversed parameters.