Class SafeAccessConjuncts

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase5.AbstractSafeSymbolMarker

org.ek9lang.compiler.phase5.SafeAccessConjuncts

final class SafeAccessConjuncts
extends AbstractSafeSymbolMarker

THE conjunct walk for Optional/Result/Iterator safe access (Steve, 2026-10-07, decision Q3) - use it, never re-derive a variant. A condition is flattened into its TOP-LEVEL and conjuncts (the root and chain, parenthesised and groups included); each conjunct of the form x? (or the named checks r.isOk(), r.isError(), it.hasNext()) proves its subject set:

• in the body the condition guards (markProven(EK9Parser.ExpressionContext, IScope)), whatever the other conjuncts are - r? and (count < limit) makes r.get() safe in the body;
• inside the expression itself, for a LATER conjunct only, left to right (isProvenEarlier(ParseTree, ISymbol, CommonValues)) - and short-circuits, so o? and o.get() > 0 is safe and o.get() > 0 and o? is not.

Fail-closed: a ? under or, xor, not, a ternary or a call argument proves nothing, so (o? and x) or (o? and y) and not not o? make nothing safe. This replaced the earlier rule that the WHOLE condition had to be a "simple" and of checks.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static final record	SafeAccessConjuncts.Proof	One fact a conjunct proves: access (ok/error/get/next) on symbol is safe.

Field Summary

Fields inherited from class AbstractSafeSymbolMarker

iteratorTypeCheck, optionalTypeCheck, resultTypeCheck

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
SafeAccessConjuncts(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
(package private) static List<EK9Parser.ExpressionContext>	conjunctsOf(EK9Parser.ExpressionContext condition)	The top-level and conjuncts of condition, left to right, parentheses removed.
(package private) boolean	isProvenEarlier(org.antlr.v4.runtime.tree.ParseTree accessSite, ISymbol symbol, CommonValues access)	True when access on symbol at accessSite is protected by an EARLIER conjunct of an enclosing and evaluated as part of the same expression.
(package private) void	markProven(EK9Parser.ExpressionContext condition, IScope scopeMadeSafe)	Mark everything the top-level conjuncts of condition prove as safe in scopeMadeSafe.

Methods inherited from class AbstractSafeSymbolMarker

assessIsSetCall

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

Constructor Details

SafeAccessConjuncts

SafeAccessConjuncts(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

conjunctsOf

static List<EK9Parser.ExpressionContext> conjunctsOf(EK9Parser.ExpressionContext condition)

The top-level and conjuncts of condition, left to right, parentheses removed.

markProven

void markProven(EK9Parser.ExpressionContext condition,
 IScope scopeMadeSafe)

Mark everything the top-level conjuncts of condition prove as safe in scopeMadeSafe.

isProvenEarlier

boolean isProvenEarlier(org.antlr.v4.runtime.tree.ParseTree accessSite,
 ISymbol symbol,
 CommonValues access)

True when access on symbol at accessSite is protected by an EARLIER conjunct of an enclosing and evaluated as part of the same expression.