Package org.ek9lang.compiler.phase5

Class PreIRListener

java.lang.Object

org.ek9lang.antlr.EK9BaseListener

org.ek9lang.compiler.common.AbstractEK9PhaseListener

org.ek9lang.compiler.common.ScopeStackConsistencyListener

org.ek9lang.compiler.phase5.PreIRListener

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTreeListener, EK9Listener

final class PreIRListener
extends ScopeStackConsistencyListener

Designed to do additional logic checks once everything has been resolved. Initially focused on ensuring that uninitialised variables are initialised before being used. But may extend to other forms of checks. For example booleans set to literals and never altered and used in an 'if'. This is designed to try and catch as much as possible before creating an Intermediate Representation and doing further checks.

Field Summary

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

symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
PreIRListener(ParsedModule parsedModule)

Method Summary

Modifier and Type	Method	Description
void	enterAssignmentStatement(EK9Parser.AssignmentStatementContext ctx)	Enter a parse tree produced by EK9Parser.assignmentStatement().
void	enterDynamicFunctionDeclaration(EK9Parser.DynamicFunctionDeclarationContext ctx)	On entry of a dynamic function need to record any return symbol, because we won't parse the text as it is inferred.
void	enterGuardExpression(EK9Parser.GuardExpressionContext ctx)	Enter a parse tree produced by EK9Parser.guardExpression().
void	enterIdentifier(EK9Parser.IdentifierContext ctx)	Enter a parse tree produced by EK9Parser.identifier().
void	enterVariableOnlyDeclaration(EK9Parser.VariableOnlyDeclarationContext ctx)	Enter a parse tree produced by EK9Parser.variableOnlyDeclaration().
void	exitDynamicFunctionDeclaration(EK9Parser.DynamicFunctionDeclarationContext ctx)	Exit a parse tree produced by EK9Parser.dynamicFunctionDeclaration().
void	exitForStatementExpression(EK9Parser.ForStatementExpressionContext ctx)	Exit a parse tree produced by EK9Parser.forStatementExpression().
void	exitFunctionDeclaration(EK9Parser.FunctionDeclarationContext ctx)	Exit a parse tree produced by EK9Parser.functionDeclaration().
void	exitIdentifierReference(EK9Parser.IdentifierReferenceContext ctx)	Exit a parse tree produced by EK9Parser.identifierReference().
void	exitIfStatement(EK9Parser.IfStatementContext ctx)	Exit a parse tree produced by EK9Parser.ifStatement().
void	exitMethodDeclaration(EK9Parser.MethodDeclarationContext ctx)	Exit a parse tree produced by EK9Parser.methodDeclaration().
void	exitOperatorDeclaration(EK9Parser.OperatorDeclarationContext ctx)	Exit a parse tree produced by EK9Parser.operatorDeclaration().
void	exitServiceOperationDeclaration(EK9Parser.ServiceOperationDeclarationContext ctx)	Exit a parse tree produced by EK9Parser.serviceOperationDeclaration().
void	exitSwitchStatementExpression(EK9Parser.SwitchStatementExpressionContext ctx)	Exit a parse tree produced by EK9Parser.switchStatementExpression().
void	exitTryStatementExpression(EK9Parser.TryStatementExpressionContext ctx)	Exit a parse tree produced by EK9Parser.tryStatementExpression().
void	exitWhileStatementExpression(EK9Parser.WhileStatementExpressionContext ctx)	Exit a parse tree produced by EK9Parser.whileStatementExpression().

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

enterApplicationDeclaration, enterBlock, enterCatchStatementExpression, enterClassDeclaration, enterComponentDeclaration, enterDynamicClassDeclaration, enterDynamicVariableCapture, enterFinallyStatementExpression, enterForStatementExpression, enterFunctionDeclaration, enterIfStatement, enterInstructionBlock, enterMethodDeclaration, enterOperatorDeclaration, enterPackageBlock, enterRecordDeclaration, enterReturningParam, enterServiceDeclaration, enterServiceOperationDeclaration, enterSingleStatementBlock, enterSwitchStatementExpression, enterTextBodyDeclaration, enterTextDeclaration, enterTraitDeclaration, enterTryStatementExpression, enterTypeDeclaration, enterWhileStatementExpression

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

