ClosedUnrecorded
dotty.tools.dotc.cc.CCState.ClosedUnrecorded
object ClosedUnrecorded extends ClosedUnrecorded
Attributes
- Graph
-
- Supertypes
-
class ClosedUnrecordedtrait Statelessclass Closedclass VarStateclass Objecttrait Matchableclass AnyShow all
- Self type
-
ClosedUnrecorded.type
Members list
Value members
Inherited methods
Record elements, return whether this was allowed. By default, recording is allowed in regular but not in frozen states.
Run test pred
unless ref
was seen in an enclosing ifNotSeen
operation
Run test pred
unless ref
was seen in an enclosing ifNotSeen
operation
Attributes
- Inherited from:
- VarState
Attributes
- Inherited from:
- VarState
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
Attributes
- Returns
-
a string representation of the object.
- Definition Classes
- Inherited from:
- ClosedUnrecorded
In this article