Dotty Documentation

0.15.0-bin-SNAPSHOT

class CheckNonCyclicMap
extends TypeMap

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

[-] Constructors

CheckNonCyclicMap ( sym: Symbol , reportErrors: Boolean )
CheckNonCyclicMap ( implicit ctx: Context )

[-] Members

[+] private implicit val ctx : Context
[+] private var cycleOK : Boolean

Are cycles allowed within currently checked type?

[+] var lastChecked : Type

The last type top-level type checked when a CyclicReference occurs.

[+] private val locked : Set [ TypeRef ]

Set of type references whose info is currently checked

[+] private var nestedCycleOK : Boolean

Are cycles allowed within nested refinedInfos of currently checked type?

[+] private val reportErrors : Boolean
[+] private val sym : Symbol
[+] var where : String

A diagnostic output string that indicates the position of the last part of a type bounds checked by checkInfo. Possible choices: alias, lower bound, upper bound.

[+] private def apply ( tp: Type , cycleOK: Boolean , nestedCycleOK: Boolean ) : Type
[+] def apply ( tp: Type ) : Type
[+] def checkInfo ( tp: Type ) : Type

Check info tp for cycles. Throw CyclicReference for illegal cycles, break direct cycle with a LazyRef for legal, F-bounded cycles.

[+] private def checkPart ( tp: Type , w: String ) : Type
[+] private def checkUpper ( tp: Type , w: String ) : Type
[+] def lastChecked_= ( x$1: Type ) : Unit

The last type top-level type checked when a CyclicReference occurs.

[+] def where_= ( x$1: String ) : Unit

A diagnostic output string that indicates the position of the last part of a type bounds checked by checkInfo. Possible choices: alias, lower bound, upper bound.