Dotty Documentation

0.14.0-bin-SNAPSHOT

trait ReChecking
extends Object with Checking

[-] Constructors

[-] Members

[+] override def checkEnum ( cdef: TypeDef , cls: Symbol , firstParent: Symbol ) ( implicit ctx: Context ) : Unit

Check that all case classes that extend scala.Enum are enum cases

[+] override def checkEnumCaseRefsLegal ( cdef: TypeDef , enumCtx: Context ) ( implicit ctx: Context ) : Unit

Check that all references coming from enum cases in an enum companion object are legal.

[+] override def checkRefsLegal ( tree: Tree , badOwner: Symbol , allowed: (Name, Symbol) => Boolean , where: String ) ( implicit ctx: Context ) : Unit

Check that all non-synthetic references of the form <ident> or this.<ident> in tree that refer to a member of badOwner are allowed. Also check that there are no other explicit this references to badOwner.