exitApplicationDeclaration, exitBlock, exitCatchStatementExpression, exitClassDeclaration, exitComponentDeclaration, exitDynamicClassDeclaration, exitDynamicVariableCapture, exitFinallyStatementExpression, exitInstructionBlock, exitModuleDeclaration, exitPackageBlock, exitRecordDeclaration, exitReturningParam, exitServiceDeclaration, exitSingleStatementBlock, exitTextBodyDeclaration, exitTextDeclaration, exitTraitDeclaration, exitTypeDeclaration, getErrorListener, getParsedModule, isScopeStackEmpty, pullBlockTerminationUp, pullIfElseTerminationUp, pullSwitchCaseDefaultUp, pullTryCatchFinallyUp

Methods inherited from class org.ek9lang.antlr.EK9BaseListener

enterAccessModifier, enterAggregateParts, enterAggregateProperty, enterAllowingOnly, enterApplicationBlock, enterArgumentParam, enterAspectDeclaration, enterAssertStatement, enterAssignmentExpression, enterBinaryLit, enterBinaryLiteral, enterBlockStatement, enterBooleanLit, enterBooleanLiteral, enterCall, enterCaseExpression, enterCaseStatement, enterCharacterLit, enterCharacterLiteral, enterClassBlock, enterColourLit, enterColourLiteral, enterCompilationUnit, enterComponentBlock, enterConstantBlock, enterConstantDeclaration, enterConstantInitialiser, enterConstrainDeclaration, enterConstrainType, enterDateLit, enterDateLiteral, enterDateTimeLit, enterDateTimeLiteral, enterDeclareArgumentParam, enterDecorationDimensionLiteral, enterDecorationResolutionLiteral, enterDefaultOperator, enterDict, enterDimensionLit, enterDirective, enterDirectivePart, enterDottedName, enterDurationLit, enterDurationLiteral, enterDynamicFunctionBody, enterElseOnlyBlock, enterEnumerationDeclaration, enterEveryRule, enterExpression, enterExpressionParam, enterExtendDeclaration, enterExtendPreamble, enterFloatingPointLit, enterFloatingPointLiteral, enterForLoop, enterForRange, enterFunctionBlock, enterHttpAccess, enterHttpVerb, enterIdentifierReference, enterIfControlBlock, enterInitValuePair, enterIntegerLit, enterIntegerLiteral, enterList, enterMillisecondLit, enterMillisecondLiteral, enterModuleBlock, enterModuleDeclaration, enterMoneyLit, enterMoneyLiteral, enterObjectAccess, enterObjectAccessExpression, enterObjectAccessStart, enterObjectAccessType, enterOperationCall, enterOperationDetails, enterOperator, enterParameterisedArgs, enterParameterisedDetail, enterParameterisedParams, enterParameterisedType, enterParamExpression, enterPathLit, enterPathLiteral, enterPipelinePart, enterPreFlowAndControl, enterPreFlowStatement, enterPrimary, enterPrimaryReference, enterProgramBlock, enterRange, enterRecordBlock, enterReferencesBlock, enterRegExLit, enterRegisterStatement, enterRegularExpressionLiteral, enterResolutionLit, enterServiceBlock, enterSheBang, enterStatement, enterStreamCat, enterStreamExpression, enterStreamExpressionTermination, enterStreamFor, enterStreamPart, enterStreamSource, enterStreamStatement, enterStreamStatementTermination, enterStringLit, enterStringLiteral, enterStringPart, enterTextBlock, enterThrowStatement, enterTimeLit, enterTimeLiteral, enterTraitBlock, enterTraitPreamble, enterTraitReference, enterTraitsList, enterTypeBlock, enterTypeDef, enterVariableDeclaration, enterVersionNumberLit, enterVersionNumberLiteral, enterWebVariableCorrelation, exitAccessModifier, exitAggregateParts, exitAggregateProperty, exitAllowingOnly, exitApplicationBlock, exitArgumentParam, exitAspectDeclaration, exitAssertStatement, exitAssignmentExpression, exitAssignmentStatement, exitBinaryLit, exitBinaryLiteral, exitBlockStatement, exitBooleanLit, exitBooleanLiteral, exitCall, exitCaseExpression, exitCaseStatement, exitCharacterLit, exitCharacterLiteral, exitClassBlock, exitColourLit, exitColourLiteral, exitCompilationUnit, exitComponentBlock, exitConstantBlock, exitConstantDeclaration, exitConstantInitialiser, exitConstrainDeclaration, exitConstrainType, exitDateLit, exitDateLiteral, exitDateTimeLit, exitDateTimeLiteral, exitDeclareArgumentParam, exitDecorationDimensionLiteral, exitDecorationResolutionLiteral, exitDefaultOperator, exitDict, exitDimensionLit, exitDirective, exitDirectivePart, exitDottedName, exitDurationLit, exitDurationLiteral, exitDynamicFunctionBody, exitElseOnlyBlock, exitEnumerationDeclaration, exitEveryRule, exitExpression, exitExpressionParam, exitExtendDeclaration, exitExtendPreamble, exitFloatingPointLit, exitFloatingPointLiteral, exitForLoop, exitForRange, exitFunctionBlock, exitGuardExpression, exitHttpAccess, exitHttpVerb, exitIdentifier, exitIfControlBlock, exitInitValuePair, exitIntegerLit, exitIntegerLiteral, exitList, exitMillisecondLit, exitMillisecondLiteral, exitModuleBlock, exitMoneyLit, exitMoneyLiteral, exitObjectAccess, exitObjectAccessExpression, exitObjectAccessStart, exitObjectAccessType, exitOperationCall, exitOperationDetails, exitOperator, exitParameterisedArgs, exitParameterisedDetail, exitParameterisedParams, exitParameterisedType, exitParamExpression, exitPathLit, exitPathLiteral, exitPipelinePart, exitPreFlowAndControl, exitPreFlowStatement, exitPrimary, exitPrimaryReference, exitProgramBlock, exitRange, exitRecordBlock, exitReferencesBlock, exitRegExLit, exitRegisterStatement, exitRegularExpressionLiteral, exitResolutionLit, exitServiceBlock, exitSheBang, exitStatement, exitStreamCat, exitStreamExpression, exitStreamExpressionTermination, exitStreamFor, exitStreamPart, exitStreamSource, exitStreamStatement, exitStreamStatementTermination, exitStringLit, exitStringLiteral, exitStringPart, exitTextBlock, exitThrowStatement, exitTimeLit, exitTimeLiteral, exitTraitBlock, exitTraitPreamble, exitTraitReference, exitTraitsList, exitTypeBlock, exitTypeDef, exitVariableDeclaration, exitVariableOnlyDeclaration, exitVersionNumberLit, exitVersionNumberLiteral, exitWebVariableCorrelation, visitErrorNode, visitTerminal

