Package org.ek9lang.compiler.phase5

Class IfStatementOrError

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase5.IfStatementOrError

All Implemented Interfaces:

Consumer<EK9Parser.IfStatementContext>

final class IfStatementOrError
extends TypedSymbolAccess
implements Consumer<EK9Parser.IfStatementContext>

Deals with checking if all paths through if/else/else-if/else result in variables meeting criteria. If they do then the outer variable meta-data can also be marked as also meeting the criteria. Initially, this was just were variables initialised. But now the introduction of CodeFlowAnalyzers means that several forms of symbol analysis can take place.

Field Summary

Fields inherited from class org.ek9lang.compiler.common.RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
IfStatementOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
void	accept(EK9Parser.IfStatementContext ctx)

Methods inherited from class org.ek9lang.compiler.common.TypedSymbolAccess

getRecordedAndTypedSymbol, isProcessingScopePure, recordATypedSymbol

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Consumer

andThen

Constructor Details

IfStatementOrError

IfStatementOrError(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

accept

public void accept(EK9Parser.IfStatementContext ctx)

Specified by:

accept in interface Consumer<EK9Parser.IfStatementContext>