Packages

c

scala.reflect.internal.ReificationSupport

ReificationSupportImpl

class ReificationSupportImpl extends SymbolTable.ReificationSupportApi

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ReificationSupportImpl
  2. ReificationSupportApi
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ReificationSupportImpl()

Type Members

  1. trait FlagsReprExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  2. trait ImplicitParamsExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  3. trait ScalaDotExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  4. trait SyntacitcSingletonTypeExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  5. trait SyntacticAnnotatedTypeExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  6. trait SyntacticAppliedExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  7. trait SyntacticAssignExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  8. trait SyntacticBlockExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  9. trait SyntacticClassDefExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  10. trait SyntacticCompoundTypeExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  11. trait SyntacticDefDefExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  12. trait SyntacticEmptyTypeTreeExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  13. trait SyntacticExistentialTypeExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  14. trait SyntacticFilterExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  15. trait SyntacticForExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  16. trait SyntacticFunctionExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  17. trait SyntacticFunctionTypeExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  18. trait SyntacticImportExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  19. trait SyntacticMatchExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  20. trait SyntacticNewExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  21. trait SyntacticObjectDefExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  22. trait SyntacticPackageObjectDefExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  23. trait SyntacticPartialFunctionExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  24. trait SyntacticPatDefExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  25. trait SyntacticSelectTermExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  26. trait SyntacticSelectTypeExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  27. trait SyntacticTermIdentExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  28. trait SyntacticTraitDefExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  29. trait SyntacticTryExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  30. trait SyntacticTupleExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  31. trait SyntacticTypeAppliedExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  32. trait SyntacticTypeIdentExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  33. trait SyntacticTypeProjectionExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  34. trait SyntacticValDefExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  35. trait SyntacticValEqExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  36. trait SyntacticValFromExtractor extends AnyRef
    Definition Classes
    ReificationSupportApi
  37. trait UnliftListElementwise[T] extends AnyRef
    Definition Classes
    ReificationSupportApi
  38. trait UnliftListOfListsElementwise[T] extends AnyRef
    Definition Classes
    ReificationSupportApi
  39. class ScalaMemberRef extends AnyRef
    Attributes
    protected
  40. class SyntacticValDefBase extends SyntacticValDefExtractor
    Attributes
    protected
  41. class UnForCombination extends AnyRef
    Attributes
    protected
  42. class UnMkTemplate extends AnyRef
    Attributes
    protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def AnnotatedType(annotations: List[SymbolTable.Annotation], underlying: SymbolTable.Type): SymbolTable.AnnotatedType
  5. def BoundedWildcardType(bounds: SymbolTable.TypeBounds): SymbolTable.BoundedWildcardType
  6. def ClassInfoType(parents: List[SymbolTable.Type], decls: SymbolTable.Scope, typeSymbol: SymbolTable.Symbol): SymbolTable.ClassInfoType
  7. def ConstantType(value: SymbolTable.Constant): SymbolTable.ConstantType
  8. def ExistentialType(quantified: List[SymbolTable.Symbol], underlying: SymbolTable.Type): SymbolTable.ExistentialType
  9. def MethodType(params: List[SymbolTable.Symbol], resultType: SymbolTable.Type): SymbolTable.MethodType
  10. def NullaryMethodType(resultType: SymbolTable.Type): SymbolTable.NullaryMethodType
  11. def PolyType(typeParams: List[SymbolTable.Symbol], resultType: SymbolTable.Type): SymbolTable.PolyType
  12. def RefinedType(parents: List[SymbolTable.Type], decls: SymbolTable.Scope, typeSymbol: SymbolTable.Symbol): SymbolTable.RefinedType
  13. def SingleType(pre: SymbolTable.Type, sym: SymbolTable.Symbol): SymbolTable.Type
  14. def SuperType(thistpe: SymbolTable.Type, supertpe: SymbolTable.Type): SymbolTable.Type
  15. def ThisType(sym: SymbolTable.Symbol): SymbolTable.Type
  16. def TypeBounds(lo: SymbolTable.Type, hi: SymbolTable.Type): SymbolTable.TypeBounds
  17. def TypeRef(pre: SymbolTable.Type, sym: SymbolTable.Symbol, args: List[SymbolTable.Type]): SymbolTable.Type
  18. def UnliftListElementwise[T](unliftable: SymbolTable.Unliftable[T]): UnliftListElementwise[T]
  19. def UnliftListOfListsElementwise[T](unliftable: SymbolTable.Unliftable[T]): UnliftListOfListsElementwise[T]
  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  22. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  24. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  25. implicit def fresh: FreshNameCreator
    Attributes
    protected
  26. def freshTermName(prefix: String = nme.FRESH_TERM_NAME_PREFIX): SymbolTable.TermName
  27. def freshTypeName(prefix: String): SymbolTable.TypeName
  28. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  29. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. def mkAnnotation(trees: List[SymbolTable.Tree]): List[SymbolTable.Tree]
  32. def mkAnnotation(tree: SymbolTable.Tree): SymbolTable.Tree
  33. def mkCases(cases: List[SymbolTable.Tree]): List[SymbolTable.CaseDef]
    Attributes
    protected
  34. def mkEarlyDef(defns: List[SymbolTable.Tree]): List[SymbolTable.Tree]
  35. def mkEarlyDef(defn: SymbolTable.Tree): SymbolTable.Tree
  36. def mkEnumerators(enums: List[SymbolTable.Tree]): List[SymbolTable.Tree]
    Attributes
    protected
  37. def mkIdent(sym: SymbolTable.Symbol): SymbolTable.Ident
  38. def mkImplicitParam(tree: SymbolTable.Tree): SymbolTable.ValDef
  39. def mkImplicitParam(args: List[SymbolTable.Tree]): List[SymbolTable.ValDef]
  40. def mkPackageStat(stats: List[SymbolTable.Tree]): List[SymbolTable.Tree]
  41. def mkPackageStat(stat: SymbolTable.Tree): SymbolTable.Tree
  42. def mkParam(tree: SymbolTable.Tree, extraFlags: SymbolTable.FlagSet, excludeFlags: SymbolTable.FlagSet): SymbolTable.ValDef
  43. def mkParam(argss: List[List[SymbolTable.Tree]], extraFlags: SymbolTable.FlagSet = NoFlags, excludeFlags: SymbolTable.FlagSet = DEFERRED): List[List[SymbolTable.ValDef]]
  44. def mkRefTree(qual: SymbolTable.Tree, sym: SymbolTable.Symbol): SymbolTable.RefTree
  45. def mkRefineStat(stats: List[SymbolTable.Tree]): List[SymbolTable.Tree]
  46. def mkRefineStat(stat: SymbolTable.Tree): SymbolTable.Tree
  47. def mkSelect(qualifier: SymbolTable.Tree, sym: SymbolTable.Symbol): SymbolTable.Select
  48. def mkSelfType(tree: SymbolTable.Tree): SymbolTable.ValDef
    Attributes
    protected
  49. def mkThis(sym: SymbolTable.Symbol): SymbolTable.Tree
  50. def mkTparams(tparams: List[SymbolTable.Tree]): List[SymbolTable.TypeDef]
  51. def mkTypeTree(tp: SymbolTable.Type): SymbolTable.TypeTree
  52. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  53. def newFreeTerm(name: String, value: ⇒ Any, flags: Long = 0L, origin: String = null): SymbolTable.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

    Definition Classes
    ReificationSupportImplReificationSupportApi
  54. def newFreeType(name: String, flags: Long = 0L, origin: String = null): SymbolTable.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

    Definition Classes
    ReificationSupportImplReificationSupportApi
  55. def newNestedSymbol(owner: SymbolTable.Symbol, name: SymbolTable.Name, pos: SymbolTable.Position, flags: Long, isClass: Boolean): SymbolTable.Symbol

    A fresh symbol with given name name, position pos and flags flags that has the current symbol as its owner.

    A fresh symbol with given name name, position pos and flags flags that has the current symbol as its owner.

    Definition Classes
    ReificationSupportImplReificationSupportApi
  56. def newScopeWith(elems: SymbolTable.Symbol*): SymbolTable.Scope
  57. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  58. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  59. def select(owner: SymbolTable.Symbol, name: SymbolTable.Name): SymbolTable.Symbol
    Attributes
    protected
  60. def selectOverloadedMethod(owner: SymbolTable.Symbol, name: String, index: Int): SymbolTable.MethodSymbol

    Selects overloaded method symbol with given name and index

    Selects overloaded method symbol with given name and index

    Definition Classes
    ReificationSupportImplReificationSupportApi
  61. def selectTerm(owner: SymbolTable.Symbol, name: String): SymbolTable.TermSymbol

    Selects term symbol with given name and type from the defined members of prefix type

    Selects term symbol with given name and type from the defined members of prefix type

    Definition Classes
    ReificationSupportImplReificationSupportApi
  62. def selectType(owner: SymbolTable.Symbol, name: String): SymbolTable.TypeSymbol

    Selects type symbol with given simple name name from the defined members of owner.

    Selects type symbol with given simple name name from the defined members of owner.

    Definition Classes
    ReificationSupportImplReificationSupportApi
  63. def setAnnotations[S <: SymbolTable.Symbol](sym: S, annots: List[SymbolTable.AnnotationInfo]): S

    Set symbol's annotations to given annotations annots.

    Set symbol's annotations to given annotations annots.

    Definition Classes
    ReificationSupportImplReificationSupportApi
  64. def setInfo[S <: SymbolTable.Symbol](sym: S, tpe: SymbolTable.Type): S

    Set symbol's type signature to given type.

    Set symbol's type signature to given type.

    returns

    the symbol itself

    Definition Classes
    ReificationSupportImplReificationSupportApi
  65. def setSymbol[T <: SymbolTable.Tree](tree: T, sym: SymbolTable.Symbol): T
  66. def setType[T <: SymbolTable.Tree](tree: T, tpe: SymbolTable.Type): T
  67. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  68. def thisPrefix(sym: SymbolTable.Symbol): SymbolTable.Type
  69. def toStats(tree: SymbolTable.Tree): List[SymbolTable.Tree]
  70. def toString(): String
    Definition Classes
    AnyRef → Any
  71. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  72. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  73. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  74. object FilterCall
    Attributes
    protected
  75. object FlagsRepr extends FlagsReprExtractor
  76. object FunctionClassRef extends ScalaMemberRef
    Attributes
    protected
  77. object ImplicitParams extends ImplicitParamsExtractor
  78. object MaybeSelectApply
    Attributes
    protected
  79. object MaybeTypeTreeOriginal
    Attributes
    protected
  80. object MaybeTyped
    Attributes
    protected
  81. object MaybeUnchecked
    Attributes
    protected
  82. object ScalaDot extends ScalaDotExtractor
  83. object SyntacticAnnotatedType extends SyntacticAnnotatedTypeExtractor
  84. object SyntacticApplied extends SyntacticAppliedExtractor
  85. object SyntacticAppliedType extends SyntacticTypeAppliedExtractor

    Construct/deconstruct applied type trees.

    Construct/deconstruct applied type trees. Treats other types as zero-arity applied types.

    Definition Classes
    ReificationSupportImplReificationSupportApi
  86. object SyntacticAssign extends SyntacticAssignExtractor
  87. object SyntacticBlock extends SyntacticBlockExtractor

    Syntactic combinator that abstracts over Block tree.

    Syntactic combinator that abstracts over Block tree.

    Apart from providing a more straightforward api that exposes block as a list of elements rather than (stats, expr) pair it also:

    1. Strips trailing synthetic units which are inserted by the compiler if the block ends with a definition rather than an expression or is empty.

    2. Matches non-block term trees and recognizes them as single-element blocks for sake of consistency with compiler's default to treat single-element blocks with expressions as just expressions. The only exception is q"" which is not considered to be a block.

    Definition Classes
    ReificationSupportImplReificationSupportApi
  88. object SyntacticClassDef extends SyntacticClassDefExtractor
  89. object SyntacticCompoundType extends SyntacticCompoundTypeExtractor
  90. object SyntacticDefDef extends SyntacticDefDefExtractor
  91. object SyntacticEmptyTypeTree extends SyntacticEmptyTypeTreeExtractor
  92. object SyntacticExistentialType extends SyntacticExistentialTypeExtractor
  93. object SyntacticFilter extends SyntacticFilterExtractor
  94. object SyntacticFor extends SyntacticForExtractor
  95. object SyntacticForYield extends SyntacticForExtractor
  96. object SyntacticFunction extends SyntacticFunctionExtractor
  97. object SyntacticFunctionType extends SyntacticFunctionTypeExtractor
  98. object SyntacticImport extends SyntacticImportExtractor

    Facade over Imports and ImportSelectors that lets to structurally deconstruct/reconstruct them.

    Facade over Imports and ImportSelectors that lets to structurally deconstruct/reconstruct them.

    Selectors are represented in the following way:

    1. q"import foo._" <==> q"import foo.${pq"_"}" 2. q"import foo.bar" <==> q"import foo.${pq"bar"}" 3. q"import foo.{bar => baz}" <==> q"import foo.${pq"bar -> baz"}" 4. q"import foo.{bar => _}" <==> q"import foo.${pq"bar -> _"}"

    All names in selectors are TermNames despite the fact ImportSelector can theoretically contain TypeNames too (but they never do in practice.)

    Definition Classes
    ReificationSupportImplReificationSupportApi
  99. object SyntacticMatch extends SyntacticMatchExtractor
  100. object SyntacticNew extends SyntacticNewExtractor
  101. object SyntacticObjectDef extends SyntacticObjectDefExtractor
  102. object SyntacticPackageObjectDef extends SyntacticPackageObjectDefExtractor
  103. object SyntacticPartialFunction extends SyntacticPartialFunctionExtractor
  104. object SyntacticPatDef extends SyntacticPatDefExtractor
  105. object SyntacticSelectTerm extends SyntacticSelectTermExtractor
  106. object SyntacticSelectType extends SyntacticSelectTypeExtractor
  107. object SyntacticSingletonType extends SyntacitcSingletonTypeExtractor
  108. object SyntacticTermIdent extends SyntacticTermIdentExtractor
  109. object SyntacticTraitDef extends SyntacticTraitDefExtractor
  110. object SyntacticTry extends SyntacticTryExtractor
  111. object SyntacticTuple extends SyntacticTupleExtractor
  112. object SyntacticTupleType extends SyntacticTupleExtractor
  113. object SyntacticTypeApplied extends SyntacticTypeAppliedExtractor

    Construct/deconstruct type application term trees.

    Construct/deconstruct type application term trees. Treats other term trees as zero-argument type applications.

    Definition Classes
    ReificationSupportImplReificationSupportApi
  114. object SyntacticTypeIdent extends SyntacticTypeIdentExtractor
  115. object SyntacticTypeProjection extends SyntacticTypeProjectionExtractor
  116. object SyntacticValDef extends SyntacticValDefBase
  117. object SyntacticValEq extends SyntacticValEqExtractor
  118. object SyntacticValFrom extends SyntacticValFromExtractor
  119. object SyntacticVarDef extends SyntacticValDefBase
  120. object SyntheticUnit
  121. object TupleClassRef extends ScalaMemberRef
    Attributes
    protected
  122. object TupleCompanionRef extends ScalaMemberRef
    Attributes
    protected
  123. object UnCheckIfRefutable
    Attributes
    protected
  124. object UnClosure
    Attributes
    protected
  125. object UnCtor
    Attributes
    protected
  126. object UnFilter
    Attributes
    protected
  127. object UnFlatMap extends UnForCombination
    Attributes
    protected
  128. object UnFor
    Attributes
    protected
  129. object UnForeach extends UnForCombination
    Attributes
    protected
  130. object UnMap extends UnForCombination
    Attributes
    protected
  131. object UnMkTemplate extends UnMkTemplate
    Attributes
    protected
  132. object UnPatSeq
    Attributes
    protected
  133. object UnPatSeqWithRes
    Attributes
    protected
  134. object UnSyntheticParam
    Attributes
    protected
  135. object UnVisitor
    Attributes
    protected
  136. object UnitClassRef extends ScalaMemberRef
    Attributes
    protected
  137. object implodePatDefs extends SymbolTable.Transformer

Inherited from AnyRef

Inherited from Any

Ungrouped