Trait scala.reflect.api.Internals.ReificationSupportApi
trait ReificationSupportApi extends AnyRef
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.
- 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.
- 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
abstract def newScopeWith(elems: Universe.Symbol*): Universe.Scope
abstract def selectOverloadedMethod(owner: Universe.Symbol, name: String, index: Int): Universe.MethodSymbol
abstract def selectTerm(owner: Universe.Symbol, name: String): Universe.TermSymbol
abstract def selectType(owner: Universe.Symbol, name: String): Universe.TypeSymbol
abstract def setAnnotations[S <: Universe.Symbol](sym: S, annots: List[Universe.Annotation]): S
abstract def setInfo[S <: Universe.Symbol](sym: S, tpe: Universe.Type): S
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[java.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[java.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()
© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala-reflect/scala/reflect/api/Internals$ReificationSupportApi.html
This is an internal implementation class.