Warm
A warm potential represents an object of which all fields are initialized, but it may contain reference to objects under initialization.
- Value Params
- classSymbol
The concrete class of the object
- outer
The potential for
this
of the enclosing class
Value members
Concrete methods
Inherited methods
Effects of a method call or a lazy val access
Effects of a method call or a lazy val access
The method performs prefix substitution
- Inherited from
- Refinable
Potentials of a field, a method call or a lazy val access
Potentials of a field, a method call or a lazy val access
The method performs prefix substitution
- Inherited from
- Refinable
Length of the potential. Used for widening
Length of the potential. Used for widening
- Inherited from
- Potential