Class CallGraphCollector

java.lang.Object

org.ek9lang.antlr.EK9BaseListener

org.ek9lang.compiler.common.AbstractEK9PhaseListener

org.ek9lang.compiler.common.ScopeStackConsistencyListener

org.ek9lang.compiler.phase5.callgraph.CallGraphCollector

All Implemented Interfaces:

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

public final class CallGraphCollector
extends ScopeStackConsistencyListener

Collects call graph information during AST traversal in Phase 5 (PRE_IR_CHECKS).

This listener walks the AST and populates a shared CallGraph with:

• Callable registrations (functions, methods, programs, operators)
• Call edges (caller → callee relationships)
• Allocated types (for RTA filtering of polymorphic calls)
• Assertion locations (for E81007 and orphan detection)

Thread-safe: Uses a shared CallGraph with ConcurrentHashMap internals. Multiple instances can process different source files in parallel.

Field Summary

Fields inherited from class AbstractEK9PhaseListener

symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
CallGraphCollector(ParsedModule parsedModule, CallGraph callGraph)	Create a collector for call graph information.

Method Summary

Modifier and Type	Method	Description
void	enterAssertDoesNotThrowExpression(EK9Parser.AssertDoesNotThrowExpressionContext ctx)	Enter a parse tree produced by EK9Parser.assertDoesNotThrowExpression().
void	enterAssertStatement(EK9Parser.AssertStatementContext ctx)	Enter a parse tree produced by EK9Parser.assertStatement().
void	enterAssertThrowsExpression(EK9Parser.AssertThrowsExpressionContext ctx)	Enter a parse tree produced by EK9Parser.assertThrowsExpression().
void	enterCall(EK9Parser.CallContext ctx)	Enter a parse tree produced by EK9Parser.call().
void	enterDynamicClassDeclaration(EK9Parser.DynamicClassDeclarationContext ctx)	Enter a parse tree produced by EK9Parser.dynamicClassDeclaration().
void	enterDynamicFunctionDeclaration(EK9Parser.DynamicFunctionDeclarationContext ctx)	Enter a parse tree produced by EK9Parser.dynamicFunctionDeclaration().
void	enterExpression(EK9Parser.ExpressionContext ctx)	Enter a parse tree produced by EK9Parser.expression().
void	enterFunctionDeclaration(EK9Parser.FunctionDeclarationContext ctx)	Enter a parse tree produced by EK9Parser.functionDeclaration().
void	enterMethodDeclaration(EK9Parser.MethodDeclarationContext ctx)	Enter a parse tree produced by EK9Parser.methodDeclaration().
void	enterObjectAccessExpression(EK9Parser.ObjectAccessExpressionContext ctx)	Enter a parse tree produced by EK9Parser.objectAccessExpression().
void	enterOperationCall(EK9Parser.OperationCallContext ctx)	Enter a parse tree produced by EK9Parser.operationCall().
void	enterOperatorDeclaration(EK9Parser.OperatorDeclarationContext ctx)	Enter a parse tree produced by EK9Parser.operatorDeclaration().
void	enterServiceOperationDeclaration(EK9Parser.ServiceOperationDeclarationContext ctx)	Enter a parse tree produced by EK9Parser.serviceOperationDeclaration().
void	enterTryStatementExpression(EK9Parser.TryStatementExpressionContext ctx)	Enter a parse tree produced by EK9Parser.tryStatementExpression().
void	exitDynamicFunctionDeclaration(EK9Parser.DynamicFunctionDeclarationContext ctx)	Exit a parse tree produced by EK9Parser.dynamicFunctionDeclaration().
void	exitFunctionDeclaration(EK9Parser.FunctionDeclarationContext ctx)	Exit a parse tree produced by EK9Parser.functionDeclaration().
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().

Methods inherited from class ScopeStackConsistencyListener

enterApplicationDeclaration, enterBlock, enterCatchStatementExpression, enterClassDeclaration, enterComponentDeclaration, enterDynamicVariableCapture, enterFinallyStatementExpression, enterForStatementExpression, enterIfStatement, enterInstructionBlock, enterPackageBlock, enterRecordDeclaration, enterReturningParam, enterServiceDeclaration, enterSingleStatementBlock, enterSwitchStatementExpression, enterTernaryPart, enterTextBodyDeclaration, enterTextDeclaration, enterTraitDeclaration, enterTypeDeclaration, enterWhileStatementExpression

Methods inherited from class AbstractEK9PhaseListener

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

Methods inherited from class EK9BaseListener

