Class RangeOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase3.RangeOrError

All Implemented Interfaces:

Consumer<EK9Parser.RangeContext>

final class RangeOrError
extends TypedSymbolAccess
implements Consumer<EK9Parser.RangeContext>

Checks the Range and ensures that there a Symbol recorded against that context. Then if types are present on the two parts of the range it will check those types and/or issue errors if they are incompatible.

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
RangeOrError(SymbolsAndScopes symbolsAndScopes, SymbolFactory symbolFactory, ErrorListener errorListener)	Check range expressions and record an expression for the type.

Method Summary

Modifier and Type	Method	Description
void	accept(EK9Parser.RangeContext ctx)
(package private) ISymbol	inRangeOf(EK9Parser.ExpressionContext ctx)	The range of x in a ... b: the start is rangeFrom and the end is right of the comparison alternative (the range form shares that level, so its end binds like any comparison operand - PRECEDENCE (4), Steve 2026-10-07).

Methods inherited from class TypedSymbolAccess

emitTypeNotResolvedError, getRecordedAndTypedSymbol, isProcessingScopePure, recordATypedSymbol

Methods inherited from class Object

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

Methods inherited from interface Consumer

andThen

Constructor Details

RangeOrError

RangeOrError(SymbolsAndScopes symbolsAndScopes,
 SymbolFactory symbolFactory,
 ErrorListener errorListener)

Check range expressions and record an expression for the type.

Method Details

accept

public void accept(EK9Parser.RangeContext ctx)

Specified by:

accept in interface Consumer<EK9Parser.RangeContext>

inRangeOf

ISymbol inRangeOf(EK9Parser.ExpressionContext ctx)

The range of x in a ... b: the start is rangeFrom and the end is right of the comparison alternative (the range form shares that level, so its end binds like any comparison operand - PRECEDENCE (4), Steve 2026-10-07). There is no range context to record it against - the expression records its Boolean - so an untyped range is reported here, exactly as accept(EK9Parser.RangeContext) reports it for a for-range.