Class ConstantArithmeticOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase5.ConstantArithmeticOrError

All Implemented Interfaces:

Consumer<EK9Parser.ExpressionContext>

final class ConstantArithmeticOrError
extends TypedSymbolAccess
implements Consumer<EK9Parser.ExpressionContext>

Detects arithmetic expressions that always produce a constant result (E08083).

Two sub-patterns are detected:

• Self-arithmetic: same symbol on both sides of -, /, mod, or rem. For example x - x is always 0, x / x is always 1.
• Trivial modular: right operand is integer literal 1 with mod or rem. For example x mod 1 is always 0.

x + x (valid doubling) and x * x (valid squaring) are NOT flagged.

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
ConstantArithmeticOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
void	accept(EK9Parser.ExpressionContext ctx)

Methods inherited from class TypedSymbolAccess

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

ConstantArithmeticOrError

ConstantArithmeticOrError(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

accept

public void accept(EK9Parser.ExpressionContext ctx)

Specified by:

accept in interface Consumer<EK9Parser.ExpressionContext>