Class BareDefaultOperatorCompleter

java.lang.Object

org.ek9lang.compiler.phase2.BareDefaultOperatorCompleter

All Implemented Interfaces:

Consumer<PostPassSites>

final class BareDefaultOperatorCompleter
extends Object
implements Consumer<PostPassSites>

Completes every bare 'default operator' once types are known, after every source has been through EXPLICIT_TYPE_SYMBOL_DEFINITION (front-end audit FE74, F2). Phase 1 can only compare operator names, so an operator of the same name taking a different argument hid a self-typed default; the rule itself is OperationFactory.completeBareDefaultOperators.

Before TYPE_HIERARCHY_CHECKS, so a constrained type over this type clones the completed set.

Constructor Summary

Constructors

Constructor	Description
BareDefaultOperatorCompleter()

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

BareDefaultOperatorCompleter

BareDefaultOperatorCompleter()

Method Details

accept

public void accept(PostPassSites sites)

Specified by:

accept in interface Consumer<PostPassSites>