enterAccessModifier, enterAggregateParts, enterAggregateProperty, enterAllowingOnly, enterApplicationBlock, enterArgumentParam, enterAspectDeclaration, enterAssignmentExpression, enterAssignmentStatement, enterBinaryLit, enterBinaryLiteral, enterBlockStatement, enterBooleanLit, enterBooleanLiteral, enterCaseExpression, enterCaseStatement, enterCharacterLit, enterCharacterLiteral, enterClassBlock, enterCloseStatement, 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, enterExpressionParam, enterExtendDeclaration, enterExtendPreamble, enterFloatingPointLit, enterFloatingPointLiteral, enterForLoop, enterForRange, enterFunctionBlock, enterGuardExpression, enterHttpAccess, enterHttpVerb, enterIdentifier, enterIdentifierReference, enterIfControlBlock, enterInitValuePair, enterIntegerLit, enterIntegerLiteral, enterList, enterMillisecondLit, enterMillisecondLiteral, enterModuleBlock, enterModuleDeclaration, enterModuleSegment, enterMoneyLit, enterMoneyLiteral, enterObjectAccess, enterObjectAccessStart, enterObjectAccessType, enterOperationDetails, enterOperator, enterParameterisedArgs, enterParameterisedDetail, enterParameterisedParams, enterParameterisedType, enterParamExpression, enterPathLit, enterPathLiteral, enterPipelinePart, enterPreFlowAndControl, enterPreFlowStatement, enterPrimary, enterPrimaryReference, enterProgramBlock, enterRange, enterRecordBlock, enterReferencesBlock, enterRegExLit, enterRegisterStatement, enterRegularExpressionLiteral, enterRequireStatement, enterReservedWord, 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, enterVariableOnlyDeclaration, enterVersionNumberLit, enterVersionNumberLiteral, enterWebVariableCorrelation, exitAccessModifier, exitAggregateParts, exitAggregateProperty, exitAllowingOnly, exitApplicationBlock, exitArgumentParam, exitAspectDeclaration, exitAssertDoesNotThrowExpression, exitAssertStatement, exitAssertThrowsExpression, exitAssignmentExpression, exitAssignmentStatement, exitBinaryLit, exitBinaryLiteral, exitBlockStatement, exitBooleanLit, exitBooleanLiteral, exitCall, exitCaseExpression, exitCaseStatement, exitCharacterLit, exitCharacterLiteral, exitClassBlock, exitCloseStatement, 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, exitIdentifierReference, exitIfControlBlock, exitInitValuePair, exitIntegerLit, exitIntegerLiteral, exitList, exitMillisecondLit, exitMillisecondLiteral, exitModuleBlock, exitModuleSegment, 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, exitRequireStatement, exitReservedWord, 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 Object

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

Constructor Details

CallGraphCollector

public CallGraphCollector(ParsedModule parsedModule,
 CallGraph callGraph)

Create a collector for call graph information.

Parameters:

parsedModule - The module being processed

callGraph - Shared call graph (thread-safe)

Method Details

enterMethodDeclaration

public void enterMethodDeclaration(EK9Parser.MethodDeclarationContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterMethodDeclaration in interface EK9Listener

Overrides:

enterMethodDeclaration in class ScopeStackConsistencyListener

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

enterFunctionDeclaration

public void enterFunctionDeclaration(EK9Parser.FunctionDeclarationContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterFunctionDeclaration in interface EK9Listener

Overrides:

enterFunctionDeclaration in class ScopeStackConsistencyListener

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

enterOperatorDeclaration

public void enterOperatorDeclaration(EK9Parser.OperatorDeclarationContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterOperatorDeclaration in interface EK9Listener

Overrides:

enterOperatorDeclaration in class ScopeStackConsistencyListener

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

enterServiceOperationDeclaration

public void enterServiceOperationDeclaration(EK9Parser.ServiceOperationDeclarationContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterServiceOperationDeclaration in interface EK9Listener

Overrides:

enterServiceOperationDeclaration in class ScopeStackConsistencyListener

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

enterDynamicFunctionDeclaration

public void enterDynamicFunctionDeclaration(EK9Parser.DynamicFunctionDeclarationContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

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

enterDynamicClassDeclaration

public void enterDynamicClassDeclaration(EK9Parser.DynamicClassDeclarationContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterDynamicClassDeclaration in interface EK9Listener

Overrides:

enterDynamicClassDeclaration in class ScopeStackConsistencyListener

Parameters:

ctx - the parse tree

enterCall

public void enterCall(EK9Parser.CallContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterCall in interface EK9Listener

Overrides:

enterCall in class EK9BaseListener

Parameters:

ctx - the parse tree

enterOperationCall

public void enterOperationCall(EK9Parser.OperationCallContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterOperationCall in interface EK9Listener

Overrides:

enterOperationCall in class EK9BaseListener

Parameters:

ctx - the parse tree

enterObjectAccessExpression

public void enterObjectAccessExpression(EK9Parser.ObjectAccessExpressionContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterObjectAccessExpression in interface EK9Listener

Overrides:

enterObjectAccessExpression in class EK9BaseListener

Parameters:

ctx - the parse tree

enterExpression

public void enterExpression(EK9Parser.ExpressionContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterExpression in interface EK9Listener

Overrides:

enterExpression in class EK9BaseListener

Parameters:

ctx - the parse tree

enterTryStatementExpression

public void enterTryStatementExpression(EK9Parser.TryStatementExpressionContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterTryStatementExpression in interface EK9Listener

Overrides:

enterTryStatementExpression in class ScopeStackConsistencyListener

Parameters:

ctx - the parse tree

enterAssertStatement

public void enterAssertStatement(EK9Parser.AssertStatementContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterAssertStatement in interface EK9Listener

Overrides:

enterAssertStatement in class EK9BaseListener

Parameters:

ctx - the parse tree

enterAssertThrowsExpression

public void enterAssertThrowsExpression(EK9Parser.AssertThrowsExpressionContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterAssertThrowsExpression in interface EK9Listener

Overrides:

enterAssertThrowsExpression in class EK9BaseListener

Parameters:

ctx - the parse tree

enterAssertDoesNotThrowExpression

public void enterAssertDoesNotThrowExpression(EK9Parser.AssertDoesNotThrowExpressionContext ctx)

Description copied from class: EK9BaseListener

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

The default implementation does nothing.

Specified by:

enterAssertDoesNotThrowExpression in interface EK9Listener

Overrides:

enterAssertDoesNotThrowExpression in class EK9BaseListener

Parameters:

ctx - the parse tree