dotty.tools.dotc.transform

CheckStatic

Related Doc: package transform

class CheckStatic extends MiniPhaseTransform

A transformer that check that requirements of Static fields\methods are implemented:

  1. Only objects can have members annotated with @static 2. The fields annotated with @static should preceed any non-@static fields. This ensures that we do not introduce surprises for users in initialization order. 3. If a member foo of an object C is annotated with @static, the companion class C is not allowed to define term members with name foo. 4. If a member foo of an object C is annotated with @static, the companion class C is not allowed to inherit classes that define a term member with name foo. 5. Only @static methods and vals are supported in companions of traits. Java8 supports those, but not vars, and JavaScript does not have interfaces at all. 6. @static Lazy vals are currently unsupported.
Self Type
CheckStatic
Linear Supertypes
MiniPhaseTransform, MiniPhase, Phase, TreeTransform, DotClass, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CheckStatic
  2. MiniPhaseTransform
  3. MiniPhase
  4. Phase
  5. TreeTransform
  6. DotClass
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CheckStatic()

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 atGroupEnd[T](action: (Context) ⇒ T)(implicit ctx: Context, info: TransformerInfo): T

    Definition Classes
    TreeTransform

  7. def check(tree: ast.tpd.DefTree)(implicit ctx: Context): Unit

  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
    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. def exists: Boolean

    Definition Classes
    Phase

  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  17. final def flatClasses: Boolean

    Definition Classes
    Phase

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

    Definition Classes
    AnyRef → Any

  19. final def hasNext: Boolean

    Definition Classes
    Phase

  20. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

  22. var idx: Int

    id of this mini phase in group

    id of this mini phase in group

    Definition Classes
    MiniPhase

  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 mkTreeTransformer: TreeTransformer

    Attributes
    protected
    Definition Classes
    MiniPhase

  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 phase: MiniPhaseTransform

    Definition Classes
    MiniPhaseTransform → TreeTransform

  37. def phaseName: String

    Definition Classes
    CheckStatic → Phase

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

  52. def prepareForPair(tree: ast.tpd.Pair)(implicit ctx: Context): TreeTransform

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

  55. def prepareForSelectFromTypeTree(tree: ast.tpd.SelectFromTypeTree)(implicit ctx: Context): TreeTransform

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

  69. final def prev: Phase

    Definition Classes
    Phase

  70. final def refChecked: Boolean

    Definition Classes
    Phase

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

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

    Definition Classes
    MiniPhase → Phase

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

    Definition Classes
    Phase

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

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

  76. def start: Int

    Definition Classes
    Phase

  77. final def symbolicRefs: Boolean

    Definition Classes
    Phase

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

    Definition Classes
    AnyRef

  79. def toString(): String

    Definition Classes
    Phase → AnyRef → Any

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

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

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

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

  98. def transformPair(tree: ast.tpd.Pair)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    CheckStatic → TreeTransform

  101. def transformSelectFromTypeTree(tree: ast.tpd.SelectFromTypeTree)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    CheckStatic → TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

  109. def transformTypeDef(tree: ast.tpd.TypeDef)(implicit ctx: Context, info: TransformerInfo): ast.tpd.Tree

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

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

    Definition Classes
    TreeTransform

  115. def treeTransform: MiniPhaseTransform

    Definition Classes
    MiniPhaseTransform → MiniPhase

  116. def treeTransformPhase: Phase

    Definition Classes
    TreeTransform

  117. def unsupported(methodName: String): Nothing

    Throws an UnsupportedOperationException with the given method name.

    Throws an UnsupportedOperationException with the given method name.

    Definition Classes
    DotClass

  118. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from MiniPhaseTransform

Inherited from MiniPhase

Inherited from Phase

Inherited from TreeTransform

Inherited from DotClass

Inherited from AnyRef

Inherited from Any

Ungrouped