trait Typers extends Adaptations with Tags with TypersTracking with PatternTypers
This trait provides methods to assign types to trees.
- Self Type
- Analyzer
- Source
- Typers.scala
- Version
1.0
Linear Supertypes
Known Subclasses
Type Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- Typers
- PatternTypers
- TypersTracking
- Tags
- Adaptations
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
trait
Adaptation extends AnyRef
- Definition Classes
- Adaptations
-
trait
PatternTyper extends AnyRef
- Definition Classes
- PatternTypers
-
trait
Tag extends AnyRef
- Definition Classes
- Tags
- sealed abstract class SilentResult[+T] extends AnyRef
- case class SilentResultValue[+T](value: T) extends Analyzer.SilentResult[T] with Product with Serializable
- class SilentTypeError extends Analyzer.SilentResult[Nothing]
- abstract class Typer extends Analyzer.TyperDiagnostics with Analyzer.Adaptation with Analyzer.Tag with Analyzer.PatternTyper with Analyzer.TyperContextErrors
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): (Typers, 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
- @native() @throws( ... )
- def ensuring(cond: (Typers) ⇒ Boolean, msg: ⇒ Any): Typers
- def ensuring(cond: (Typers) ⇒ Boolean): Typers
- def ensuring(cond: Boolean, msg: ⇒ Any): Typers
- def ensuring(cond: Boolean): Typers
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- final def forArgMode(fun: Global.Tree, mode: Mode): reflect.internal.Mode
- def formatted(fmtstr: String): String
-
def
fullSiteString(context: Analyzer.Context): String
- Definition Classes
- TypersTracking
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
val
lastTreeToTyper: Global.Tree
- Definition Classes
- TypersTracking
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def newTyper(context: Analyzer.Context): Analyzer.Typer
-
def
noPrintAdapt(tree1: Global.Tree, tree2: Global.Tree): Boolean
- Definition Classes
- TypersTracking
-
def
noPrintTyping(t: Global.Tree): Boolean
- Definition Classes
- TypersTracking
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
printingOk(t: Global.Tree): Boolean
- Definition Classes
- TypersTracking
- def resetDocComments(): Unit
- def resetTyper(): Unit
- final val shortenImports: Boolean(false)
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
tpe_s(tp: Global.Type, colorize: (String) ⇒ String): String
- Definition Classes
- TypersTracking
- val transformed: AnyRefMap[Global.Tree, Global.Tree]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- def →[B](y: B): (Typers, B)
- object SilentTypeError
-
object
typingStack
- Definition Classes
- TypersTracking
The Scala compiler and reflection APIs.