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
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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- 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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
finishComputeParamAlias(): Unit
Finish computation of param aliases after typechecking is completed
- final def forArgMode(fun: Global.Tree, mode: Mode): reflect.internal.Mode
- def freshNameCreatorFor(context: Analyzer.Context): FreshNameCreator
-
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
-
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
- @throws( ... ) @native()
- def →[B](y: B): (Typers, B)
- object SilentTypeError
-
object
checkNoEscaping extends Global.TypeMap
Check that type of given tree does not contain local or private components.
-
object
typingStack
- Definition Classes
- TypersTracking
Deprecated Value Members
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Typers to StringFormat[Typers] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)instead ofvalue.formatted(formatString), or use thef""string interpolator. In Java 15 and later,formattedresolves to the new method in String which has reversed parameters.
The Scala compiler and reflection APIs.