Class ConstructSafeAccessMarkers

java.lang.Object

org.ek9lang.compiler.phase5.ConstructSafeAccessMarkers

final class ConstructSafeAccessMarkers
extends Object

THE maker of the E08030 construct markers (ConstructSafeAccessMarker), one per construct that can prove an Optional / Result / Iterator access safe: forIfBlock(), forSwitch(), forTry(), forWhile(), forFor() and forTernary(). Each says where its construct keeps its pre-flow and its control expression, and in which scope a proof is safe. Were static factories on the marker (no-statics lane P2, 2026-10-29).

Constructor Summary

Constructors

Constructor	Description
ConstructSafeAccessMarkers(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
(package private) ConstructSafeAccessMarker<EK9Parser.ForStatementExpressionContext>	forFor()	A for loop or for range: its pre-flow, and the control expression of a for loop only.
(package private) ConstructSafeAccessMarker<EK9Parser.IfControlBlockContext>	forIfBlock()	An if / else if block: pre-flow and control, safe in the block.
(package private) ConstructSafeAccessMarker<EK9Parser.SwitchStatementExpressionContext>	forSwitch()	A switch: only its pre-flow, safe in the whole switch.
(package private) ConstructSafeAccessMarker<EK9Parser.ExpressionContext>	forTernary()	A ternary: its control may make the first part safe.
(package private) ConstructSafeAccessMarker<EK9Parser.TryStatementExpressionContext>	forTry()	A try: only its pre-flow, safe in the whole try/catch/finally.
(package private) ConstructSafeAccessMarker<EK9Parser.WhileStatementExpressionContext>	forWhile()	A while or do/while: its pre-flow, and its control only on a while - the body of a do/while runs BEFORE its trailing condition.

Methods inherited from class Object

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

Constructor Details

ConstructSafeAccessMarkers

ConstructSafeAccessMarkers(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

forIfBlock

ConstructSafeAccessMarker<EK9Parser.IfControlBlockContext> forIfBlock()

An if / else if block: pre-flow and control, safe in the block.

forSwitch

ConstructSafeAccessMarker<EK9Parser.SwitchStatementExpressionContext> forSwitch()

A switch: only its pre-flow, safe in the whole switch.

forTry

ConstructSafeAccessMarker<EK9Parser.TryStatementExpressionContext> forTry()

A try: only its pre-flow, safe in the whole try/catch/finally.

forWhile

ConstructSafeAccessMarker<EK9Parser.WhileStatementExpressionContext> forWhile()

A while or do/while: its pre-flow, and its control only on a while - the body of a do/while runs BEFORE its trailing condition. The discriminator is DO(), never WHILE(): BOTH grammar alternatives contain a WHILE token (WHILE control ... and DO ... WHILE control), so ANTLR emits ONE scalar WHILE() accessor on the merged context and ctx.WHILE() != null is a TAUTOLOGY. It never excluded the do/while it says it excludes, so the trailing condition marked the symbol safe over a scope that encloses the body that had already run: do o.get() while o? compiled clean and threw at runtime. Only the do/while alternative carries DO.

forFor

ConstructSafeAccessMarker<EK9Parser.ForStatementExpressionContext> forFor()

A for loop or for range: its pre-flow, and the control expression of a for loop only.

forTernary

ConstructSafeAccessMarker<EK9Parser.ExpressionContext> forTernary()

A ternary: its control may make the first part safe.