Class RequireStatementOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase3.RequireStatementOrError

All Implemented Interfaces:

Consumer<EK9Parser.RequireStatementContext>

final class RequireStatementOrError
extends TypedSymbolAccess
implements Consumer<EK9Parser.RequireStatementContext>

Checks that the require statement actually has a boolean result from the expression. Because basically it is an if 'boolean' all ok, else throw non-catchable AssertionError. Used for production preconditions, postconditions, and invariants.

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
RequireStatementOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

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

RequireStatementOrError

RequireStatementOrError(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

accept

public void accept(EK9Parser.RequireStatementContext ctx)

Specified by:

accept in interface Consumer<EK9Parser.RequireStatementContext>