Uses of Class
org.ek9lang.antlr.EK9Parser.OperationDetailsContext
Packages that use EK9Parser.OperationDetailsContext
Package
Description
Common parts of processing that can be reused across various phases.
E - Initial Symbol definition by traversing the 'ANTLR' - 'AST'.
I - PRE Intermediate Representation generation checks.
K - Intermediate Representation Generation.
-
Uses of EK9Parser.OperationDetailsContext in org.ek9lang.antlr
Methods in org.ek9lang.antlr that return EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionEK9Parser.FunctionDeclarationContext.operationDetails()EK9Parser.MethodDeclarationContext.operationDetails()EK9Parser.operationDetails()EK9Parser.OperatorDeclarationContext.operationDetails()EK9Parser.ServiceOperationDeclarationContext.operationDetails()Methods in org.ek9lang.antlr with parameters of type EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionvoidEK9BaseListener.enterOperationDetails(EK9Parser.OperationDetailsContext ctx) Enter a parse tree produced byEK9Parser.operationDetails().voidEK9Listener.enterOperationDetails(EK9Parser.OperationDetailsContext ctx) Enter a parse tree produced byEK9Parser.operationDetails().voidEK9BaseListener.exitOperationDetails(EK9Parser.OperationDetailsContext ctx) Exit a parse tree produced byEK9Parser.operationDetails().voidEK9Listener.exitOperationDetails(EK9Parser.OperationDetailsContext ctx) Exit a parse tree produced byEK9Parser.operationDetails().EK9BaseVisitor.visitOperationDetails(EK9Parser.OperationDetailsContext ctx) Visit a parse tree produced byEK9Parser.operationDetails().EK9Visitor.visitOperationDetails(EK9Parser.OperationDetailsContext ctx) Visit a parse tree produced byEK9Parser.operationDetails(). -
Uses of EK9Parser.OperationDetailsContext in org.ek9lang.compiler.common
Classes in org.ek9lang.compiler.common that implement interfaces with type arguments of type EK9Parser.OperationDetailsContextModifier and TypeClassDescriptionclassChecks if the body of a method/operator is appropriate.classChecks in the context to see if a returning variableDeclaration or a body is defined.classConstructs like methods and functions may or may not always return a value.classCheck trait specifics on constructors/methods/operators, Allowing missing body but marking as abstract.final classTHE test that an operation's returning variable is initialised in its declaration (<- rtn as Integer: 0), which on its own is an implementation: such an operation may have no statements at all.classCheck trait specifics on methods/operators.Methods in org.ek9lang.compiler.common with parameters of type EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionvoidAppropriateBodyOrError.accept(MethodSymbol methodSymbol, EK9Parser.OperationDetailsContext ctx) voidProcessSyntheticReturn.accept(EK9Parser.OperationDetailsContext ctx, IMayReturnSymbol symbol) voidProcessTraitMethodOrError.accept(MethodSymbol method, EK9Parser.OperationDetailsContext ctx) voidTraitMethodAcceptableOrError.accept(MethodSymbol method, EK9Parser.OperationDetailsContext ctx) booleanProcessingBodyPresent.test(EK9Parser.OperationDetailsContext ctx) booleanReturnIsTheBody.test(EK9Parser.OperationDetailsContext ctx) -
Uses of EK9Parser.OperationDetailsContext in org.ek9lang.compiler.phase1
Classes in org.ek9lang.compiler.phase1 that implement interfaces with type arguments of type EK9Parser.OperationDetailsContextModifier and TypeClassDescription(package private) final classChecks if the body of a function is appropriate.Methods in org.ek9lang.compiler.phase1 with parameters of type EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionvoidAppropriateFunctionBodyOrError.accept(FunctionSymbol functionSymbol, EK9Parser.OperationDetailsContext ctx) (package private) voidMultipleArrowOrError.checkOperationDetails(EK9Parser.OperationDetailsContext ctx) Check operationDetails for multiple argument or return arrows.voidDefinitionListener.exitOperationDetails(EK9Parser.OperationDetailsContext ctx) There is a returning parameter, so the instruction block must terminate normally. -
Uses of EK9Parser.OperationDetailsContext in org.ek9lang.compiler.phase5
Classes in org.ek9lang.compiler.phase5 that implement interfaces with type arguments of type EK9Parser.OperationDetailsContextModifier and TypeClassDescription(package private) final classChecks if return variables are initialised.(package private) final classEnforces guard-first return ordering (E08055; docs/language-design/EK9_REQUIRE_RETURN_ORDERING_SPEC.md).Methods in org.ek9lang.compiler.phase5 with parameters of type EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionvoidReturningVariableOrError.accept(IScope mainScope, EK9Parser.OperationDetailsContext ctx) voidReturnInitialisedBeforeRequireOrError.accept(IScope mainScope, EK9Parser.OperationDetailsContext ctx) Constructor parameters in org.ek9lang.compiler.phase5 with type arguments of type EK9Parser.OperationDetailsContextModifierConstructorDescription(package private)CallableReturnsInitialisedOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener, Function<C, EK9Parser.OperationDetailsContext> operationDetailsOf, Class<? extends ISymbol> expectedSymbolKind) -
Uses of EK9Parser.OperationDetailsContext in org.ek9lang.compiler.phase7
Methods in org.ek9lang.compiler.phase7 with parameters of type EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionprotected voidAbstractDfnGenerator.processAsMethodOrOperator(OperationInstr operation, EK9Parser.OperationDetailsContext ctx) protected voidAbstractDfnGenerator.processAsMethodOrOperator(OperationInstr operation, EK9Parser.OperationDetailsContext ctx, List<IRInstr> beforeInstanceInit) AbstractDfnGenerator.processAsMethodOrOperator(OperationInstr, EK9Parser.OperationDetailsContext), withbeforeInstanceInit- an explicit capture constructor's capture stores (CaptureStores) - just after the constructor's construction call, before its_i_init. -
Uses of EK9Parser.OperationDetailsContext in org.ek9lang.compiler.phase7.generator
Classes in org.ek9lang.compiler.phase7.generator that implement interfaces with type arguments of type EK9Parser.OperationDetailsContextModifier and TypeClassDescriptionfinal classDeals with the generation of the IR for OperationDetails.Methods in org.ek9lang.compiler.phase7.generator with parameters of type EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionvoidOperationDfnGenerator.accept(OperationInstr operation, EK9Parser.OperationDetailsContext ctx) voidOperationDfnGenerator.accept(OperationInstr operation, EK9Parser.OperationDetailsContext ctx, List<IRInstr> beforeInstanceInit) OperationDfnGenerator.accept(OperationInstr, EK9Parser.OperationDetailsContext), withbeforeInstanceInit- THE capture stores of a dynamic class's explicit capture constructor (CaptureStores,support/IsCaptureConstructor) - placed while the body is built: just after the constructor's super(...) call, implicit or explicit, or first when it has none or delegates with this(...) - so before every_i_initit runs and outside the partial-construction region (D10).voidOperationDfnGenerator.acceptInMethodFrame(OperationInstr operation, EK9Parser.OperationDetailsContext ctx) THE operation in its own method frame (IR tidy W3.4, OPS-17): the frame named after the operation, with the debug info of its symbol's token, aroundOperationDfnGenerator.accept(OperationInstr, EK9Parser.OperationDetailsContext).voidOperationDfnGenerator.acceptInMethodFrame(OperationInstr operation, EK9Parser.OperationDetailsContext ctx, List<IRInstr> beforeInstanceInit) OperationDfnGenerator.acceptInMethodFrame(OperationInstr, EK9Parser.OperationDetailsContext)for a dynamic class's explicit capture constructor, with its capture stores (OperationDfnGenerator.accept(OperationInstr, EK9Parser.OperationDetailsContext, List)). -
Uses of EK9Parser.OperationDetailsContext in org.ek9lang.compiler.phase7.support
Methods in org.ek9lang.compiler.phase7.support that return EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionOperationDetailsLocator.Located.details()Returns the value of thedetailsrecord component.Methods in org.ek9lang.compiler.phase7.support that return types with arguments of type EK9Parser.OperationDetailsContextModifier and TypeMethodDescriptionBodiesInAggregateParts.bodyOf(MethodSymbol method) BodiesInServiceDeclaration.bodyOf(MethodSymbol method) ClonedBodiesInAggregateParts.bodyOf(MethodSymbol method) OperationBodyLocator.bodyOf(MethodSymbol method) The written body ofmethod, or empty when it has none to generate from.Constructors in org.ek9lang.compiler.phase7.support with parameters of type EK9Parser.OperationDetailsContextModifierConstructorDescription(package private)Located(EK9Parser.OperationDetailsContext details) Creates an instance of aLocatedrecord class.