trait Namers extends MethodSynthesis
This trait declares methods to create symbols and to enter them into scopes.
- Self Type
- Analyzer
- Source
- Namers.scala
- Version
1.0
- Alphabetic
- By Inheritance
- Namers
- MethodSynthesis
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Type Members
- class ClassMethodSynthesis extends AnyRef
- Definition Classes
- MethodSynthesis
- trait MethodSynth extends AnyRef
There are two key methods in here.
There are two key methods in here.
1) Enter methods such as enterGetterSetter are called from Namer with a tree which may generate further trees such as accessors or implicit wrappers. Some setup is performed. In general this creates symbols and enters them into the scope of the owner.
2) addDerivedTrees is called from Typer when a Template is typed. It completes the job, returning a list of trees with their symbols set to those created in the enter methods. Those trees then become part of the typed template.
- Definition Classes
- MethodSynthesis
- class CompleterWrapper extends Analyzer.TypeCompleter
Wrap an existing completer to do some post/pre-processing of the completed type.
- trait LockingTypeCompleter extends Analyzer.TypeCompleter
- abstract class Namer extends Analyzer.MethodSynth with Analyzer.NamerContextErrors
- class PolyTypeCompleter extends Analyzer.TypeCompleter with Analyzer.LockingTypeCompleter with Global.FlagAgnosticCompleter
A class representing a lazy type with known type parameters.
A class representing a lazy type with known type parameters.
ctxis the namer context in which theowneris defined.Constructing a PolyTypeCompleter for a DefDef creates type skolems for the type parameters and assigns them to the
tparamstrees. - abstract class TypeCompleter extends Global.LazyType
- abstract class TypeCompleterBase[T <: Global.Tree] extends Analyzer.TypeCompleter with Analyzer.LockingTypeCompleter with Global.FlagAgnosticCompleter
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Namers, B)
- 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 companionSymbolOf(original: Global.Symbol, ctx: Analyzer.Context): Global.Symbol
The companion class or companion module of
original.The companion class or companion module of
original. Calling .companionModule does not work for classes defined inside methods.!!! Then why don't we fix companionModule? Does the presence of these methods imply all the places in the compiler calling sym.companionModule are bugs waiting to be reported? If not, why not? When exactly do we need to call this method?
- def ensuring(cond: (Namers) => Boolean, msg: => Any): Namers
- def ensuring(cond: (Namers) => Boolean): Namers
- def ensuring(cond: Boolean, msg: => Any): Namers
- def ensuring(cond: Boolean): Namers
- 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
- 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 linkedClassOfClassOf(original: Global.Symbol, ctx: Analyzer.Context): Global.Symbol
A version of
Symbol#linkedClassOfClassthat works with local companions, alacompanionSymbolOf. - final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def newNamer(context: Analyzer.Context): Analyzer.Namer
- 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 mkTypeCompleter(t: Global.Tree)(c: (Global.Symbol) => Unit): Analyzer.TypeCompleterBase[Global.Tree]
- Annotations
- @deprecated
- Deprecated
(Since version 2.12.2) Instantiate TypeCompleterBase (for monomorphic, non-wrapping completer) or CompleterWrapper directly.
- def →[B](y: B): (Namers, B)
- Implicit
- This member is added by an implicit conversion from Namers toArrowAssoc[Namers] 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.
The Scala compiler and reflection APIs.