IsInstanceOfEvaluator

Instance Constructors

new IsInstanceOfEvaluator()

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def <=(that: Phase): Boolean

Definition Classes
Phase
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def atGroupEnd[T](action: (Context) ⇒ T)(implicit ctx: Context, info: TransformerInfo): T

Definition Classes
TreeTransform
def checkPostCondition(tree: ast.tpd.Tree)(implicit ctx: Context): Unit

Check what the phase achieves, to be called at any point after it is finished.
Check what the phase achieves, to be called at any point after it is finished.

Definition Classes
Phase
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def description: String

Definition Classes
Phase
def end: PhaseId

Definition Classes
Phase
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def erasedTypes: Boolean

Definition Classes
Phase
def exists: Boolean

Definition Classes
Phase
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def flatClasses: Boolean

Definition Classes
Phase
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def hasNext: Boolean

Definition Classes
Phase
def hashCode(): Int

Definition Classes
AnyRef → Any
def id: Int

The sequence position of this phase in the given context where 0 is reserved for NoPhase and the first real phase is at position 1.
The sequence position of this phase in the given context where 0 is reserved for NoPhase and the first real phase is at position 1. -1 if the phase is not installed in the context.

Definition Classes
Phase
var idx: Int

id of this mini phase in group
id of this mini phase in group

Definition Classes
MiniPhase
def init(base: ContextBase, id: Int): Unit

Attributes
protected[dotty.tools.dotc.core.Phases]
Definition Classes
Phase
def init(base: ContextBase, start: Int, end: Int): Unit

Attributes
protected[dotty.tools.dotc.core.Phases]
Definition Classes
Phase
def isCheckable: Boolean

Output should be checkable by TreeChecker
Output should be checkable by TreeChecker

Definition Classes
Phase
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isTyper: Boolean

Is this phase the standard typerphase? True for FrontEnd, but not for other first phases (such as FromTasty).
Is this phase the standard typerphase? True for FrontEnd, but not for other first phases (such as FromTasty). The predicate is tested in some places that perform checks and corrections. It's different from isAfterTyper (and cheaper to test).

Definition Classes
Phase
final def iterator: Iterator[Phase]

Definition Classes
Phase
final def labelsReordered: Boolean

Definition Classes
Phase
def mkTreeTransformer: TreeTransformer

Attributes
protected
Definition Classes
MiniPhase
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def next: Phase

Definition Classes
Phase
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def period: Period

Definition Classes
Phase
def phase: MiniPhaseTransform

Definition Classes
MiniPhaseTransform → TreeTransform
def phaseName: String

