Class FieldlessIsSetCompleter

java.lang.Object

org.ek9lang.compiler.phase2.FieldlessIsSetCompleter

All Implemented Interfaces:

Consumer<PostPassSites>

final class FieldlessIsSetCompleter
extends Object
implements Consumer<PostPassSites>

Gives every class, component and service with no fields, counting inherited ones, its synthesised '?' (FieldlessIsSet, Q-COMPONENT-?, Steve 2026-10-07), after every source has been through EXPLICIT_TYPE_SYMBOL_DEFINITION: supers are linked only then.

Supers first, so a field-less super's synthesised '?' is there to be recognised (and not taken for a '?' the sub-type inherits). After the bare-default completion, so a bare default operator keeps its own '?'. Before FULL_RESOLUTION, so E07190/E07235 and every call resolve against it. Built-in and Java-backed types are not completed (PostPassSites leaves them out); they declare their own '?'. A dynamic class is completed in FULL_RESOLUTION instead, once its captures (which are fields) are known.

Constructor Summary

Constructors

Constructor	Description
FieldlessIsSetCompleter()

Method Summary

Modifier and Type	Method	Description
void	accept(PostPassSites sites)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Consumer

andThen

Constructor Details

FieldlessIsSetCompleter

FieldlessIsSetCompleter()

Method Details

accept

public void accept(PostPassSites sites)

Specified by:

accept in interface Consumer<PostPassSites>