Uses of Interface
org.ek9lang.compiler.common.SemanticErrorReporter
Packages that use SemanticErrorReporter
Package
Description
Common parts of processing that can be reused across various phases.
G - Full Symbol Resolution can now take place.
Contains critical general components used in the
Ek9Compiler listeners.
This is the main source of EK9 Symbols used within the compiler.
-
Uses of SemanticErrorReporter in org.ek9lang.compiler.common
Classes in org.ek9lang.compiler.common that implement SemanticErrorReporterModifier and TypeClassDescriptionclassWe need an error listener for the lexing parsing and also our own tree visiting.Fields in org.ek9lang.compiler.common declared as SemanticErrorReporterMethods in org.ek9lang.compiler.common with parameters of type SemanticErrorReporterModifier and TypeMethodDescriptionvoidSymbolsAndScopes.ensureParameterisedTypeExpanded(Object typeOrScope, SemanticErrorReporter errorListener) THE pre-step of every phase-3 member resolution on a type: whentypeOrScopeis a PARAMETERISED type, resolve it here so its methods and operators are expanded - FULL_RESOLUTION cannot wait for the generic's own definition to be walked, because it may be referenced first.booleanDevSourceOnlyOrError.permitted(boolean devSource, SemanticErrorReporter errorListener, IToken errorLocation, String construct) Test that the construct is in a dev source, reporting it if not.SymbolsAndScopes.resolveOrDefine(PossibleGenericSymbol parameterisedSymbol, SemanticErrorReporter errorListener) Resolve or define a parameterised type here.Constructors in org.ek9lang.compiler.common with parameters of type SemanticErrorReporterModifierConstructorDescriptionprotectedRuleSupport(SymbolsAndScopes symbolsAndScopes, SemanticErrorReporter errorListener) protectedTypedSymbolAccess(SymbolsAndScopes symbolsAndScopes, SemanticErrorReporter errorListener) Constructor to provided typed access. -
Uses of SemanticErrorReporter in org.ek9lang.compiler.phase3
Methods in org.ek9lang.compiler.phase3 with parameters of type SemanticErrorReporterModifier and TypeMethodDescription(package private) voidLiteralTargetType.elementFitsOrError(org.antlr.v4.runtime.ParserRuleContext elementCtx, ISymbol element, ISymbol declaredType, SemanticErrorReporter errorListener) An element of a targeted literal must be assignable to the declared element (or key/value) type - exactly the test a single assignment applies.(package private) voidMethodAmbiguousReport.ofOperator(SemanticErrorReporter errorListener, IToken operatorUse, Object search, String symbolFriendlyName, String location, MethodSymbolSearchResult results) An operator used on a value:operator '<search>' on '<symbol>', type first established <location>, resolved: <candidates>:.(package private) voidMethodAmbiguousReport.ofSearch(SemanticErrorReporter errorListener, IToken errorLocation, String msgStart, Object search, MethodSymbolSearchResult results) A method (or operator) search on a type:<msgStart>'<search>' resolved: <candidates>.(package private) voidMethodAmbiguousReport.ofStage(SemanticErrorReporter errorListener, IToken errorLocation, String msgStart, MethodSymbolSearchResult results) A stream stage that names no search of its own:<msgStart> resolved: <candidates>.Constructors in org.ek9lang.compiler.phase3 with parameters of type SemanticErrorReporterModifierConstructorDescription(package private)VoidTypeOrError(SymbolsAndScopes symbolsAndScopes, SemanticErrorReporter errorListener) -
Uses of SemanticErrorReporter in org.ek9lang.compiler.support
Constructors in org.ek9lang.compiler.support with parameters of type SemanticErrorReporterModifierConstructorDescriptionCheckForDuplicateOperationsOnGeneric(SemanticErrorReporter errorListener) Create a new operations checker for parameterised aggregates.NoDuplicateOperationsOrError(SemanticErrorReporter errorListener) Create a new operations checker an aggregates.TypeSubstitution(Function<PossibleGenericSymbol, ResolvedOrDefineResult> resolveOrDefine, SemanticErrorReporter errorListener) Construct a type substitutor. -
Uses of SemanticErrorReporter in org.ek9lang.compiler.symbols
Methods in org.ek9lang.compiler.symbols with parameters of type SemanticErrorReporterModifier and TypeMethodDescriptionvoidModuleScope.addGenericInGenericReference(PossibleGenericSymbol genericSymbol, PossibleGenericSymbol reference, SemanticErrorReporter errorListener) Record that a generic type or function's body makes, by INFERENCE in FULL_RESOLUTION, a parameterised type that is still conceptual in the generic's own type parameters (a generic-in-generic reference), and bring it through for every parameterisation of the generic already substituted - seeTypeSubstitution.substituteLateReference(PossibleGenericSymbol, PossibleGenericSymbol).ModuleScope.resolveOrDefine(PossibleGenericSymbol parameterisedSymbol, SemanticErrorReporter errorListener) Used when resolving or needing to define a parameterised type, like 'List of String' for example.