Class BareDefaulted
java.lang.Object
org.ek9lang.compiler.common.BareDefaulted
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
-
test
-