Class BareDefaulted

java.lang.Object
org.ek9lang.compiler.common.BareDefaulted
All Implemented Interfaces:
Predicate<ISymbol>

public final class BareDefaulted extends Object implements Predicate<ISymbol>
Test if a symbol is a BARE-defaulted operator, i.e. one added by the catch-all default operator (which asks for "every operator you can default") rather than an explicit default operator <=>. Bare-inferred comparison operators over a field whose type is not orderable are silently retracted in PRE_IR_CHECKS, whereas an explicit request in the same situation is an error. This is THE origin discriminator — do not re-derive it from source-token text. See Defaulted for the (broader) DEFAULTED test.
  • Constructor Details

    • BareDefaulted

      public BareDefaulted()
  • Method Details