Methods inherited from class java.lang.Object

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

Constructor Details

PreIRListener

PreIRListener(ParsedModule parsedModule)

Method Details

enterVariableOnlyDeclaration

public void enterVariableOnlyDeclaration(EK9Parser.VariableOnlyDeclarationContext ctx)

Description copied from class: EK9BaseListener

Enter a parse tree produced by EK9Parser.variableOnlyDeclaration().

The default implementation does nothing.

Specified by:

enterVariableOnlyDeclaration in interface EK9Listener

Overrides:

enterVariableOnlyDeclaration in class EK9BaseListener

Parameters:

ctx - the parse tree

enterAssignmentStatement

public void enterAssignmentStatement(EK9Parser.AssignmentStatementContext ctx)

Description copied from class: EK9BaseListener

Enter a parse tree produced by EK9Parser.assignmentStatement().

The default implementation does nothing.

Specified by:

enterAssignmentStatement in interface EK9Listener

Overrides:

enterAssignmentStatement in class EK9BaseListener

Parameters:

ctx - the parse tree

enterGuardExpression

public void enterGuardExpression(EK9Parser.GuardExpressionContext ctx)

Description copied from class: EK9BaseListener

Enter a parse tree produced by EK9Parser.guardExpression().

The default implementation does nothing.

Specified by:

enterGuardExpression in interface EK9Listener

Overrides:

enterGuardExpression in class EK9BaseListener

Parameters:

ctx - the parse tree

enterIdentifier

public void enterIdentifier(EK9Parser.IdentifierContext ctx)

Description copied from class: EK9BaseListener

Enter a parse tree produced by EK9Parser.identifier().

