Class IRDefinitionCreator

java.lang.Object

org.ek9lang.compiler.phase7.IRDefinitionCreator

public final class IRDefinitionCreator
extends Object

Deals with visiting all parts of the EK9 structure in a module (compilable source). These parts are then added to the appropriate structures (in an IR graph) and then at the top level (aggregate for example) are added to the IRModule.

The concept is to move away from the EK9 grammar, syntax and semantics. But does not move too far towards any concrete final output.

So for example, everything in the IR will become some form of 'struct with operations'. This includes all types of EK9 aggregates and even EK9 functions (as they can hold state).

Constants and actual EK9 functions will just be 'instances' of these 'struct with operations'.

Another example is 'for loops', 'while loops' and 'do while loops'. These will all be defined in terms of executable blocks, with a 'condition' (that will appear in different locations) and a 'Marker' for the start and end. So, here this is moving well towards something that can be implemented in some form of machine/byte code.

Guards will also be broken down into 'basic blocks' with labels and a condition.

Constructor Summary

Constructors

Constructor	Description
IRDefinitionCreator(SharedThreadContext<CompilableProgram> compilableProgramAccess, CompilableSource source, IRModule irModule, CompilerFlags compilerFlags)

Method Summary

Modifier and Type	Method	Description
(package private) void	create(EK9Parser.CompilationUnitContext compilationUnitContext)	This is the main entry point into creating the IR fo a particular source file via its compilation unit context.
void	processAggregateParts(EK9Parser.AggregatePartsContext ctx)
void	processMethodDeclaration(EK9Parser.MethodDeclarationContext ctx)
void	processOperationDetails(IRGenerationContext context, EK9Parser.OperationDetailsContext ctx)
void	processOperatorDeclaration(EK9Parser.OperatorDeclarationContext ctx)
void	processProgramDeclaration(EK9Parser.MethodDeclarationContext ctx)	Deals with method declarations and the specific case of EK9 programs.
void	processServiceOperationDeclaration(EK9Parser.ServiceOperationDeclarationContext ctx)
void	processTextBodyDeclaration(EK9Parser.TextBodyDeclarationContext ctx, IRGenerationContext context)

Methods inherited from class java.lang.Object

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

Constructor Details

IRDefinitionCreator

public IRDefinitionCreator(SharedThreadContext<CompilableProgram> compilableProgramAccess,
 CompilableSource source,
 IRModule irModule,
 CompilerFlags compilerFlags)

Method Details

create

void create(EK9Parser.CompilationUnitContext compilationUnitContext)

This is the main entry point into creating the IR fo a particular source file via its compilation unit context.

Parameters:

compilationUnitContext - The main entry point in via the ANTLR grammar.

processProgramDeclaration

public void processProgramDeclaration(EK9Parser.MethodDeclarationContext ctx)

Deals with method declarations and the specific case of EK9 programs.

Parameters:

ctx - the parse tree context that defines the method details.

processMethodDeclaration

public void processMethodDeclaration(EK9Parser.MethodDeclarationContext ctx)

processOperatorDeclaration

public void processOperatorDeclaration(EK9Parser.OperatorDeclarationContext ctx)

processTextBodyDeclaration

public void processTextBodyDeclaration(EK9Parser.TextBodyDeclarationContext ctx,
 IRGenerationContext context)

processServiceOperationDeclaration

public void processServiceOperationDeclaration(EK9Parser.ServiceOperationDeclarationContext ctx)

processOperationDetails

public void processOperationDetails(IRGenerationContext context,
 EK9Parser.OperationDetailsContext ctx)

processAggregateParts

public void processAggregateParts(EK9Parser.AggregatePartsContext ctx)