W3cubDocs

/Scala 2.13 Reflection

Trait scala.reflect.api.Internals.ReificationSupportApi

trait ReificationSupportApi extends AnyRef

This is an internal implementation class.

Source
Internals.scala
Linear Supertypes
AnyRef, Any

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