Class CompilationContext

java.lang.Object

ca.mcscert.jpipe.compiler.model.CompilationContext

public final class CompilationContext
extends Object

Mutable context threaded through every step of a compilation pipeline.

Carries the source file path (for error reporting) and a Diagnostic bag that steps may append to without aborting the pipeline immediately. Use hasFatalErrors() to decide whether to stop early, and diagnostics() to inspect the full list at the end.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	STAT_COMMANDS_DEFERRALS	Total number of execution-engine deferral rounds.
static final String	STAT_COMMANDS_MACROS	Number of macro commands in the action list.
static final String	STAT_COMMANDS_TOTAL	Total number of commands in the action list.

Constructor Summary

Constructors

Constructor	Description
CompilationContext(String sourcePath)

Method Summary

Modifier and Type	Method	Description
List<Diagnostic>	diagnostics()	Unmodifiable view of all diagnostics in report order.
void	error(int line, int column, String message)	Convenience: append a non-fatal ERROR diagnostic with source location.
void	error(String message)	Convenience: append a non-fatal ERROR diagnostic.
void	error(String code, int line, int column, String message)	Convenience: append a coded non-fatal ERROR diagnostic with source location.
void	error(String code, String message)	Convenience: append a coded non-fatal ERROR diagnostic.
List<ExecutedAction>	executedActions()	Ordered list of actions that occurred during interpretation.
void	fatal(int line, int column, String message)	Convenience: append a FATAL diagnostic with source location.
void	fatal(String message)	Convenience: append a FATAL diagnostic.
boolean	hasErrors()	True if any ERROR or FATAL diagnostic has been reported.
boolean	hasFatalErrors()	True if any FATAL diagnostic has been reported.
void	recordActions(List<ExecutedAction> actions)	Record the ordered list of actions that occurred during interpretation.
void	recordStat(String key, long value)	Record a named numeric statistic produced during compilation.
void	report(Diagnostic diagnostic)	Append a pre-built diagnostic.
String	sourcePath()	Path to the input file being compiled.
Map<String,Long>	stats()	Unmodifiable view of all recorded statistics in insertion order.

Methods inherited from class Object

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

Field Details

STAT_COMMANDS_TOTAL

public static final String STAT_COMMANDS_TOTAL

Total number of commands in the action list.

See Also:

• Constant Field Values

STAT_COMMANDS_MACROS

public static final String STAT_COMMANDS_MACROS

Number of macro commands in the action list.

See Also:

• Constant Field Values

STAT_COMMANDS_DEFERRALS

public static final String STAT_COMMANDS_DEFERRALS

Total number of execution-engine deferral rounds.

See Also:

• Constant Field Values

Constructor Details

CompilationContext

public CompilationContext(String sourcePath)

Method Details

sourcePath

public String sourcePath()

Path to the input file being compiled.

report

public void report(Diagnostic diagnostic)

Append a pre-built diagnostic.

error

public void error(String message)

Convenience: append a non-fatal ERROR diagnostic.

error

public void error(int line,
 int column,
 String message)

Convenience: append a non-fatal ERROR diagnostic with source location.

error

public void error(String code,
 String message)

Convenience: append a coded non-fatal ERROR diagnostic.

Parameters:

code - stable kebab-case identifier, see DiagnosticCodes.

message - human-readable description, without the code.

error

public void error(String code,
 int line,
 int column,
 String message)

Convenience: append a coded non-fatal ERROR diagnostic with source location.

Parameters:

code - stable kebab-case identifier, see DiagnosticCodes.

line - 1-based source line.

column - 0-based column offset.

message - human-readable description, without the code.

fatal

public void fatal(String message)

Convenience: append a FATAL diagnostic.

fatal

public void fatal(int line,
 int column,
 String message)

Convenience: append a FATAL diagnostic with source location.

hasErrors

public boolean hasErrors()

True if any ERROR or FATAL diagnostic has been reported.

hasFatalErrors

public boolean hasFatalErrors()

True if any FATAL diagnostic has been reported.

diagnostics

public List<Diagnostic> diagnostics()

Unmodifiable view of all diagnostics in report order.

recordStat

public void recordStat(String key,
 long value)

Record a named numeric statistic produced during compilation.

stats

public Map<String,Long> stats()

Unmodifiable view of all recorded statistics in insertion order.

recordActions

public void recordActions(List<ExecutedAction> actions)

Record the ordered list of actions that occurred during interpretation.

executedActions

public List<ExecutedAction> executedActions()

Ordered list of actions that occurred during interpretation.