Erasure

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def <=(that: Phase): Boolean

   

   Definition Classes

   Phase

4. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def assertErased(tp: Type, tree: ast.tpd.Tree = tpd.EmptyTree)(implicit ctx: Context): Unit

   

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

   

   Assert that tree type and its widened underlying type are erased.

   Assert that tree type and its widened underlying type are erased. Also assert that term refs have fixed symbols (so we are sure they need not be reloaded using member; this would likely fail as signatures may change after erasure).

8. 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

   Erasure → Phase

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def description: String

    

    Definition Classes

    Phase

11. def end: PhaseId

    

    Definition Classes

    Phase

12. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. final def erasedTypes: Boolean

    

    Definition Classes

    Phase

15. val eraser: Typer

    

16. def exists: Boolean

    

    Definition Classes

    Phase

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

18. final def flatClasses: Boolean

    

    Definition Classes

    Phase

19. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

20. final def hasNext: Boolean

    

    Definition Classes

    Phase

21. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

22. 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

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

    

    Attributes

    protected[dotty.tools.dotc.core.Phases]

    Definition Classes

    Phase

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

    

    Attributes

    protected[dotty.tools.dotc.core.Phases]

    Definition Classes

    Phase

25. def isCheckable: Boolean

    

    Output should be checkable by TreeChecker

    Output should be checkable by TreeChecker

    Definition Classes

    Phase

26. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

27. 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

28. final def iterator: Iterator[Phase]

    

    Definition Classes

    Phase

29. final def labelsReordered: Boolean

    

    Definition Classes

    Phase

30. def lastPhaseId(implicit ctx: Context): Int

    

    The last phase during which the transformed denotations are valid

    The last phase during which the transformed denotations are valid

    Definition Classes

    DenotTransformer

31. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

32. final def next: Phase

    

    Definition Classes

    Phase

33. final def notify(): Unit

    

    Definition Classes

    AnyRef

34. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

35. def period: Period

    

    Definition Classes

    Phase

36. def phaseName: String

    

    Definition Classes

    Erasure → Phase

37. final def prev: Phase

    

    Definition Classes

    Phase

38. final def refChecked: Boolean

    

    Definition Classes

    Phase

39. 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

40. def run(implicit ctx: Context): Unit

    

    Definition Classes

    Erasure → Phase

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

    

    Definition Classes

    Phase

42. 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

    Erasure → Phase

43. def start: Int

    

    Definition Classes

    Phase

44. final def symbolicRefs: Boolean

    

    Definition Classes

    Phase

45. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

46. def toString(): String

    

    Definition Classes

    Phase → AnyRef → Any

47. def transform(ref: SingleDenotation)(implicit ctx: Context): SingleDenotation

    

    The transformation method

    The transformation method

    Definition Classes

    Erasure → DenotTransformer

48. def unsupported(methodName: String): Nothing

    

    Throws an UnsupportedOperationException with the given method name.

    Throws an UnsupportedOperationException with the given method name.

    Definition Classes

    DotClass

49. def validFor(implicit ctx: Context): Period

    

    The validity period of the transformer in the given context

    The validity period of the transformer in the given context

    Definition Classes

    DenotTransformer

50. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

51. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

52. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )