Dotty Documentation

0.9.0-bin-SNAPSHOT

trait ReChecking
extends Object with Checking

[-] Constructors

[-] Members

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

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

[+] override def checkEnumCompanions ( stats: List [ Tree ] , enumContexts: Map [ Symbol, Context ] ) ( implicit ctx: Context ) : List [ Tree ]

Check all enum cases in all enum companions in stats for legal accesses.

[+] 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.