final object Checking

Constructors

Members

class CheckNonCyclicMap

A type map which checks that the only cycles in a type are F-bounds and that protects all F-bounded references by LazyRefs.

A type map which checks that the only cycles in a type are F-bounds and that protects all F-bounded references by LazyRefs.

[+] def checkAppliedType ( tree: AppliedTypeTree ) ( implicit ctx: Context ) : Unit

Check applied type trees for well-formedness. This means - all arguments are within their corresponding bounds - if type is a higher-kinded application...

Check applied type trees for well-formedness. This means - all arguments are within their corresponding bounds - if type is a higher-kinded application with wildcard arguments, check that it or one of its supertypes can be reduced to a normal application. Unreducible applications correspond to general existentials, and we cannot handle those.

[+] def checkBounds ( args: List [ Tree ] , boundss: List [ TypeBounds ] , instantiate: (Type, List [ Type ]) => Type ) ( implicit ctx: Context ) : Unit

A general checkBounds method that can be used for TypeApply nodes as well as for AppliedTypeTree nodes. Also checks that type arguments to *-type parame...

A general checkBounds method that can be used for TypeApply nodes as well as for AppliedTypeTree nodes. Also checks that type arguments to *-type parameters are fully applied.

[+] def checkBounds ( args: List [ Tree ] , poly: PolyType ) ( implicit ctx: Context ) : Unit

Check that type arguments args conform to corresponding bounds in poly Note: This does not check the bounds of AppliedTypeTrees. These are handled by me...

Check that type arguments args conform to corresponding bounds in poly Note: This does not check the bounds of AppliedTypeTrees. These are handled by method checkBounds in FirstTransform

def checkDerivedValueClass ( clazz: Symbol , stats: List [ Tree ] ) ( implicit ctx: Context ) : Unit

Verify classes extending AnyVal meet the requirements

Verify classes extending AnyVal meet the requirements

def checkInstantiable ( tp: Type , pos: Position ) ( implicit ctx: Context ) : Unit

Check that tp refers to a nonAbstract class and that the instance conforms to the self type of the created class.

Check that tp refers to a nonAbstract class and that the instance conforms to the self type of the created class.

[+] def checkNoPrivateLeaks ( sym: Symbol , pos: Position ) ( implicit ctx: Context ) : Type

Check the type signature of the symbol M defined by tree does not refer to a private type or value which is invisible at a point where M is still visibl...

Check the type signature of the symbol M defined by tree does not refer to a private type or value which is invisible at a point where M is still visible. As an exception, we allow references to type aliases if the underlying type of the alias is not a leak. So type aliases are transparent as far as leak testing is concerned.

def checkNonCyclic ( sym: Symbol , info: Type , reportErrors: Boolean ) ( implicit ctx: Context ) : Type

Check that info of symbol sym is not cyclic.

Check that info of symbol sym is not cyclic.

def checkRealizable ( tp: Type , pos: Position ) ( implicit ctx: Context ) : Unit

Check that type tp is realizable.

Check that type tp is realizable.

[+] def checkRefinementNonCyclic ( refinement: Tree , refineCls: ClassSymbol , seen: Set [ Symbol ] ) ( implicit ctx: Context ) : Unit

Check that refinement satisfies the following two conditions 1. No part of it refers to a symbol that's defined in the same refinement at a textually la...

Check that refinement satisfies the following two conditions 1. No part of it refers to a symbol that's defined in the same refinement at a textually later point. 2. All references to the refinement itself via this are followed by selections. Note: It's not yet clear what exactly we want to allow and what we want to rule out. This depends also on firming up the DOT calculus. For the moment we only issue deprecated warnings, not errors.

def checkWellFormed ( sym: Symbol ) ( implicit ctx: Context ) : Unit

Check that symbol's definition is well-formed.

Check that symbol's definition is well-formed.