trait ReificationSupportApi extends AnyRef
Ordering
- Alphabetic
- By Inheritance
Inherited
- ReificationSupportApi
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- trait FlagsReprExtractor extends AnyRef
- trait ImplicitParamsExtractor extends AnyRef
- trait ScalaDotExtractor extends AnyRef
- trait SyntacitcSingletonTypeExtractor extends AnyRef
- trait SyntacticAnnotatedTypeExtractor extends AnyRef
- trait SyntacticAppliedExtractor extends AnyRef
- trait SyntacticAssignExtractor extends AnyRef
- trait SyntacticBlockExtractor extends AnyRef
- trait SyntacticClassDefExtractor extends AnyRef
- trait SyntacticCompoundTypeExtractor extends AnyRef
- trait SyntacticDefDefExtractor extends AnyRef
- trait SyntacticEmptyTypeTreeExtractor extends AnyRef
- trait SyntacticExistentialTypeExtractor extends AnyRef
- trait SyntacticFilterExtractor extends AnyRef
- trait SyntacticForExtractor extends AnyRef
- trait SyntacticFunctionExtractor extends AnyRef
- trait SyntacticFunctionTypeExtractor extends AnyRef
- trait SyntacticImportExtractor extends AnyRef
- trait SyntacticMatchExtractor extends AnyRef
- trait SyntacticNewExtractor extends AnyRef
- trait SyntacticObjectDefExtractor extends AnyRef
- trait SyntacticPackageObjectDefExtractor extends AnyRef
- trait SyntacticPartialFunctionExtractor extends AnyRef
- trait SyntacticPatDefExtractor extends AnyRef
- trait SyntacticSelectTermExtractor extends AnyRef
- trait SyntacticSelectTypeExtractor extends AnyRef
- trait SyntacticTermIdentExtractor extends AnyRef
- trait SyntacticTraitDefExtractor extends AnyRef
- trait SyntacticTryExtractor extends AnyRef
- trait SyntacticTupleExtractor extends AnyRef
- trait SyntacticTypeAppliedExtractor extends AnyRef
- trait SyntacticTypeIdentExtractor extends AnyRef
- trait SyntacticTypeProjectionExtractor extends AnyRef
- trait SyntacticValDefExtractor extends AnyRef
- trait SyntacticValEqExtractor extends AnyRef
- trait SyntacticValFromExtractor extends AnyRef
- trait UnliftListElementwise[T] extends AnyRef
- trait UnliftListOfListsElementwise[T] extends AnyRef
Abstract Value Members
- abstract def AnnotatedType(annotations: List[Universe.Annotation], underlying: Universe.Type): Universe.AnnotatedType
- abstract def BoundedWildcardType(bounds: Universe.TypeBounds): Universe.BoundedWildcardType
- abstract def ClassInfoType(parents: List[Universe.Type], decls: Universe.Scope, typeSymbol: Universe.Symbol): Universe.ClassInfoType
- abstract def ConstantType(value: Universe.Constant): Universe.ConstantType
- abstract def ExistentialType(quantified: List[Universe.Symbol], underlying: Universe.Type): Universe.ExistentialType
- abstract val FlagsRepr: FlagsReprExtractor
- abstract val ImplicitParams: ImplicitParamsExtractor
- abstract def MethodType(params: List[Universe.Symbol], resultType: Universe.Type): Universe.MethodType
- abstract def NullaryMethodType(resultType: Universe.Type): Universe.NullaryMethodType
- abstract def PolyType(typeParams: List[Universe.Symbol], resultType: Universe.Type): Universe.PolyType
- abstract def RefinedType(parents: List[Universe.Type], decls: Universe.Scope, typeSymbol: Universe.Symbol): Universe.RefinedType
- abstract val ScalaDot: ScalaDotExtractor
- abstract def SingleType(pre: Universe.Type, sym: Universe.Symbol): Universe.Type
- abstract def SuperType(thistpe: Universe.Type, supertpe: Universe.Type): Universe.Type
- abstract val SyntacticAnnotatedType: SyntacticAnnotatedTypeExtractor
- abstract val SyntacticApplied: SyntacticAppliedExtractor
- abstract val SyntacticAppliedType: SyntacticTypeAppliedExtractor
- abstract val SyntacticAssign: SyntacticAssignExtractor
- abstract val SyntacticBlock: SyntacticBlockExtractor
- abstract val SyntacticClassDef: SyntacticClassDefExtractor
- abstract val SyntacticCompoundType: SyntacticCompoundTypeExtractor
- abstract val SyntacticDefDef: SyntacticDefDefExtractor
- abstract val SyntacticEmptyTypeTree: SyntacticEmptyTypeTreeExtractor
- abstract val SyntacticExistentialType: SyntacticExistentialTypeExtractor
- abstract val SyntacticFilter: SyntacticFilterExtractor
- abstract val SyntacticFor: SyntacticForExtractor
- abstract val SyntacticForYield: SyntacticForExtractor
- abstract val SyntacticFunction: SyntacticFunctionExtractor
- abstract val SyntacticFunctionType: SyntacticFunctionTypeExtractor
- abstract val SyntacticImport: SyntacticImportExtractor
- abstract val SyntacticMatch: SyntacticMatchExtractor
- abstract val SyntacticNew: SyntacticNewExtractor
- abstract val SyntacticObjectDef: SyntacticObjectDefExtractor
- abstract val SyntacticPackageObjectDef: SyntacticPackageObjectDefExtractor
- abstract val SyntacticPartialFunction: SyntacticPartialFunctionExtractor
- abstract val SyntacticPatDef: SyntacticPatDefExtractor
- abstract val SyntacticSelectTerm: SyntacticSelectTermExtractor
- abstract val SyntacticSelectType: SyntacticSelectTypeExtractor
- abstract val SyntacticSingletonType: SyntacitcSingletonTypeExtractor
- abstract val SyntacticTermIdent: SyntacticTermIdentExtractor
- abstract val SyntacticTraitDef: SyntacticTraitDefExtractor
- abstract val SyntacticTry: SyntacticTryExtractor
- abstract val SyntacticTuple: SyntacticTupleExtractor
- abstract val SyntacticTupleType: SyntacticTupleExtractor
- abstract val SyntacticTypeApplied: SyntacticTypeAppliedExtractor
- abstract val SyntacticTypeIdent: SyntacticTypeIdentExtractor
- abstract val SyntacticTypeProjection: SyntacticTypeProjectionExtractor
- abstract val SyntacticValDef: SyntacticValDefExtractor
- abstract val SyntacticValEq: SyntacticValEqExtractor
- abstract val SyntacticValFrom: SyntacticValFromExtractor
- abstract val SyntacticVarDef: SyntacticValDefExtractor
- abstract def ThisType(sym: Universe.Symbol): Universe.Type
- abstract def TypeBounds(lo: Universe.Type, hi: Universe.Type): Universe.TypeBounds
- abstract def TypeRef(pre: Universe.Type, sym: Universe.Symbol, args: List[Universe.Type]): Universe.Type
- abstract def UnliftListElementwise[T](unliftable: Universe.Unliftable[T]): UnliftListElementwise[T]
- abstract def UnliftListOfListsElementwise[T](unliftable: Universe.Unliftable[T]): UnliftListOfListsElementwise[T]
- abstract def freshTermName(prefix: String): Universe.TermName
- abstract def freshTypeName(prefix: String): Universe.TypeName
- abstract def mkAnnotation(trees: List[Universe.Tree]): List[Universe.Tree]
- abstract def mkAnnotation(tree: Universe.Tree): Universe.Tree
- abstract def mkEarlyDef(defns: List[Universe.Tree]): List[Universe.Tree]
- abstract def mkEarlyDef(defn: Universe.Tree): Universe.Tree
- abstract def mkIdent(sym: Universe.Symbol): Universe.Ident
- abstract def mkPackageStat(stats: List[Universe.Tree]): List[Universe.Tree]
- abstract def mkPackageStat(stat: Universe.Tree): Universe.Tree
- abstract def mkRefTree(qual: Universe.Tree, sym: Universe.Symbol): Universe.Tree
- abstract def mkRefineStat(stats: List[Universe.Tree]): List[Universe.Tree]
- abstract def mkRefineStat(stat: Universe.Tree): Universe.Tree
- abstract def mkSelect(qualifier: Universe.Tree, sym: Universe.Symbol): Universe.Select
- abstract def mkThis(sym: Universe.Symbol): Universe.Tree
- abstract def mkTypeTree(tp: Universe.Type): Universe.TypeTree
- abstract def newFreeTerm(name: String, value: => Any, flags: Universe.FlagSet = NoFlags, origin: String = null): Universe.FreeTermSymbol
Create a fresh free term symbol.
Create a fresh free term symbol.
- name
the name of the free variable
- value
the value of the free variable at runtime
- flags
(optional) flags of the free variable
- origin
debug information that tells where this symbol comes from
- abstract def newFreeType(name: String, flags: Universe.FlagSet = NoFlags, origin: String = null): Universe.FreeTypeSymbol
Create a fresh free type symbol.
Create a fresh free type symbol.
- name
the name of the free variable
- flags
(optional) flags of the free variable
- origin
debug information that tells where this symbol comes from
- abstract def newNestedSymbol(owner: Universe.Symbol, name: Universe.Name, pos: Universe.Position, flags: Universe.FlagSet, isClass: Boolean): Universe.Symbol
A fresh symbol with given name
name, positionposand flagsflagsthat has the current symbol as its owner. - abstract def newScopeWith(elems: Universe.Symbol*): Universe.Scope
- abstract def selectOverloadedMethod(owner: Universe.Symbol, name: String, index: Int): Universe.MethodSymbol
Selects overloaded method symbol with given name and index
- abstract def selectTerm(owner: Universe.Symbol, name: String): Universe.TermSymbol
Selects term symbol with given name and type from the defined members of prefix type
- abstract def selectType(owner: Universe.Symbol, name: String): Universe.TypeSymbol
Selects type symbol with given simple name
namefrom the defined members ofowner. - abstract def setAnnotations[S <: Universe.Symbol](sym: S, annots: List[Universe.Annotation]): S
Set symbol's annotations to given annotations
annots. - abstract def setInfo[S <: Universe.Symbol](sym: S, tpe: Universe.Type): S
Set symbol's type signature to given type.
Set symbol's type signature to given type.
- returns
the symbol itself
- abstract def setSymbol[T <: Universe.Tree](tree: T, sym: Universe.Symbol): T
- abstract def setType[T <: Universe.Tree](tree: T, tpe: Universe.Type): T
- abstract def thisPrefix(sym: Universe.Symbol): Universe.Type
- abstract def toStats(tree: Universe.Tree): List[Universe.Tree]
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.ReificationSupportApi toany2stringadd[Universe.ReificationSupportApi] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (Universe.ReificationSupportApi, B)
- Implicit
- This member is added by an implicit conversion from Universe.ReificationSupportApi toArrowAssoc[Universe.ReificationSupportApi] 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(classOf[java.lang.CloneNotSupportedException]) @native()
- def ensuring(cond: (Universe.ReificationSupportApi) => Boolean, msg: => Any): Universe.ReificationSupportApi
- Implicit
- This member is added by an implicit conversion from Universe.ReificationSupportApi toEnsuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (Universe.ReificationSupportApi) => Boolean): Universe.ReificationSupportApi
- Implicit
- This member is added by an implicit conversion from Universe.ReificationSupportApi toEnsuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): Universe.ReificationSupportApi
- Implicit
- This member is added by an implicit conversion from Universe.ReificationSupportApi toEnsuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): Universe.ReificationSupportApi
- Implicit
- This member is added by an implicit conversion from Universe.ReificationSupportApi toEnsuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Universe.ReificationSupportApi toStringFormat[Universe.ReificationSupportApi] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- final def getClass(): Class[_ <: AnyRef]
- 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()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def →[B](y: B): (Universe.ReificationSupportApi, B)
- Implicit
- This member is added by an implicit conversion from Universe.ReificationSupportApi toArrowAssoc[Universe.ReificationSupportApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.