Uses of Package
org.ek9lang.compiler.symbols
Packages that use org.ek9lang.compiler.symbols
Package
Description
B - For the EK9 compiler itself.
JVM Bytecode Generation - Transforms EK9 IR into JVM bytecode.
Common parts of processing that can be reused across various phases.
The directives are really aimed at helping the creation of the EK9 language, but they
maybe very useful in the early stages of adoption of EK9 (should there be any).
IR Instruction Classes - The instruction set for EK9 intermediate representation.
IR Support Utilities - Helper classes for IR generation and processing.
E - Initial Symbol definition by traversing the 'ANTLR' - 'AST'.
F - Resolution of Explicitly Defined Type Symbols - at this point phase3 processing should have defined
most of the explicitly defined symbols, so they should be resolvable.
G - Full Symbol Resolution can now take place.
H - Generic/Parameterised types can have their methods checked when used in specific contexts.
I - PRE Intermediate Representation generation checks.
Call graph infrastructure for EK9 compiler static analysis.
Data model for slice-2 deadlock detection analysis results.
K - Intermediate Representation Generation.
Synthetic operator and method generation for EK9.
Support classes for synthetic operator IR generation.
M - Intermediate Representation Analysis and Optimization.
Used primarily to hold structures that are related to searching for symbols.
Contains critical general components used in the
Ek9Compiler listeners.THE reading of EK9 literals - one class per question, each held as an instance by the class that asks.
THE reading of a statement that stores the object in one of its OWN properties -
me: this,
next := this, this.owner :=? this - a property of the object's own type that refers back to it
(StoredProperty).THE classification of stream stages by what they need from the stream - use these classes, never a list of stage
tokens of your own.
This is the main source of EK9 Symbols used within the compiler.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compilerClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.Used to cache built in types as they are so frequently used.Concept of a scope where functions, methods and variables can be declared.Represents the concept of what functionality a Symbol should have.This is a very special scope, because the same 'module name' can be defined in multiple files.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.Program-wide state for the per-phase symbol-resolution memo.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.backend.jvmClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.commonClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.Used to cache built in types as they are so frequently used.Interface for an aggregate, typically a class or something like that.Used by functions and methods as they may return a symbol (variable).Concept of a scope where functions, methods and variables can be declared.The main type of scope in use a block is just like a set of instruction inside an if block or a while block whereas a non-block is as the whole class/function/component level.For symbols that are both a pure symbol but can also define a scope.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.This is a very special scope, because the same 'module name' can be defined in multiple files.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.Typically, used on aggregates because we might use a AggregateSymbol.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.directivesClassDescriptionRepresents the concept of what functionality a Symbol should have.Typically used on symbols; so we know their broad use and type.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.ir.instructions
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.ir.support
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase1ClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.Used to cache built in types as they are so frequently used.Scope for functions that are part of a module.Concept of a scope where functions, methods and variables can be declared.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.This is a very special scope, because the same 'module name' can be defined in multiple files.Models a variable.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase2ClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.An aggregate, but one that can have zero or more traits (like interfaces).Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Scope for callable methods (operations) that are part of a Service.Typically, used on aggregates because we might use a AggregateSymbol.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase3ClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.An aggregate, but one that can have zero or more traits (like interfaces).Just re-uses the bulk of method symbol for when we want to make a symbol that is a call to an actual method.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Interface to abstract FunctionSymbol away as concrete implementation.Concept of a scope where functions, methods and variables can be declared.For symbols that are both a pure symbol but can also define a scope.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.Represents a symbol that also has a scope.Just re-uses the bulk of method symbol.Typically, used on aggregates because we might use a AggregateSymbol.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase4ClassDescriptionUsed to cache built in types as they are so frequently used.Interface for an aggregate, typically a class or something like that.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase5ClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.A serializable model of a constrained-type constraint, captured in phase 3 and stored on the constrained
AggregateSymbolso later phases (and module-cache reloads) can evaluate it without the original parse tree.Used to cache built in types as they are so frequently used.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Interface to abstract FunctionSymbol away as concrete implementation.Concept of a scope where functions, methods and variables can be declared.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Holds the data from a 'register' statement within an application block.Represents a symbol that also has a scope.Models a variable. -
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase5.callgraph
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase5.constructionClassDescriptionInterface for an aggregate, typically a class or something like that.Represents the concept of what functionality a Symbol should have.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase5.flowClassDescriptionUsed to cache built in types as they are so frequently used.Scope for functions that are part of a module.For symbols that are both a pure symbol but can also define a scope.Represents the concept of what functionality a Symbol should have.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase5.lockanalysis
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase7ClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.An aggregate, but one that can have zero or more traits (like interfaces).Used to cache built in types as they are so frequently used.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Concept of a scope where functions, methods and variables can be declared.For symbols that are both a pure symbol but can also define a scope.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.Typically, used on aggregates because we might use a AggregateSymbol.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase7.callsClassDescriptionUsed to cache built in types as they are so frequently used.For symbols that are both a pure symbol but can also define a scope.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Represents a symbol that also has a scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase7.generation
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase7.generatorClassDescriptionJust re-uses the bulk of method symbol for when we want to make a symbol that is a call to an actual method.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Interface for dynamic functions and classes so that dynamic variables can be captured.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Holds the data from a 'register' statement within an application block.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase7.supportClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.An aggregate, but one that can have zero or more traits (like interfaces).Used to cache built in types as they are so frequently used.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Interface for dynamic functions and classes so that dynamic variables can be captured.Interface to abstract FunctionSymbol away as concrete implementation.Concept of a scope where functions, methods and variables can be declared.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase7.synthesisClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.Used to cache built in types as they are so frequently used.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Interface for dynamic functions and classes so that dynamic variables can be captured.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Typically, used on aggregates because we might use a AggregateSymbol.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase7.synthesis.support
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.phase9ClassDescriptionRepresents the concept of what functionality a Symbol should have.Represents a symbol that also has a scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.searchClassDescriptionInterface for an aggregate, typically a class or something like that.Concept of a scope where functions, methods and variables can be declared.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Typically used on symbols; so we know their broad use and type.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.supportClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.An aggregate, but one that can have zero or more traits (like interfaces).Special type that is super of Aggregate and super of Function (if they don't have supers).EK9 assertDoesNotThrow expression - validates that an expression does not throw.EK9 assertPanic expression - asserts that the wrapped expression fires an
org.ek9.lang::Panic.EK9 assertThrows expression - captures an expected exception type and expression.Just re-uses the bulk of method symbol for when we want to make a symbol that is a call to an actual method.Used to actually hold the captured symbols.A very simple type that holds a single distinct value.A serializable model of a constrained-type constraint, captured in phase 3 and stored on the constrainedAggregateSymbolso later phases (and module-cache reloads) can evaluate it without the original parse tree.Used to cache built in types as they are so frequently used.While we don't add these in the scoped structures when compiling.EK9 'for' type symbol - we need a scope because we declare a new variable as the loop variable.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Interface for dynamic functions and classes so that dynamic variables can be captured.Interface to abstract FunctionSymbol away as concrete implementation.Concept of a scope where functions, methods and variables can be declared.For symbols that are both a pure symbol but can also define a scope.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.This is a very special scope, because the same 'module name' can be defined in multiple files.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.Represents a symbol that also has a scope.Scope for callable methods (operations) that are part of a Service.Just re-uses the bulk of method symbol.Intended to model the pipeline flow in a streaming of cat or for loop though | and map etc.EK9 switch statement - this can effectively return a value if it is configured with returning part.A bit of a beast.Typically, used on aggregates because we might use a AggregateSymbol.EK9 try statement - this can effectively return a value if it is configured with returning part.Models a variable.EK9 'while' or 'do/while' type symbol - we need a scope because we can declare new variables as part of the pre-flow semantics. -
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.closeablesClassDescriptionInterface for an aggregate, typically a class or something like that.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.conceptualClassDescriptionInterface for an aggregate, typically a class or something like that.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.copyClassDescriptionInterface for an aggregate, typically a class or something like that.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.inputvarietyClassDescriptionA serializable model of a constrained-type constraint, captured in phase 3 and stored on the constrained
AggregateSymbolso later phases (and module-cache reloads) can evaluate it without the original parse tree.Represents the concept of what functionality a Symbol should have. -
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.literals
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.operatorsClassDescriptionScope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Used by functions and methods as they may return a symbol (variable).Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.retentionClassDescriptionRepresents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.Represents a symbol that also has a scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.samenessClassDescriptionInterface for an aggregate, typically a class or something like that.Represents the concept of what functionality a Symbol should have.Represents some type of method that exists on an aggregate type scope.
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.selfreference
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.sharing
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.support.streams
-
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.symbolicClassDescriptionA serializable model of a constrained-type constraint, captured in phase 3 and stored on the constrained
AggregateSymbolso later phases (and module-cache reloads) can evaluate it without the original parse tree.Scope for functions that are part of a module.Represents the concept of what functionality a Symbol should have. -
Classes in org.ek9lang.compiler.symbols used by org.ek9lang.compiler.symbolsClassDescriptionThis is typically a 'class' or an interface type where it can include the definitions of new properties.An aggregate, but one that can have zero or more traits (like interfaces).Special type that is super of Aggregate and super of Function (if they don't have supers).EK9 assertDoesNotThrow expression - validates that an expression does not throw.EK9 assertPanic expression - asserts that the wrapped expression fires an
org.ek9.lang::Panic.EK9 assertThrows expression - captures an expected exception type and expression.Holds one thing an application-block statement (a registration or a block statement) starts running: a call it makes - a registration's constructor, a call in its arguments, an aspect's constructor - or a dynamic function or class it creates.Just re-uses the bulk of method symbol for when we want to make a symbol that is a call to an actual method.Used to actually hold the captured symbols.Just focuses on the ability to possible capture variables from an enclosing scope.A very simple type that holds a single distinct value.A serializable model of a constrained-type constraint, captured in phase 3 and stored on the constrainedAggregateSymbolso later phases (and module-cache reloads) can evaluate it without the original parse tree.EK9 switch/try control type symbol - this can effectively return a value if it is configured with returning part.While we don't add these in the scoped structures when compiling.EK9 'for' type symbol - we need a scope because we declare a new variable as the loop variable.Scope for functions that are part of a module.Interface for an aggregate, typically a class or something like that.Really a Marker interface for generic classes and generic functions.Interface for dynamic functions and classes so that dynamic variables can be captured.Interface to abstract FunctionSymbol away as concrete implementation.Used by functions and methods as they may return a symbol (variable).Concept of a scope where functions, methods and variables can be declared.The main type of scope in use a block is just like a set of instruction inside an if block or a while block whereas a non-block is as the whole class/function/component level.For symbols that are both a pure symbol but can also define a scope.Represents the concept of what functionality a Symbol should have.Defines helpful and require methods to assist in the definition of the nature of a symbol.Used in various ways to hold a token from the parse, so we can reference back to source code.Used in many ways via composition.Represents some type of method that exists on an aggregate type scope.This is a very special scope, because the same 'module name' can be defined in multiple files.While we don't add these in the scoped structures when compiling.Added as a common symbol type for both Functions and Aggregates that could possibly be generic in nature and also be a parameterised type.Holds the data from a 'register' statement within an application block.Represents a symbol that also has a scope.Scope for callable methods (operations) that are part of a Service.Used when duplicate symbols are found, where we need to add a placeholder.Just re-uses the bulk of method symbol.Intended to model the pipeline flow in a streaming of cat or for loop though | and map etc.EK9 switch statement - this can effectively return a value if it is configured with returning part.A bit of a beast.Typically used on symbols; so we know their broad use and type.Typically, used on aggregates because we might use a AggregateSymbol.We need to support simple things like classes which are unique per symbol table Or the fully qualified class names like 'com.some.A and com.other.A' so they won't collide.EK9 try statement - this can effectively return a value if it is configured with returning part.Models a variable.EK9 'while' or 'do/while' type symbol - we need a scope because we can declare new variables as part of the pre-flow semantics.