Class StreamReplaceNeedsFreshValueOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase5.StreamReplaceNeedsFreshValueOrError

final class StreamReplaceNeedsFreshValueOrError
extends TypedSymbolAccess

THE check that a stream statement's > (which REPLACES its target, Steve 2026-10-27: "let's make > consistent") is only written where the target can give the fresh value it is built on (E08278): a concrete type with an accessible no-argument constructor and a :=:. Where it cannot, > would have had to append into the target, which is what >> says; so it is an error that names >>, never a quiet append. The decision is StreamStages.needsFreshValueError(int, Ek9Types, ISymbol), the very one the IR generation replaces by - the error and the replacement cannot disagree.

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
StreamReplaceNeedsFreshValueOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
(package private) void	accept(EK9Parser.StreamStatementContext ctx)

Methods inherited from class TypedSymbolAccess

emitTypeNotResolvedError, getRecordedAndTypedSymbol, isAlreadyInError, isProcessingScopePure, isPureReassignmentDisallowed, recordATypedSymbol

Methods inherited from class Object

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

Constructor Details

StreamReplaceNeedsFreshValueOrError

StreamReplaceNeedsFreshValueOrError(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

accept

void accept(EK9Parser.StreamStatementContext ctx)