Warm
An object with all fields initialized but reaches objects under initialization
We need to restrict nesting levels of outer to finitize the domain.
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
Try early promotion of warm objects
Try early promotion of warm objects
Promotion is expensive and should only be performed for small classes.
-
for each concrete method
mof the warm object: call the method and promote the result -
for each concrete field
fof the warm object: promote the field value
If the object contains nested classes as members, the checker simply reports a warning to avoid expensive checks.
Attributes
Inherited methods
An iterator over the names of all the elements of this product.
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an
Iterator[Any] - Inherited from:
- Product