Definition Classes
IsInstanceOfEvaluator → Phase
def prepareForAlternative(tree: ast.tpd.Alternative)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForApply(tree: ast.tpd.Apply)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForAssign(tree: ast.tpd.Assign)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForBind(tree: ast.tpd.Bind)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForBlock(tree: ast.tpd.Block)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForCaseDef(tree: ast.tpd.CaseDef)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForClosure(tree: ast.tpd.Closure)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForDefDef(tree: ast.tpd.DefDef)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForIdent(tree: ast.tpd.Ident)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForIf(tree: ast.tpd.If)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForLiteral(tree: ast.tpd.Literal)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForMatch(tree: ast.tpd.Match)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForNew(tree: ast.tpd.New)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForPackageDef(tree: ast.tpd.PackageDef)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForReturn(tree: ast.tpd.Return)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForSelect(tree: ast.tpd.Select)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForSeqLiteral(tree: ast.tpd.SeqLiteral)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForStats(trees: List[ast.tpd.Tree])(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForSuper(tree: ast.tpd.Super)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForTemplate(tree: ast.tpd.Template)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForThis(tree: ast.tpd.This)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForTry(tree: ast.tpd.Try)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForTypeApply(tree: ast.tpd.TypeApply)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForTypeDef(tree: ast.tpd.TypeDef)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForTypeTree(tree: ast.tpd.TypeTree)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForTyped(tree: ast.tpd.Typed)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForUnApply(tree: ast.tpd.UnApply)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForUnit(tree: ast.tpd.Tree)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
def prepareForValDef(tree: ast.tpd.ValDef)(implicit ctx: Context): TreeTransform

Definition Classes
TreeTransform
final def prev: Phase

Definition Classes
Phase
final def refChecked: Boolean

Definition Classes
Phase
def relaxedTyping: Boolean

If set, allow missing or superfluous arguments in applications and type applications.
If set, allow missing or superfluous arguments in applications and type applications.

Definition Classes
Phase
def run(implicit ctx: Context): Unit

Definition Classes
MiniPhase → Phase
def runOn(units: List[CompilationUnit])(implicit ctx: Context): List[CompilationUnit]

Definition Classes
Phase
def runsAfter: Set[Class[_ <: Phase]]

List of names of phases that should precede this phase
List of names of phases that should precede this phase

Definition Classes
Phase
def runsAfterGroupsOf: Set[Class[_ <: Phase]]

List of names of phases that should have finished their processing of all compilation units before this phase starts
List of names of phases that should have finished their processing of all compilation units before this phase starts

Definition Classes
MiniPhase
def start: Int

Definition Classes
Phase
final def symbolicRefs: Boolean

Definition Classes
Phase
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Phase → AnyRef → Any
def transform(tree: ast.tpd.Tree)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Transform tree using all transforms of current group (including this one)
Transform tree using all transforms of current group (including this one)

Definition Classes
TreeTransform
def transformAlternative(tree: ast.tpd.Alternative)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformApply(tree: ast.tpd.Apply)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformAssign(tree: ast.tpd.Assign)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformBind(tree: ast.tpd.Bind)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformBlock(tree: ast.tpd.Block)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformCaseDef(tree: ast.tpd.CaseDef)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformClosure(tree: ast.tpd.Closure)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformDefDef(tree: ast.tpd.DefDef)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformFollowing(tree: ast.tpd.Tree)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Transform single node using all transforms following the current one in this group
Transform single node using all transforms following the current one in this group

Definition Classes
TreeTransform
def transformFollowingDeep(tree: ast.tpd.Tree)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Transform subtree using all transforms following the current one in this group
Transform subtree using all transforms following the current one in this group

Definition Classes
TreeTransform
def transformIdent(tree: ast.tpd.Ident)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformIf(tree: ast.tpd.If)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformLiteral(tree: ast.tpd.Literal)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformMatch(tree: ast.tpd.Match)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformNew(tree: ast.tpd.New)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformOther(tree: ast.tpd.Tree)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformPackageDef(tree: ast.tpd.PackageDef)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformReturn(tree: ast.tpd.Return)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformSelect(tree: ast.tpd.Select)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformSeqLiteral(tree: ast.tpd.SeqLiteral)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformStats(trees: List[ast.tpd.Tree])(implicit ctx: Context, info: TransformerInfo): List[ast.tpd.Tree]

Definition Classes
TreeTransform
def transformSuper(tree: ast.tpd.Super)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformTemplate(tree: ast.tpd.Template)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformThis(tree: ast.tpd.This)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformTry(tree: ast.tpd.Try)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformTypeApply(tree: ast.tpd.TypeApply)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
IsInstanceOfEvaluator → TreeTransform
def transformTypeDef(tree: ast.tpd.TypeDef)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformTypeTree(tree: ast.tpd.TypeTree)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformTyped(tree: ast.tpd.Typed)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformUnApply(tree: ast.tpd.UnApply)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformUnit(tree: ast.tpd.Tree)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def transformValDef(tree: ast.tpd.ValDef)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

Definition Classes
TreeTransform
def treeTransform: MiniPhaseTransform

Definition Classes
MiniPhaseTransform → MiniPhase
def treeTransformPhase: Phase

Definition Classes
TreeTransform
def unsupported(methodName: String): Nothing

Throws an UnsupportedOperationException with the given method name.
Throws an UnsupportedOperationException with the given method name.

Definition Classes
DotClass
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( ... )

Related Doc: package transform

class IsInstanceOfEvaluator extends MiniPhaseTransform

Instance Constructors

new IsInstanceOfEvaluator()

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def <=(that: Phase): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def atGroupEnd[T](action: (Context) ⇒ T)(implicit ctx: Context, info: TransformerInfo): T

def checkPostCondition(tree: ast.tpd.Tree)(implicit ctx: Context): Unit

def clone(): AnyRef

def description: String

def end: PhaseId

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def erasedTypes: Boolean

def exists: Boolean

def finalize(): Unit

final def flatClasses: Boolean

final def getClass(): Class[_]

final def hasNext: Boolean

def hashCode(): Int

def id: Int

var idx: Int

def init(base: ContextBase, id: Int): Unit

def init(base: ContextBase, start: Int, end: Int): Unit

def isCheckable: Boolean

final def isInstanceOf[T0]: Boolean

def isTyper: Boolean

final def iterator: Iterator[Phase]

final def labelsReordered: Boolean

def mkTreeTransformer: TreeTransformer

final def ne(arg0: AnyRef): Boolean

final def next: Phase

final def notify(): Unit

final def notifyAll(): Unit

def period: Period

def phase: MiniPhaseTransform

def phaseName: String

def prepareForAlternative(tree: ast.tpd.Alternative)(implicit ctx: Context): TreeTransform

def prepareForApply(tree: ast.tpd.Apply)(implicit ctx: Context): TreeTransform

def prepareForAssign(tree: ast.tpd.Assign)(implicit ctx: Context): TreeTransform

def prepareForBind(tree: ast.tpd.Bind)(implicit ctx: Context): TreeTransform

def prepareForBlock(tree: ast.tpd.Block)(implicit ctx: Context): TreeTransform

def prepareForCaseDef(tree: ast.tpd.CaseDef)(implicit ctx: Context): TreeTransform

def prepareForClosure(tree: ast.tpd.Closure)(implicit ctx: Context): TreeTransform

def prepareForDefDef(tree: ast.tpd.DefDef)(implicit ctx: Context): TreeTransform

def prepareForIdent(tree: ast.tpd.Ident)(implicit ctx: Context): TreeTransform

def prepareForIf(tree: ast.tpd.If)(implicit ctx: Context): TreeTransform

def prepareForLiteral(tree: ast.tpd.Literal)(implicit ctx: Context): TreeTransform

def prepareForMatch(tree: ast.tpd.Match)(implicit ctx: Context): TreeTransform

def prepareForNew(tree: ast.tpd.New)(implicit ctx: Context): TreeTransform

def prepareForPackageDef(tree: ast.tpd.PackageDef)(implicit ctx: Context): TreeTransform

def prepareForReturn(tree: ast.tpd.Return)(implicit ctx: Context): TreeTransform

def prepareForSelect(tree: ast.tpd.Select)(implicit ctx: Context): TreeTransform

def prepareForSeqLiteral(tree: ast.tpd.SeqLiteral)(implicit ctx: Context): TreeTransform

def prepareForStats(trees: List[ast.tpd.Tree])(implicit ctx: Context): TreeTransform

def prepareForSuper(tree: ast.tpd.Super)(implicit ctx: Context): TreeTransform

def prepareForTemplate(tree: ast.tpd.Template)(implicit ctx: Context): TreeTransform

def prepareForThis(tree: ast.tpd.This)(implicit ctx: Context): TreeTransform

def prepareForTry(tree: ast.tpd.Try)(implicit ctx: Context): TreeTransform

def prepareForTypeApply(tree: ast.tpd.TypeApply)(implicit ctx: Context): TreeTransform

def prepareForTypeDef(tree: ast.tpd.TypeDef)(implicit ctx: Context): TreeTransform

def prepareForTypeTree(tree: ast.tpd.TypeTree)(implicit ctx: Context): TreeTransform

def prepareForTyped(tree: ast.tpd.Typed)(implicit ctx: Context): TreeTransform

def prepareForUnApply(tree: ast.tpd.UnApply)(implicit ctx: Context): TreeTransform

def prepareForUnit(tree: ast.tpd.Tree)(implicit ctx: Context): TreeTransform

def prepareForValDef(tree: ast.tpd.ValDef)(implicit ctx: Context): TreeTransform

final def prev: Phase

final def refChecked: Boolean

def relaxedTyping: Boolean

def run(implicit ctx: Context): Unit

def runOn(units: List[CompilationUnit])(implicit ctx: Context): List[CompilationUnit]

def runsAfter: Set[Class[_ <: Phase]]

def runsAfterGroupsOf: Set[Class[_ <: Phase]]

def start: Int

final def symbolicRefs: Boolean