The default implementation does nothing.

Specified by:

enterIdentifier in interface EK9Listener

Overrides:

enterIdentifier in class EK9BaseListener

Parameters:

ctx - the parse tree

exitIdentifierReference

public void exitIdentifierReference(EK9Parser.IdentifierReferenceContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.identifierReference().

The default implementation does nothing.

Specified by:

exitIdentifierReference in interface EK9Listener

Overrides:

exitIdentifierReference in class EK9BaseListener

Parameters:

ctx - the parse tree

exitIfStatement

public void exitIfStatement(EK9Parser.IfStatementContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.ifStatement().

The default implementation does nothing.

Specified by:

exitIfStatement in interface EK9Listener

Overrides:

exitIfStatement in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitSwitchStatementExpression

public void exitSwitchStatementExpression(EK9Parser.SwitchStatementExpressionContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.switchStatementExpression().

The default implementation does nothing.

Specified by:

exitSwitchStatementExpression in interface EK9Listener

Overrides:

exitSwitchStatementExpression in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitTryStatementExpression

public void exitTryStatementExpression(EK9Parser.TryStatementExpressionContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.tryStatementExpression().

The default implementation does nothing.

Specified by:

exitTryStatementExpression in interface EK9Listener

Overrides:

exitTryStatementExpression in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitForStatementExpression

public void exitForStatementExpression(EK9Parser.ForStatementExpressionContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.forStatementExpression().

The default implementation does nothing.

Specified by:

exitForStatementExpression in interface EK9Listener

Overrides:

exitForStatementExpression in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitWhileStatementExpression

public void exitWhileStatementExpression(EK9Parser.WhileStatementExpressionContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.whileStatementExpression().

The default implementation does nothing.

Specified by:

exitWhileStatementExpression in interface EK9Listener

Overrides:

exitWhileStatementExpression in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

enterDynamicFunctionDeclaration

public void enterDynamicFunctionDeclaration(EK9Parser.DynamicFunctionDeclarationContext ctx)

On entry of a dynamic function need to record any return symbol, because we won't parse the text as it is inferred. The on exit handler still needs to do the same return processing to see if the rtn has been initialised. But again cannot depend on source structure because the return is inferred and also the error has to appear on the dynamic function declaration because there will be not '<-' to report the error on. Downside of having dynamic function infer arguments and returns, but worth it for the terseness.

Specified by:

enterDynamicFunctionDeclaration in interface EK9Listener

Overrides:

enterDynamicFunctionDeclaration in class ScopeStackConsistencyListener

Parameters:

ctx - the parse tree

exitDynamicFunctionDeclaration

public void exitDynamicFunctionDeclaration(EK9Parser.DynamicFunctionDeclarationContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.dynamicFunctionDeclaration().

The default implementation does nothing.

Specified by:

exitDynamicFunctionDeclaration in interface EK9Listener

Overrides:

exitDynamicFunctionDeclaration in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitFunctionDeclaration

public void exitFunctionDeclaration(EK9Parser.FunctionDeclarationContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.functionDeclaration().

The default implementation does nothing.

Specified by:

exitFunctionDeclaration in interface EK9Listener

Overrides:

exitFunctionDeclaration in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitMethodDeclaration

public void exitMethodDeclaration(EK9Parser.MethodDeclarationContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.methodDeclaration().

The default implementation does nothing.

Specified by:

exitMethodDeclaration in interface EK9Listener

Overrides:

exitMethodDeclaration in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitOperatorDeclaration

public void exitOperatorDeclaration(EK9Parser.OperatorDeclarationContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.operatorDeclaration().

The default implementation does nothing.

Specified by:

exitOperatorDeclaration in interface EK9Listener

Overrides:

exitOperatorDeclaration in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree

exitServiceOperationDeclaration

public void exitServiceOperationDeclaration(EK9Parser.ServiceOperationDeclarationContext ctx)

Description copied from class: EK9BaseListener

Exit a parse tree produced by EK9Parser.serviceOperationDeclaration().

The default implementation does nothing.

Specified by:

exitServiceOperationDeclaration in interface EK9Listener

Overrides:

exitServiceOperationDeclaration in class AbstractEK9PhaseListener

Parameters:

ctx - the parse tree