Class SafeSymbolAccess

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase5.SafeSymbolAccess

Direct Known Subclasses:

ContainerUnwrapObligations, ObjectAccessExpressionValidOrError, SafeAccessRepointOrError

abstract class SafeSymbolAccess
extends TypedSymbolAccess

Field Summary

Fields

Modifier and Type	Field	Description
protected final SafeGenericAccessMarker	safeGenericAccessMarker
protected final SafeGenericAccessPredicate	safeGenericAccessPredicate

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
SafeSymbolAccess(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
protected boolean	isAccessUnSafe(ISymbol calledFromSymbol, String methodName, org.antlr.v4.runtime.tree.ParseTree accessSite)	True when the access needs a check that neither the enclosing scope nor an earlier and conjunct of the expression at accessSite provides (SafeAccessConjuncts.isProvenEarlier(ParseTree, ISymbol, CommonValues)).
protected boolean	requiresSafeAccess(ISymbol calledFromSymbol, String methodName)	Whether methodName on calledFromSymbol is a container-unwrap that needs a preceding safety check (Optional.get, Result.ok/error, Iterator.next on a symbol the marker has flagged) — i.e.

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

Field Details

safeGenericAccessMarker

protected final SafeGenericAccessMarker safeGenericAccessMarker

safeGenericAccessPredicate

protected final SafeGenericAccessPredicate safeGenericAccessPredicate

Constructor Details

SafeSymbolAccess

SafeSymbolAccess(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

isAccessUnSafe

protected boolean isAccessUnSafe(ISymbol calledFromSymbol,
 String methodName,
 org.antlr.v4.runtime.tree.ParseTree accessSite)

True when the access needs a check that neither the enclosing scope nor an earlier and conjunct of the expression at accessSite provides (SafeAccessConjuncts.isProvenEarlier(ParseTree, ISymbol, CommonValues)).

requiresSafeAccess

protected boolean requiresSafeAccess(ISymbol calledFromSymbol,
 String methodName)

Whether methodName on calledFromSymbol is a container-unwrap that needs a preceding safety check (Optional.get, Result.ok/error, Iterator.next on a symbol the marker has flagged) — i.e. an unwrap obligation exists here, independent of whether it is discharged. isAccessUnSafe(ISymbol, String, ParseTree) then answers whether that obligation is undischarged (unguarded). Split out so the obligation census can count the obligation and read its discharge from the same source of truth the E08030 checker uses.