Package org.ek9lang.compiler.repair

package org.ek9lang.compiler.repair

THE automatic source repairs - one engine for every door (ek9 -ff, ek9_format, the MCP editors, ek9_write_file, ek9_edit_file, ek9_compile). Start at SourceRepairs: its text layer needs only a parse, its diagnostic layer a compile's diagnostics. A repair applies only where its shape has exactly one reading and the literal reading does not compile; anything needing a choice is a suggestion. SyntaxProbe is THE parse-only check the repairs (and the MCP pre-flights) share.

Lives in compiler-main because the command line cannot see compiler-services, and both can see this.

Related Packages

Package	Description
org.ek9lang.compiler	B - For the EK9 compiler itself.

Class	Description
ArgumentLabelling	THE labelling of a call's positional arguments from the parameter names the compiler resolved - use this, do not split an argument list by hand anywhere else.
ArgumentLabelling.Result	The corrected text plus one note per call labelled; notes empty means nothing moved.
ConcatenationInterpolation	THE E11068 repair - a String built from three or more + parts - for every editing tool.
ConcatenationInterpolation.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.
DefaultOperatorLast	E01086 - a bare default operator with something after it in the body.
DefinesPlacement	A defines <block> line (class, function, program, ...) at any indent but two.
DirectiveAfterDeclaration	Main() @Test - an annotation written after the declaration it marks, Java-and-Kotlin style.
DoubleQuotedInterpolation	THE E07901 repair - a double-quoted String holding ${ - for every editing tool.
DoubleQuotedInterpolation.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.
ForeignSyntax	Spellings carried over from other languages that EK9 writes one way and parses no other way.
LayoutRepairs	THE layout repairs - the faults in how a source is laid out rather than what it says, each with exactly one reading and none able to change which code runs.
LayoutRepairs.Result	The repaired text and one note per repair; notes empty means nothing changed.
OperatorDeclarationForm	An operator declaration written in another order than the grammar's [override|default] operator <symbol> [as] [pure] [abstract] (operatorDeclaration).
OperatorPurityCorrection	THE correction of a custom operator's as pure in source text the Oracle is about to write - use this, do not re-derive the rule from a list of symbols.
OperatorPurityCorrection.Result	The corrected text plus one note per line changed; notes empty means nothing moved.
OperatorSide	THE move of a prefix or suffix operator to its own side of a simple operand - names$ to $names, ?stored to stored? - for every editing tool.
OperatorSide.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.
ParameterDeclarations	Parameters declared the way other languages declare them, rewritten to EK9's one-per-line form.
ParameterisedConstructionForm	THE E06210 repair for a generic constructed with its parentheses AFTER the type arguments - List of String(), Dict of (String, Integer)(), echo of Integer() - which has ONE reading, List() of String (Steve, 2026-10-08, GENERIC CONSTRUCTION b).
ParameterisedConstructionForm.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.
ParseSuggestions	The parse failures that have MORE than one reading - so no rule rewrites them, but the caller is told the readings (the SUGGEST tier of docs/tooling/EK9_TOOLING_IMPROVEMENT_METHOD.md): a % b - EK9 has mod (the result takes the divisor's sign) and rem (Java's %, the dividend's sign); which one is meant is the writer's to say; assert x, "message" - EK9's assert takes no message; dropping it loses what it said; $name in a backtick String - ${name} interpolates, \$ is a literal dollar; a misspelt keyword (esle, defins) - correcting it changes which code runs, and a word one edit from a keyword is just as often a name (heads, sorts); a block header with nothing indented under it - how far its body extends is a choice.
QuestionMarkForms	The two ? spellings beside QuestionMarkWithValue's Type?: value that never parse: <- rtn as String?? - a declaration's ? written twice (a tool rendering '<- rtn as T?' around a T? it was given, or a model doing the same): one ? is meant.
QuestionMarkWithValue	THE repair of a declaration written with a ? AND a value - <- rtn as String?: String() becomes <- rtn as String: String() - for every editing tool.
QuestionMarkWithValue.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.
Redeclaration	THE E50050 repair - a name declared a second time with <- - where the second <- has ONE reading, for every editing tool.
Redeclaration.Redeclared	A second declaration as the E50050 message names it - THE reading of that message for this repair and for the MCP RedeclarationHint: the name, the line declaring it again, the line that declared it first.
Redeclaration.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.
SourceLines	Line-level helpers the text rules share: indentation, a line with its literals masked out, the top-level comma split.
SourceRepairs	THE source repair engine - the one place an EK9 source is repaired automatically, for every door: ek9 -ff and ek9_format (the TEXT layer), and the MCP editors, ek9_write_file, ek9_edit_file and ek9_compile (the DIAGNOSTIC layer).
SourceRepairs.Repaired	One diagnostic-layer pass: the repaired text and one note per repair; notes empty means nothing moved.
SourceRepairs.TextResult	The text layer's outcome.
StringConcatRewriteOutcome	Outcome of a StringConcatRewriter call.
StringConcatRewriteOutcome.Conflict	One refusal condition.
StringConcatRewriteOutcome.OffendingExpression
StringConcatRewriter	Editor primitive that rewrites a string-concatenation expression ("a" + var + "b") into the equivalent backtick interpolation (`a${var}b`).
StringConcatRewriter.ChainRendering	A + chain rendered as a backtick String, or the first operand that cannot be one: set rendered with the operand counts, or conflictKind/reason naming the refusal.
StringExpressionClassifier	Shared parse-tree primitives for selection-driven string-expression editors.
StringExpressionClassifier.TextMethodTarget	Result of StringExpressionClassifier.findEnclosingTextMethodDeclaration(ParseTree, int, int): the resolved text-type and method names ready to feed straight into ek9_edit_localized_text as textTypeName / methodName.
SyntaxProbe	THE parse-only check of a piece of EK9 text, for every repair: the syntax errors the ANTLR parser reports, no symbol phase run.
SyntaxProbe.Parsed	A parse tree and the token stream it came from (HIDDEN-channel comments included).
SyntaxProbe.SyntaxError	One syntax error.
TextRule	One text rule of SourceRepairs: given a source's lines and the parse failure the parser stopped on, the rewrite that answers it - or null when this rule does not recognise the failure.
TextRule.Rewrite	A rule's rewrite: the new lines, and the note that says what was written and why.
TrailingBracket	THE unbalanced trailing bracket - stdout.println(x)], stdout.println("few")} - for every caller: the statements[] pre-pass, the MCP diagnostic repairs and ek9 -ff.
UnclosedBacktickString	THE E01093 repair - a backtick String closed with a double quote, `${count} items" - for every editing tool.
UnclosedBacktickString.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.
UninitialisedReturn	THE E08180 repair on a RETURN declaration - <- rtn as String with neither a value nor ? - for every editing tool.
UninitialisedReturn.Result	The rewritten text and one note per rewrite; notes empty means nothing moved.