Class PrivilegedRevealOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase5.PrivilegedRevealOrError

All Implemented Interfaces:

Consumer<EK9Parser.ObjectAccessExpressionContext>

final class PrivilegedRevealOrError
extends TypedSymbolAccess
implements Consumer<EK9Parser.ObjectAccessExpressionContext>

Checks that reveal() on Sensitive is only called from within classes that have the Privileged trait. Functions cannot call reveal() because functions cannot have traits. This provides compile-time enforcement of capability-based access control for secret values.

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
PrivilegedRevealOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener, Ek9Types ek9Types)

Method Summary

Modifier and Type	Method	Description
void	accept(EK9Parser.ObjectAccessExpressionContext 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

PrivilegedRevealOrError

PrivilegedRevealOrError(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener,
 Ek9Types ek9Types)

Method Details

accept

public void accept(EK9Parser.ObjectAccessExpressionContext ctx)

Specified by:

accept in interface Consumer<EK9Parser.ObjectAccessExpressionContext>