Index

A B C D E F G H I J K L M N O P Q R S T U V W _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

abstract_() - Method in class ca.mcscert.jpipe.lang.JPipeParser

abstract_() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

abstract_(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

ABSTRACT_SUP - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

ABSTRACT_SUP - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

ABSTRACT_SUP() - Method in class ca.mcscert.jpipe.lang.JPipeParser.AbstractContext

AbstractContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.AbstractContext

AbstractModelExporter - Class in ca.mcscert.jpipe.visitor

Abstract base for exporters that serialise a single JustificationModel to text.

AbstractModelExporter() - Constructor for class ca.mcscert.jpipe.visitor.AbstractModelExporter

AbstractSupport - Record Class in ca.mcscert.jpipe.model.elements

A placeholder element in a template, to be substituted when the template is implemented.

AbstractSupport(String, String) - Constructor for record class ca.mcscert.jpipe.model.elements.AbstractSupport

Creates an instance of a AbstractSupport record class.

abstractSupports() - Method in class ca.mcscert.jpipe.model.Template

accept(JustificationVisitor) - Method in interface ca.mcscert.jpipe.model.elements.JustificationElement

accept(JustificationVisitor) - Method in class ca.mcscert.jpipe.model.JustificationModel

accept(JustificationVisitor) - Method in class ca.mcscert.jpipe.model.Unit

ActionListInterpretation - Class in ca.mcscert.jpipe.compiler.steps.transformations

Interprets a list of Commands into a Unit by executing them through the ExecutionEngine.

ActionListInterpretation() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.ActionListInterpretation

ActionListProvider - Class in ca.mcscert.jpipe.compiler.steps.transformations

Create a list of commands to build a model out of a parse tree.

ActionListProvider(OperatorRegistry, UnificationEquivalenceRegistry) - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.ActionListProvider

add(JustificationModel) - Method in class ca.mcscert.jpipe.model.Unit

addElement(E) - Method in class ca.mcscert.jpipe.model.JustificationModel

Rejects Conclusion — use JustificationModel.setConclusion(Conclusion) instead.

AddElement - Class in ca.mcscert.jpipe.commands.linking

Adds a pre-built element to a justification model.

AddElement(String, JustificationElement) - Constructor for class ca.mcscert.jpipe.commands.linking.AddElement

addInto(String, JustificationElement) - Method in class ca.mcscert.jpipe.model.Unit

additionalCommands(String, List, AliasRegistry, Map) - Method in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

additionalCommands(String, List, AliasRegistry, Map) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Returns additional commands to append after Phase 2 edge reconstruction.

addSupport(Strategy) - Method in class ca.mcscert.jpipe.model.elements.Conclusion

addSupport(Strategy) - Method in class ca.mcscert.jpipe.model.elements.SubConclusion

addSupport(Strategy) - Method in interface ca.mcscert.jpipe.model.elements.StrategyBacked

Registers supporter as the single strategy backing this element.

addSupport(SupportLeaf) - Method in class ca.mcscert.jpipe.model.elements.Strategy

AddSupport - Class in ca.mcscert.jpipe.commands.linking

Establishes a support edge between two elements that already exist in the same justification model.

AddSupport(String, String, String) - Constructor for class ca.mcscert.jpipe.commands.linking.AddSupport

AddSupport(String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.linking.AddSupport

aliases() - Method in class ca.mcscert.jpipe.model.Unit

Unmodifiable view of all recorded aliases.

aliases() - Method in class ca.mcscert.jpipe.operators.AliasRegistry

Read-only view of all registered aliases.

AliasRegistry - Class in ca.mcscert.jpipe.operators

Mutable registry that maps original element ids to the merged id chosen during Phase 1 of CompositionOperator.apply(String, List, Map).

AliasRegistry() - Constructor for class ca.mcscert.jpipe.operators.AliasRegistry

andThen(Sink) - Method in class ca.mcscert.jpipe.compiler.model.ChainBuilder

Finalise the chain by attaching a sink, producing a ready-to-use Compiler.

andThen(Transformation) - Method in class ca.mcscert.jpipe.compiler.model.Source

DSL entry-point: combine this source with the first transformation to start building a compilation chain.

andThen(Transformation) - Method in class ca.mcscert.jpipe.compiler.model.ChainBuilder

Append a transformation to the end of the current chain.

andThen(Transformation) - Method in class ca.mcscert.jpipe.compiler.model.Transformation

Compose this transformation with next, producing a new transformation that runs both in sequence.

apply(I, CompilationContext) - Method in interface ca.mcscert.jpipe.compiler.model.Checker.Check

apply(I, CompilationContext) - Method in interface ca.mcscert.jpipe.compiler.model.Transformation.Step

apply(String, List, Map) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.

apply(String, List, Map, SourceLocation) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.

apply(String, List, Map, SourceLocation, Map) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.

ApplyOperator - Class in ca.mcscert.jpipe.operators

A deferred MacroCommand that expands an operator call into the Commands needed to build the result model.

ApplyOperator(OperatorCallConfig, OperatorRegistry, UnificationEquivalenceRegistry) - Constructor for class ca.mcscert.jpipe.operators.ApplyOperator

areEquivalent(ElementView, ElementView) - Method in interface ca.mcscert.jpipe.operators.EquivalenceRelation

Returns true if a and b should be merged into the same result element.

areEquivalent(ElementView, ElementView) - Method in class ca.mcscert.jpipe.operators.equivalences.SameLabel

areEquivalent(ElementView, ElementView) - Method in class ca.mcscert.jpipe.operators.equivalences.SameShortId

arguments() - Method in class ca.mcscert.jpipe.operators.ApplyOperator

arguments() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns the value of the arguments record component.

AS - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

AS - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

AS() - Method in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

AssembleOperator - Class in ca.mcscert.jpipe.operators.builtin

Built-in assemble composition operator.

AssembleOperator() - Constructor for class ca.mcscert.jpipe.operators.builtin.AssembleOperator

asTransformation() - Method in class ca.mcscert.jpipe.compiler.model.ChainBuilder

Expose the accumulated chain as a plain Transformation, useful when the chain is embedded inside a larger pipeline rather than used standalone.

B

build(CompilationConfig, OutputStream) - Static method in class ca.mcscert.jpipe.compiler.CompilerFactory

Build a process-mode compiler from the given configuration.

buildDiagnosticCompiler(OutputStream) - Static method in class ca.mcscert.jpipe.compiler.CompilerFactory

Build a diagnostic-mode compiler that parses the source and produces a human-readable report without exporting any model.

builder - Variable in class ca.mcscert.jpipe.visitor.AbstractModelExporter

Accumulates the serialised output.

ByteSink - Class in ca.mcscert.jpipe.compiler.steps.io.sinks

Pipeline sink that writes a byte[] to an OutputStream supplied at construction time.

ByteSink(OutputStream) - Constructor for class ca.mcscert.jpipe.compiler.steps.io.sinks.ByteSink

C

ca.mcscert.jpipe.cli - package ca.mcscert.jpipe.cli

ca.mcscert.jpipe.commands - package ca.mcscert.jpipe.commands

ca.mcscert.jpipe.commands.creation - package ca.mcscert.jpipe.commands.creation

ca.mcscert.jpipe.commands.linking - package ca.mcscert.jpipe.commands.linking

ca.mcscert.jpipe.compiler - package ca.mcscert.jpipe.compiler

ca.mcscert.jpipe.compiler.model - package ca.mcscert.jpipe.compiler.model

ca.mcscert.jpipe.compiler.steps.checkers - package ca.mcscert.jpipe.compiler.steps.checkers

ca.mcscert.jpipe.compiler.steps.io.sinks - package ca.mcscert.jpipe.compiler.steps.io.sinks

ca.mcscert.jpipe.compiler.steps.io.sources - package ca.mcscert.jpipe.compiler.steps.io.sources

ca.mcscert.jpipe.compiler.steps.transformations - package ca.mcscert.jpipe.compiler.steps.transformations

ca.mcscert.jpipe.lang - package ca.mcscert.jpipe.lang

ca.mcscert.jpipe.model - package ca.mcscert.jpipe.model

ca.mcscert.jpipe.model.elements - package ca.mcscert.jpipe.model.elements

ca.mcscert.jpipe.model.validation - package ca.mcscert.jpipe.model.validation

ca.mcscert.jpipe.operators - package ca.mcscert.jpipe.operators

ca.mcscert.jpipe.operators.builtin - package ca.mcscert.jpipe.operators.builtin

ca.mcscert.jpipe.operators.equivalences - package ca.mcscert.jpipe.operators.equivalences

ca.mcscert.jpipe.util - package ca.mcscert.jpipe.util

ca.mcscert.jpipe.visitor - package ca.mcscert.jpipe.visitor

ChainBuilder<I,O> - Class in ca.mcscert.jpipe.compiler.model

Fluent builder that accumulates Transformations into a compilation chain.

ChainCompiler<I,O> - Class in ca.mcscert.jpipe.compiler.model

A fully assembled compilation pipeline: Source → Transformation chain → Sink.

channelNames - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

CharStreamProvider - Class in ca.mcscert.jpipe.compiler.steps.transformations

Delegate to ANTLR the transformation of an input stream into a character-based one.

CharStreamProvider() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.CharStreamProvider

check(Unit, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.checkers.CompletenessChecker

check(Unit, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.checkers.ConsistencyChecker

check(I, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.model.Checker

Perform the check.

check(T, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.checkers.HaltAndCatchFire

Checker<I> - Class in ca.mcscert.jpipe.compiler.model

An idempotent pipeline step: inspects the value without modifying it.

Checker() - Constructor for class ca.mcscert.jpipe.compiler.model.Checker

Checker.Check<I> - Interface in ca.mcscert.jpipe.compiler.model

Functional interface for the Transformation.of(Transformation.Step) factory.

checking(Checker.Check) - Static method in class ca.mcscert.jpipe.compiler.model.Checker

Create a Checker from a lambda or method reference.

CLOSE - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

CLOSE - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

CLOSE() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

CLOSE() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

CLOSE() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

CLOSE_P - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

CLOSE_P - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

CLOSE_P() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

CLOSE_P() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

COLON - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

COLON - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

COLON() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

COLON() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

COLON(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

column() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Returns the value of the column record component.

column() - Method in record class ca.mcscert.jpipe.model.SourceLocation

Returns the value of the column record component.

COMMA - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

COMMA - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

COMMA() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

COMMA(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

command() - Method in record class ca.mcscert.jpipe.commands.ExecutedAction

Returns the value of the command record component.

Command - Interface in ca.mcscert.jpipe.commands

A command in the command pattern for model construction.

CommandExecutionException - Exception Class in ca.mcscert.jpipe.commands

Thrown by ExecutionEngine when a command's condition is satisfied but its execution throws a RuntimeException.

CommandExecutionException(Command, Unit, Throwable) - Constructor for exception class ca.mcscert.jpipe.commands.CommandExecutionException

COMMENT - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

COMMENT - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

CommonElement - Interface in ca.mcscert.jpipe.model.elements

Sealed interface for elements that can appear in both justifications and templates.

CompilationConfig - Record Class in ca.mcscert.jpipe.compiler

Immutable configuration for a single process-mode compilation run.

CompilationConfig(String, String, Format, String) - Constructor for record class ca.mcscert.jpipe.compiler.CompilationConfig

Creates an instance of a CompilationConfig record class.

CompilationContext - Class in ca.mcscert.jpipe.compiler.model

Mutable context threaded through every step of a compilation pipeline.

CompilationContext(String) - Constructor for class ca.mcscert.jpipe.compiler.model.CompilationContext

CompilationException - Exception Class in ca.mcscert.jpipe.compiler.model

Unchecked exception thrown when a compilation step fails unexpectedly.

CompilationException(String, String) - Constructor for exception class ca.mcscert.jpipe.compiler.model.CompilationException

CompilationException(String, Throwable) - Constructor for exception class ca.mcscert.jpipe.compiler.model.CompilationException

compile(String, String) - Method in interface ca.mcscert.jpipe.compiler.Compiler

Trigger the compilation process.

compile(String, String) - Method in class ca.mcscert.jpipe.compiler.model.ChainCompiler

Compiler - Interface in ca.mcscert.jpipe.compiler

Contract for a compiler: consume an input file and produce an output file.

CompilerFactory - Class in ca.mcscert.jpipe.compiler

Assembles a Compiler from a CompilationConfig by wiring the appropriate pipeline steps.

CompletenessChecker - Class in ca.mcscert.jpipe.compiler.steps.checkers

Pipeline step that checks all models in a Unit for structural completeness.

CompletenessChecker() - Constructor for class ca.mcscert.jpipe.compiler.steps.checkers.CompletenessChecker

CompletenessValidator - Class in ca.mcscert.jpipe.model.validation

Checks that justification models are structurally complete.

CompletenessValidator() - Constructor for class ca.mcscert.jpipe.model.validation.CompletenessValidator

CompositionOperator - Class in ca.mcscert.jpipe.operators

Base class for all composition operators.

CompositionOperator() - Constructor for class ca.mcscert.jpipe.operators.CompositionOperator

conclusion() - Method in class ca.mcscert.jpipe.lang.JPipeParser

conclusion() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

conclusion() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

conclusion() - Method in class ca.mcscert.jpipe.model.JustificationModel

Returns the conclusion, if one has been set.

conclusion(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

conclusion(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

Conclusion - Class in ca.mcscert.jpipe.model.elements

The top-level conclusion that a justification aims to establish.

Conclusion(String, String) - Constructor for class ca.mcscert.jpipe.model.elements.Conclusion

CONCLUSION - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

CONCLUSION - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

CONCLUSION() - Method in class ca.mcscert.jpipe.lang.JPipeParser.ConclusionContext

CONCLUSION_ID - Static variable in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

Id of the synthesized global conclusion in the result model.

ConclusionContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.ConclusionContext

concreteOverrides() - Method in class ca.mcscert.jpipe.model.JustificationModel

Elements that replaced an ancestor's AbstractSupport placeholder — same qualified id, but a concrete type (e.g.

condition() - Method in interface ca.mcscert.jpipe.commands.Command

condition() - Method in class ca.mcscert.jpipe.commands.linking.AddElement

condition() - Method in class ca.mcscert.jpipe.commands.linking.AddSupport

condition() - Method in class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

condition() - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

condition() - Method in class ca.mcscert.jpipe.commands.linking.RemoveElement

condition() - Method in class ca.mcscert.jpipe.commands.linking.RewireStrategySupport

condition() - Method in class ca.mcscert.jpipe.operators.ApplyOperator

ConsistencyChecker - Class in ca.mcscert.jpipe.compiler.steps.checkers

Pipeline step that checks all models in a Unit for structural consistency.

ConsistencyChecker() - Constructor for class ca.mcscert.jpipe.compiler.steps.checkers.ConsistencyChecker

ConsistencyValidator - Class in ca.mcscert.jpipe.model.validation

Checks structural invariants of justification models.

ConsistencyValidator() - Constructor for class ca.mcscert.jpipe.model.validation.ConsistencyValidator

container - Variable in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

container - Variable in class ca.mcscert.jpipe.commands.creation.CreateConclusion

container - Variable in class ca.mcscert.jpipe.commands.creation.CreateEvidence

container - Variable in class ca.mcscert.jpipe.commands.creation.CreateStrategy

container - Variable in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

container() - Method in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

container() - Method in class ca.mcscert.jpipe.commands.creation.CreateConclusion

container() - Method in class ca.mcscert.jpipe.commands.creation.CreateEvidence

container() - Method in class ca.mcscert.jpipe.commands.creation.CreateStrategy

container() - Method in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

container() - Method in interface ca.mcscert.jpipe.commands.creation.ElementCreationCommand

Name of the model this command adds an element to.

container() - Method in class ca.mcscert.jpipe.commands.linking.AddSupport

container() - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

container() - Method in class ca.mcscert.jpipe.commands.linking.RegisterAlias

CreateAbstractSupport - Class in ca.mcscert.jpipe.commands.creation

Creates an AbstractSupport inside a template.

CreateAbstractSupport(String, String, String) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

CreateAbstractSupport(String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

CreateConclusion - Class in ca.mcscert.jpipe.commands.creation

Creates a Conclusion inside a justification or template.

CreateConclusion(String, String, String) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateConclusion

CreateConclusion(String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateConclusion

CreateEvidence - Class in ca.mcscert.jpipe.commands.creation

Creates an Evidence inside a justification.

CreateEvidence(String, String, String) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateEvidence

CreateEvidence(String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateEvidence

CreateJustification - Class in ca.mcscert.jpipe.commands.creation

Creates a Justification inside a unit.

CreateJustification(String) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateJustification

CreateJustification(String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateJustification

createResultModel(String, SourceLocation, List, Map) - Method in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

createResultModel(String, SourceLocation, List, Map) - Method in class ca.mcscert.jpipe.operators.builtin.RefineOperator

createResultModel(String, SourceLocation, List, Map) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Returns the command that creates the result model (typically CreateJustification or CreateTemplate).

CreateStrategy - Class in ca.mcscert.jpipe.commands.creation

Creates a Strategy inside a justification.

CreateStrategy(String, String, String) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateStrategy

CreateStrategy(String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateStrategy

CreateSubConclusion - Class in ca.mcscert.jpipe.commands.creation

Creates a SubConclusion inside a justification.

CreateSubConclusion(String, String, String) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

CreateSubConclusion(String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

CreateTemplate - Class in ca.mcscert.jpipe.commands.creation

Creates a Template inside a unit.

CreateTemplate(String) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateTemplate

CreateTemplate(String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.creation.CreateTemplate

currentModelName - Variable in class ca.mcscert.jpipe.visitor.AbstractModelExporter

Name of the model currently being exported.

CYCLIC_IMPLEMENTS - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

Two models mutually implement each other, creating a cycle.

D

DeadlockException - Exception Class in ca.mcscert.jpipe.commands

Thrown by ExecutionEngine when execution deadlocks — all remaining commands have unsatisfied conditions and cannot make progress.

DeadlockException(String, List, Unit) - Constructor for exception class ca.mcscert.jpipe.commands.DeadlockException

declaredKind() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns the value of the declaredKind record component.

depth() - Method in record class ca.mcscert.jpipe.commands.ExecutedAction

Returns the value of the depth record component.

Diagnostic - Record Class in ca.mcscert.jpipe.compiler.model

A single diagnostic message produced during compilation.

Diagnostic(Diagnostic.Level, String, int, int, String) - Constructor for record class ca.mcscert.jpipe.compiler.model.Diagnostic

Creates an instance of a Diagnostic record class.

Diagnostic.Level - Enum Class in ca.mcscert.jpipe.compiler.model

DiagnosticCodes - Class in ca.mcscert.jpipe.compiler.model

Compiler diagnostic error-code tags embedded in error messages.

DiagnosticReport - Class in ca.mcscert.jpipe.compiler.steps.transformations

Produces a human-readable diagnostic report from the compiled Unit and the CompilationContext.

DiagnosticReport() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.DiagnosticReport

diagnostics() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Unmodifiable view of all diagnostics in report order.

diagnosticsRendered() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

True when a step has already rendered the diagnostics.

diagramName() - Method in record class ca.mcscert.jpipe.compiler.CompilationConfig

Returns the value of the diagramName record component.

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.creation.CreateConclusion

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.creation.CreateEvidence

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.creation.CreateJustification

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.creation.CreateStrategy

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.creation.CreateTemplate

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.linking.AddElement

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.linking.AddSupport

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.linking.RegisterAlias

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.linking.RemoveElement

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.linking.RewireStrategySupport

doExecute(Unit) - Method in class ca.mcscert.jpipe.commands.RegularCommand

DOT - Enum constant in enum class ca.mcscert.jpipe.compiler.Format

DotExporter - Class in ca.mcscert.jpipe.visitor

Serialises a single JustificationModel to Graphviz DOT text, ready to be compiled by dot.

DotExporter() - Constructor for class ca.mcscert.jpipe.visitor.DotExporter

E

element() - Method in class ca.mcscert.jpipe.lang.JPipeParser.AbstractContext

element() - Method in class ca.mcscert.jpipe.lang.JPipeParser.ConclusionContext

element() - Method in class ca.mcscert.jpipe.lang.JPipeParser

element() - Method in class ca.mcscert.jpipe.lang.JPipeParser.EvidenceContext

element() - Method in class ca.mcscert.jpipe.lang.JPipeParser.StrategyContext

element() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Sub_conclusionContext

element() - Method in record class ca.mcscert.jpipe.operators.SourcedElement

Returns the value of the element record component.

ElementContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

ElementCreationCommand - Interface in ca.mcscert.jpipe.commands.creation

Sealed interface common to all element-creation commands.

ElementGroup - Record Class in ca.mcscert.jpipe.operators

One cell of the partition computed by CompositionOperator: a non-empty list of SourcedElements that are all equivalent under the operator's EquivalenceRelation.

ElementGroup(List) - Constructor for record class ca.mcscert.jpipe.operators.ElementGroup

Creates an instance of a ElementGroup record class.

elements() - Method in record class ca.mcscert.jpipe.operators.ElementGroup

The unwrapped elements, in the same order as ElementGroup.members().

elementsOfType(Class) - Method in class ca.mcscert.jpipe.model.JustificationModel

ElementView - Interface in ca.mcscert.jpipe.model.elements

Read-only view of an element's identity: its id and label.

enrich(Unit, List) - Method in class ca.mcscert.jpipe.commands.ExecutionEngine

enterAbstract(JPipeParser.AbstractContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by

invalid @link

{@link JPipeParser#abstract

}.

enterAbstract(JPipeParser.AbstractContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by

invalid @link

{@link JPipeParser#abstract

}.

enterConclusion(JPipeParser.ConclusionContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.conclusion().

enterConclusion(JPipeParser.ConclusionContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.conclusion().

enterElement(JPipeParser.ElementContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.element().

enterElement(JPipeParser.ElementContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.element().

enterEveryRule(ParserRuleContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

enterEvidence(JPipeParser.EvidenceContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.evidence().

enterEvidence(JPipeParser.EvidenceContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.evidence().

enterJustif_body(JPipeParser.Justif_bodyContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.justif_body().

enterJustif_body(JPipeParser.Justif_bodyContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.justif_body().

enterJustification(JPipeParser.JustificationContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.justification().

enterJustification(JPipeParser.JustificationContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.justification().

enterKey_val_decl(JPipeParser.Key_val_declContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.key_val_decl().

enterKey_val_decl(JPipeParser.Key_val_declContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.key_val_decl().

enterLoad(JPipeParser.LoadContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.load().

enterLoad(JPipeParser.LoadContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.load().

enterParams_decl(JPipeParser.Params_declContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.params_decl().

enterParams_decl(JPipeParser.Params_declContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.params_decl().

enterQualified_id(JPipeParser.Qualified_idContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.qualified_id().

enterQualified_id(JPipeParser.Qualified_idContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.qualified_id().

enterRelation(JPipeParser.RelationContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.relation().

enterRelation(JPipeParser.RelationContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.relation().

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.AbstractContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.ConclusionContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.EvidenceContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.StrategyContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Sub_conclusionContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

enterRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

enterRule_config(JPipeParser.Rule_configContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.rule_config().

enterRule_config(JPipeParser.Rule_configContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.rule_config().

enterStrategy(JPipeParser.StrategyContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.strategy().

enterStrategy(JPipeParser.StrategyContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.strategy().

enterSub_conclusion(JPipeParser.Sub_conclusionContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.sub_conclusion().

enterSub_conclusion(JPipeParser.Sub_conclusionContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.sub_conclusion().

enterTemplate(JPipeParser.TemplateContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.template().

enterTemplate(JPipeParser.TemplateContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.template().

enterTemplate_body(JPipeParser.Template_bodyContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.template_body().

enterTemplate_body(JPipeParser.Template_bodyContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.template_body().

enterUnit(JPipeParser.UnitContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Enter a parse tree produced by JPipeParser.unit().

enterUnit(JPipeParser.UnitContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Enter a parse tree produced by JPipeParser.unit().

EOF() - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

equals(Object) - Method in record class ca.mcscert.jpipe.commands.ExecutedAction

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.compiler.CompilationConfig

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.model.elements.AbstractSupport

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.model.elements.Evidence

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.model.SourceLocation

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.model.Violation

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.operators.ElementGroup

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class ca.mcscert.jpipe.operators.SourcedElement

Indicates whether some other object is "equal to" this one.

equivalenceRelation(List, Map) - Method in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

equivalenceRelation(List, Map) - Method in class ca.mcscert.jpipe.operators.builtin.RefineOperator

equivalenceRelation(List, Map) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Returns the equivalence relation to use for partitioning elements from sources and arguments.

EquivalenceRelation - Interface in ca.mcscert.jpipe.operators

Binary predicate that decides whether two ElementViews belong to the same equivalence class and should therefore be merged.

error(int, int, String) - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

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

error(String) - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Convenience: append a non-fatal ERROR diagnostic.

error(String, int, int, String) - Static method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

error(String, String) - Static method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

ERROR - Enum constant in enum class ca.mcscert.jpipe.compiler.model.Diagnostic.Level

ERROR_TOKEN - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

ERROR_TOKEN - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

evidence() - Method in class ca.mcscert.jpipe.lang.JPipeParser

evidence() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

evidence() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

evidence() - Method in class ca.mcscert.jpipe.model.JustificationModel

evidence(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

evidence(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

Evidence - Record Class in ca.mcscert.jpipe.model.elements

A leaf evidence element supporting a strategy.

Evidence(String, String) - Constructor for record class ca.mcscert.jpipe.model.elements.Evidence

Creates an instance of a Evidence record class.

EVIDENCE - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

EVIDENCE - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

EVIDENCE() - Method in class ca.mcscert.jpipe.lang.JPipeParser.EvidenceContext

EvidenceContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.EvidenceContext

execute(Unit) - Method in interface ca.mcscert.jpipe.commands.Command

execute(Unit) - Method in interface ca.mcscert.jpipe.commands.MacroCommand

execute(Unit) - Method in class ca.mcscert.jpipe.commands.RegularCommand

ExecutedAction - Record Class in ca.mcscert.jpipe.commands

A record of a single action that took place during execution: either a RegularCommand that was executed, or a MacroCommand that was expanded.

ExecutedAction(Command, int) - Constructor for record class ca.mcscert.jpipe.commands.ExecutedAction

Creates an instance of a ExecutedAction record class.

executedActions() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Ordered list of actions that occurred during interpretation.

executedCommands() - Method in class ca.mcscert.jpipe.commands.ExecutionEngine

Ordered list of actions that occurred during execution, with depth.

EXECUTION_ERROR - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

A command could not be executed (catch-all for unexpected failures).

ExecutionEngine - Class in ca.mcscert.jpipe.commands

Executes a sequence of commands against a Unit, handling deferred execution for commands whose condition is not yet met.

ExecutionEngine() - Constructor for class ca.mcscert.jpipe.commands.ExecutionEngine

exitAbstract(JPipeParser.AbstractContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by

invalid @link

{@link JPipeParser#abstract

}.

exitAbstract(JPipeParser.AbstractContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by

invalid @link

{@link JPipeParser#abstract

}.

exitConclusion(JPipeParser.ConclusionContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.conclusion().

exitConclusion(JPipeParser.ConclusionContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.conclusion().

exitElement(JPipeParser.ElementContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.element().

exitElement(JPipeParser.ElementContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.element().

exitEveryRule(ParserRuleContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

exitEvidence(JPipeParser.EvidenceContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.evidence().

exitEvidence(JPipeParser.EvidenceContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.evidence().

exitJustif_body(JPipeParser.Justif_bodyContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.justif_body().

exitJustif_body(JPipeParser.Justif_bodyContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.justif_body().

exitJustification(JPipeParser.JustificationContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.justification().

exitJustification(JPipeParser.JustificationContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.justification().

exitKey_val_decl(JPipeParser.Key_val_declContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.key_val_decl().

exitKey_val_decl(JPipeParser.Key_val_declContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.key_val_decl().

exitLoad(JPipeParser.LoadContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.load().

exitLoad(JPipeParser.LoadContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.load().

exitParams_decl(JPipeParser.Params_declContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.params_decl().

exitParams_decl(JPipeParser.Params_declContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.params_decl().

exitQualified_id(JPipeParser.Qualified_idContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.qualified_id().

exitQualified_id(JPipeParser.Qualified_idContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.qualified_id().

exitRelation(JPipeParser.RelationContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.relation().

exitRelation(JPipeParser.RelationContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.relation().

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.AbstractContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.ConclusionContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.EvidenceContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.StrategyContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Sub_conclusionContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

exitRule(ParseTreeListener) - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

exitRule_config(JPipeParser.Rule_configContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.rule_config().

exitRule_config(JPipeParser.Rule_configContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.rule_config().

exitStrategy(JPipeParser.StrategyContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.strategy().

exitStrategy(JPipeParser.StrategyContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.strategy().

exitSub_conclusion(JPipeParser.Sub_conclusionContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.sub_conclusion().

exitSub_conclusion(JPipeParser.Sub_conclusionContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.sub_conclusion().

exitTemplate(JPipeParser.TemplateContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.template().

exitTemplate(JPipeParser.TemplateContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.template().

exitTemplate_body(JPipeParser.Template_bodyContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.template_body().

exitTemplate_body(JPipeParser.Template_bodyContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.template_body().

exitUnit(JPipeParser.UnitContext) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

Exit a parse tree produced by JPipeParser.unit().

exitUnit(JPipeParser.UnitContext) - Method in interface ca.mcscert.jpipe.lang.JPipeListener

Exit a parse tree produced by JPipeParser.unit().

expand(Unit) - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

expand(Unit) - Method in interface ca.mcscert.jpipe.commands.MacroCommand

Expands this macro into a sequence of atomic commands to be executed in order.

expand(Unit) - Method in class ca.mcscert.jpipe.operators.ApplyOperator

export(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.DotExporter

Serialise model to DOT text.

export(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

Serialise a single model to .jd source text.

export(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.JsonExporter

Serialise model to JSON text.

export(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

Serialise model to Python source text without a file header.

export(JustificationModel, String) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

Serialise model to Python source text, optionally prefixed with a generated-file header comment.

export(Unit) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

Serialise unit to .jd source text.

exportModel(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.AbstractModelExporter

Performs the actual serialisation of model.

exportModel(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.DotExporter

exportModel(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.JsonExporter

exportModel(JustificationModel) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

ExportToDot - Class in ca.mcscert.jpipe.compiler.steps.transformations

Compilation step that serialises a JustificationModel to Graphviz DOT text.

ExportToDot() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.ExportToDot

ExportToJpipe - Class in ca.mcscert.jpipe.compiler.steps.transformations

Compilation step that serialises a JustificationModel to .jd source text.

ExportToJpipe() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.ExportToJpipe

ExportToJson - Class in ca.mcscert.jpipe.compiler.steps.transformations

Compilation step that serialises a JustificationModel to JSON text.

ExportToJson() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.ExportToJson

ExportToPython - Class in ca.mcscert.jpipe.compiler.steps.transformations

Compilation step that serialises a JustificationModel to Python source text.

ExportToPython() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.ExportToPython

F

failedCommand() - Method in exception class ca.mcscert.jpipe.commands.CommandExecutionException

The command whose execution failed.

fatal(int, int, String) - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Convenience: append a FATAL diagnostic with source location.

fatal(String) - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Convenience: append a FATAL diagnostic.

fatal(String, int, int, String) - Static method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

fatal(String, String) - Static method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

FATAL - Enum constant in enum class ca.mcscert.jpipe.compiler.model.Diagnostic.Level

FileSource - Class in ca.mcscert.jpipe.compiler.steps.io.sources

Pipeline source that opens a file and provides it as an InputStream.

FileSource() - Constructor for class ca.mcscert.jpipe.compiler.steps.io.sources.FileSource

find(String) - Method in class ca.mcscert.jpipe.operators.OperatorRegistry

Returns the value registered under name, or empty if none was registered.

find(String) - Method in class ca.mcscert.jpipe.operators.UnificationEquivalenceRegistry

Returns the value registered under name, or empty if none was registered.

findById(String) - Method in class ca.mcscert.jpipe.model.JustificationModel

Searches both the conclusion field and the elements list, so callers do not need to know how the conclusion is stored.

findModel(String) - Method in class ca.mcscert.jpipe.model.Unit

fire(I, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.model.Transformation

Public entry-point: runs this step with logging and error handling.

format() - Method in record class ca.mcscert.jpipe.compiler.CompilationConfig

Returns the value of the format record component.

Format - Enum Class in ca.mcscert.jpipe.compiler

Output formats supported by the compiler.

from - Variable in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

G

get(String) - Method in class ca.mcscert.jpipe.model.Unit

getATN() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

getATN() - Method in class ca.mcscert.jpipe.lang.JPipeParser

getChannelNames() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

getElements() - Method in class ca.mcscert.jpipe.model.JustificationModel

getGrammarFileName() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

getGrammarFileName() - Method in class ca.mcscert.jpipe.lang.JPipeParser

getModels() - Method in class ca.mcscert.jpipe.model.Unit

getModeNames() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

getName() - Method in class ca.mcscert.jpipe.model.JustificationModel

getParent() - Method in class ca.mcscert.jpipe.model.JustificationModel

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.AbstractContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.ConclusionContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.EvidenceContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.StrategyContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Sub_conclusionContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

getRuleIndex() - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

getRuleNames() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

getRuleNames() - Method in class ca.mcscert.jpipe.lang.JPipeParser

getSerializedATN() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

getSerializedATN() - Method in class ca.mcscert.jpipe.lang.JPipeParser

getSource() - Method in class ca.mcscert.jpipe.model.Unit

getSupport() - Method in class ca.mcscert.jpipe.model.elements.Conclusion

getSupport() - Method in class ca.mcscert.jpipe.model.elements.SubConclusion

getSupport() - Method in interface ca.mcscert.jpipe.model.elements.StrategyBacked

Returns the strategy backing this element, if one has been registered.

getSupports() - Method in class ca.mcscert.jpipe.model.elements.Strategy

getTokenNames() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

Deprecated.

getTokenNames() - Method in class ca.mcscert.jpipe.lang.JPipeParser

Deprecated.

getVocabulary() - Method in class ca.mcscert.jpipe.lang.JPipeLexer

getVocabulary() - Method in class ca.mcscert.jpipe.lang.JPipeParser

H

HaltAndCatchFire<T> - Class in ca.mcscert.jpipe.compiler.steps.checkers

Converts accumulated non-fatal errors into a fatal signal, aborting the pipeline at the next step boundary.

HaltAndCatchFire() - Constructor for class ca.mcscert.jpipe.compiler.steps.checkers.HaltAndCatchFire

hasErrors() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

True if any ERROR or FATAL diagnostic has been reported.

hasFatalErrors() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

True if any FATAL diagnostic has been reported.

hashCode() - Method in record class ca.mcscert.jpipe.commands.ExecutedAction

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.compiler.CompilationConfig

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.model.elements.AbstractSupport

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.model.elements.Evidence

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.model.SourceLocation

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.model.Violation

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.operators.ElementGroup

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns a hash code value for this object.

hashCode() - Method in record class ca.mcscert.jpipe.operators.SourcedElement

Returns a hash code value for this object.

hasLocation() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

True if this diagnostic carries a known source location.

hasOwnConclusion() - Method in class ca.mcscert.jpipe.model.JustificationModel

Returns true when the conclusion was defined directly in this model, i.e. it was not inherited from a parent template via JustificationModel.inline(Template, String).

HOOK_ID - Static variable in class ca.mcscert.jpipe.operators.builtin.RefineOperator

The fixed id of the merged SubConclusion in the result model.

I

id - Variable in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

id - Variable in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

id - Variable in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

id - Variable in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

id() - Method in interface ca.mcscert.jpipe.commands.creation.ElementCreationCommand

Unique identifier of this element within its containing model.

id() - Method in record class ca.mcscert.jpipe.model.elements.AbstractSupport

Returns the value of the id record component.

id() - Method in class ca.mcscert.jpipe.model.elements.Conclusion

id() - Method in class ca.mcscert.jpipe.model.elements.SubConclusion

id() - Method in interface ca.mcscert.jpipe.model.elements.ElementView

Unique identifier of this element within its containing model.

id() - Method in record class ca.mcscert.jpipe.model.elements.Evidence

Returns the value of the id record component.

id() - Method in class ca.mcscert.jpipe.model.elements.Strategy

id() - Method in record class ca.mcscert.jpipe.operators.SourcedElement

ID - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

ID - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

ID - Variable in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

ID() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

ID() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

ID() - Method in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

ID() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

ID() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

ID(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

identifier - Variable in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

identifier - Variable in class ca.mcscert.jpipe.commands.creation.CreateConclusion

identifier - Variable in class ca.mcscert.jpipe.commands.creation.CreateEvidence

identifier - Variable in class ca.mcscert.jpipe.commands.creation.CreateStrategy

identifier - Variable in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

identifier() - Method in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

identifier() - Method in class ca.mcscert.jpipe.commands.creation.CreateConclusion

identifier() - Method in class ca.mcscert.jpipe.commands.creation.CreateEvidence

identifier() - Method in class ca.mcscert.jpipe.commands.creation.CreateStrategy

identifier() - Method in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

identifier() - Method in class ca.mcscert.jpipe.commands.creation.CreateJustification

identifier() - Method in class ca.mcscert.jpipe.commands.creation.CreateTemplate

identifier() - Method in interface ca.mcscert.jpipe.commands.creation.ElementCreationCommand

Id assigned to the new element.

IMPLEMENTS - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

IMPLEMENTS - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

IMPLEMENTS() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

IMPLEMENTS() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

IMPLEMENTS_ERROR - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

An implements directive could not be applied.

ImplementsTemplate - Class in ca.mcscert.jpipe.commands.linking

Links a justification model to the Template it implements, by setting the template as the model's parent.

ImplementsTemplate(String, String) - Constructor for class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

ImplementsTemplate(String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

includeInExpansion(JustificationElement) - Method in class ca.mcscert.jpipe.model.Justification

Includes all template elements — including AbstractSupport copies — so that override commands can find and replace them after inlining.

includeInExpansion(JustificationElement) - Method in class ca.mcscert.jpipe.model.JustificationModel

Returns true if the given element copy should be added to this model during template expansion.

includeInExpansion(JustificationElement) - Method in class ca.mcscert.jpipe.model.Template

Includes all elements — templates may inherit AbstractSupports.

inheritedElements() - Method in class ca.mcscert.jpipe.model.JustificationModel

Elements copied from an ancestor template whose runtime type is unchanged (not overridden).

inline(Template, String) - Method in class ca.mcscert.jpipe.model.JustificationModel

Inlines template into this model: each template element is copied with a qualified id (templateName:originalId) and support edges between copied elements are re-wired.

inputFile() - Method in record class ca.mcscert.jpipe.compiler.CompilationConfig

Returns the value of the inputFile record component.

INVALID_SUPPORT - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

An AddSupport command references an element that does not exist.

InvalidOperatorCallException - Exception Class in ca.mcscert.jpipe.operators

Thrown by CompositionOperator.apply(String, List, Map) when one or more required argument keys are missing from the provided argument map.

InvalidOperatorCallException(String) - Constructor for exception class ca.mcscert.jpipe.operators.InvalidOperatorCallException

IS - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

IS - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

IS() - Method in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

IS() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

IS() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

isError() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

True for ERROR and FATAL.

isFatal() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

True only for FATAL.

isKnown() - Method in record class ca.mcscert.jpipe.model.SourceLocation

True only when a real source position is stored.

isMacro() - Method in record class ca.mcscert.jpipe.commands.ExecutedAction

True when this entry represents a macro expansion rather than direct execution.

J

JPEG - Enum constant in enum class ca.mcscert.jpipe.compiler.Format

JPIPE - Enum constant in enum class ca.mcscert.jpipe.compiler.Format

JPipeBaseListener - Class in ca.mcscert.jpipe.lang

This class provides an empty implementation of JPipeListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

JPipeBaseListener() - Constructor for class ca.mcscert.jpipe.lang.JPipeBaseListener

JpipeExporter - Class in ca.mcscert.jpipe.visitor

Serialises a compiled jPipe model back to .jd source text conforming to the jPipe grammar.

JpipeExporter() - Constructor for class ca.mcscert.jpipe.visitor.JpipeExporter

JPipeLexer - Class in ca.mcscert.jpipe.lang

JPipeLexer(CharStream) - Constructor for class ca.mcscert.jpipe.lang.JPipeLexer

JPipeListener - Interface in ca.mcscert.jpipe.lang

This interface defines a complete listener for a parse tree produced by JPipeParser.

JPipeParser - Class in ca.mcscert.jpipe.lang

JPipeParser(TokenStream) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser

JPipeParser.AbstractContext - Class in ca.mcscert.jpipe.lang

JPipeParser.ConclusionContext - Class in ca.mcscert.jpipe.lang

JPipeParser.ElementContext - Class in ca.mcscert.jpipe.lang

JPipeParser.EvidenceContext - Class in ca.mcscert.jpipe.lang

JPipeParser.Justif_bodyContext - Class in ca.mcscert.jpipe.lang

JPipeParser.JustificationContext - Class in ca.mcscert.jpipe.lang

JPipeParser.Key_val_declContext - Class in ca.mcscert.jpipe.lang

JPipeParser.LoadContext - Class in ca.mcscert.jpipe.lang

JPipeParser.Params_declContext - Class in ca.mcscert.jpipe.lang

JPipeParser.Qualified_idContext - Class in ca.mcscert.jpipe.lang

JPipeParser.RelationContext - Class in ca.mcscert.jpipe.lang

JPipeParser.Rule_configContext - Class in ca.mcscert.jpipe.lang

JPipeParser.StrategyContext - Class in ca.mcscert.jpipe.lang

JPipeParser.Sub_conclusionContext - Class in ca.mcscert.jpipe.lang

JPipeParser.Template_bodyContext - Class in ca.mcscert.jpipe.lang

JPipeParser.TemplateContext - Class in ca.mcscert.jpipe.lang

JPipeParser.UnitContext - Class in ca.mcscert.jpipe.lang

JSON - Enum constant in enum class ca.mcscert.jpipe.compiler.Format

JsonExporter - Class in ca.mcscert.jpipe.visitor

Serialises a single JustificationModel to JSON text.

JsonExporter() - Constructor for class ca.mcscert.jpipe.visitor.JsonExporter

justif_body() - Method in class ca.mcscert.jpipe.lang.JPipeParser

justif_body() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

Justif_bodyContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

justification() - Method in class ca.mcscert.jpipe.lang.JPipeParser

justification() - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

justification(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

Justification - Class in ca.mcscert.jpipe.model

A concrete justification model.

Justification(String) - Constructor for class ca.mcscert.jpipe.model.Justification

JUSTIFICATION - Enum constant in enum class ca.mcscert.jpipe.operators.ModelKind

JUSTIFICATION - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

JUSTIFICATION - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

JUSTIFICATION() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

JustificationContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

JustificationElement - Interface in ca.mcscert.jpipe.model.elements

Sealed root of the element hierarchy.

JustificationModel<E> - Class in ca.mcscert.jpipe.model

Abstract base for all named justification models.

JustificationModel(String) - Constructor for class ca.mcscert.jpipe.model.JustificationModel

justifications() - Method in class ca.mcscert.jpipe.model.Unit

JustificationVisitor<R> - Interface in ca.mcscert.jpipe.visitor

Visitor over the jPipe model hierarchy.

K

key - Variable in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

key_val_decl() - Method in class ca.mcscert.jpipe.lang.JPipeParser

key_val_decl() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

key_val_decl(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

Key_val_declContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

L

label - Variable in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

label - Variable in class ca.mcscert.jpipe.commands.creation.CreateConclusion

label - Variable in class ca.mcscert.jpipe.commands.creation.CreateEvidence

label - Variable in class ca.mcscert.jpipe.commands.creation.CreateStrategy

label - Variable in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

label() - Method in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

label() - Method in class ca.mcscert.jpipe.commands.creation.CreateConclusion

label() - Method in class ca.mcscert.jpipe.commands.creation.CreateEvidence

label() - Method in class ca.mcscert.jpipe.commands.creation.CreateStrategy

label() - Method in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

label() - Method in interface ca.mcscert.jpipe.commands.creation.ElementCreationCommand

Display label of the new element.

label() - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

label() - Method in record class ca.mcscert.jpipe.model.elements.AbstractSupport

Returns the value of the label record component.

label() - Method in class ca.mcscert.jpipe.model.elements.Conclusion

label() - Method in class ca.mcscert.jpipe.model.elements.SubConclusion

label() - Method in interface ca.mcscert.jpipe.model.elements.ElementView

Human-readable display label.

label() - Method in record class ca.mcscert.jpipe.model.elements.Evidence

Returns the value of the label record component.

label() - Method in class ca.mcscert.jpipe.model.elements.Strategy

label() - Method in record class ca.mcscert.jpipe.operators.SourcedElement

LabelEscaper - Class in ca.mcscert.jpipe.util

Converts a human-readable jPipe element label into a valid Python identifier (snake_case).

level() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Returns the value of the level record component.

Lexer - Class in ca.mcscert.jpipe.compiler.steps.transformations

Delegate to ANTLR the task of "lexing" the character stream into relevant tokens.

Lexer() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.Lexer

line() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Returns the value of the line record component.

line() - Method in record class ca.mcscert.jpipe.model.SourceLocation

Returns the value of the line record component.

LINE_COMMENT - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

LINE_COMMENT - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

load() - Method in class ca.mcscert.jpipe.lang.JPipeParser

load() - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

load(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

LOAD - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

LOAD - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

LOAD() - Method in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

LoadContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

LoadResolver - Class in ca.mcscert.jpipe.compiler.steps.transformations

Eliminates all LoadResolver.LoadDirectives from the command list by recursively parsing each referenced file and splicing its prefixed commands in place.

LoadResolver(OperatorRegistry, UnificationEquivalenceRegistry) - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.LoadResolver

location - Variable in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

location - Variable in class ca.mcscert.jpipe.commands.creation.CreateConclusion

location - Variable in class ca.mcscert.jpipe.commands.creation.CreateEvidence

location - Variable in class ca.mcscert.jpipe.commands.creation.CreateStrategy

location - Variable in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

location() - Method in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

location() - Method in class ca.mcscert.jpipe.commands.creation.CreateConclusion

location() - Method in class ca.mcscert.jpipe.commands.creation.CreateEvidence

location() - Method in class ca.mcscert.jpipe.commands.creation.CreateStrategy

location() - Method in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

location() - Method in class ca.mcscert.jpipe.commands.creation.CreateJustification

location() - Method in class ca.mcscert.jpipe.commands.creation.CreateTemplate

location() - Method in interface ca.mcscert.jpipe.commands.creation.ElementCreationCommand

Source location of the element declaration.

location() - Method in class ca.mcscert.jpipe.commands.linking.AddSupport

location() - Method in class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

location() - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

location() - Method in class ca.mcscert.jpipe.commands.linking.RegisterAlias

location() - Method in record class ca.mcscert.jpipe.model.Violation

Returns the value of the location record component.

location() - Method in class ca.mcscert.jpipe.operators.ApplyOperator

location() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns the value of the location record component.

location() - Method in record class ca.mcscert.jpipe.operators.SourcedElement

Returns the value of the location record component.

locationOf(String) - Method in class ca.mcscert.jpipe.model.Unit

Returns the declared location of a model, or SourceLocation.UNKNOWN.

locationOf(String, String) - Method in class ca.mcscert.jpipe.model.Unit

Returns the declared location of an element inside a model, or SourceLocation.UNKNOWN.

locations() - Method in class ca.mcscert.jpipe.model.Unit

Unmodifiable view of the full location registry.

logger - Static variable in class ca.mcscert.jpipe.compiler.model.Transformation

M

MacroCommand - Interface in ca.mcscert.jpipe.commands

A command that expands into a list of RegularCommands at execution time.

main(String[]) - Static method in class ca.mcscert.jpipe.cli.Main

Main - Class in ca.mcscert.jpipe.cli

jPipe CLI entry point.

Main() - Constructor for class ca.mcscert.jpipe.cli.Main

markDiagnosticsRendered() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Signal that a pipeline step has already rendered the diagnostics (e.g.

members() - Method in record class ca.mcscert.jpipe.operators.ElementGroup

Returns the value of the members record component.

merge(String, ElementGroup, AliasRegistry) - Method in interface ca.mcscert.jpipe.operators.MergeFunction

Creates the merged element for group inside resultModelName and registers the mapping in aliases.

mergeFunction(List, Map) - Method in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

mergeFunction(List, Map) - Method in class ca.mcscert.jpipe.operators.builtin.RefineOperator

mergeFunction(List, Map) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Returns the merge function to use for creating result elements from sources and arguments.

MergeFunction - Interface in ca.mcscert.jpipe.operators

Describes how to create the merged element for one ElementGroup.

message() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Returns the value of the message record component.

message() - Method in record class ca.mcscert.jpipe.model.Violation

Returns the value of the message record component.

ModelKind - Enum Class in ca.mcscert.jpipe.operators

Discriminates between the two concrete subtypes of JustificationModel that a CompositionOperator can produce.

modelName() - Method in class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

ModelReplicator - Class in ca.mcscert.jpipe.operators

Produces a List of Commands that copy all elements and support edges from a source model into a target model, without mutating the source.

modeNames - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

N

name - Variable in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

namespace - Variable in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

newId() - Method in class ca.mcscert.jpipe.commands.linking.RegisterAlias

NEWLINE - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

NEWLINE - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

newType() - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

NoOpJustificationVisitor<R> - Class in ca.mcscert.jpipe.visitor

Convenience base class for visitors that only need to handle a subset of the model hierarchy.

NoOpJustificationVisitor() - Constructor for class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

O

of(Source.Provider) - Static method in class ca.mcscert.jpipe.compiler.model.Source

Create a Source from a lambda or method reference.

of(Transformation.Step) - Static method in class ca.mcscert.jpipe.compiler.model.Transformation

Create a Transformation from a lambda or method reference.

oldId() - Method in class ca.mcscert.jpipe.commands.linking.RegisterAlias

OPEN - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

OPEN - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

OPEN() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

OPEN() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

OPEN() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

OPEN_P - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

OPEN_P - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

OPEN_P() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

OPEN_P() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

operator - Variable in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

operator - Variable in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

OperatorCallConfig - Record Class in ca.mcscert.jpipe.operators

Describes a single operator call: what result to produce, which operator to invoke, the source models, call-site arguments, source location, and the declared result kind.

OperatorCallConfig(String, String, List, Map, SourceLocation, ModelKind) - Constructor for record class ca.mcscert.jpipe.operators.OperatorCallConfig

Creates an instance of a OperatorCallConfig record class.

operatorName() - Method in class ca.mcscert.jpipe.operators.ApplyOperator

operatorName() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns the value of the operatorName record component.

OperatorRegistry - Class in ca.mcscert.jpipe.operators

Name-to-CompositionOperator registry.

OperatorRegistry() - Constructor for class ca.mcscert.jpipe.operators.OperatorRegistry

outputFile() - Method in record class ca.mcscert.jpipe.compiler.CompilationConfig

Returns the value of the outputFile record component.

OverrideAbstractSupport - Class in ca.mcscert.jpipe.commands.linking

Replaces an AbstractSupport placeholder (inlined from a template) with a concrete element.

OverrideAbstractSupport(String, String, String, String) - Constructor for class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

OverrideAbstractSupport(String, String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

ownElements() - Method in class ca.mcscert.jpipe.model.JustificationModel

Elements defined directly in this model — their id has no counterpart in any ancestor template.

P

params_decl() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

params_decl() - Method in class ca.mcscert.jpipe.lang.JPipeParser

params_decl() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

Params_declContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

parent - Variable in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

parent - Variable in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

Parser - Class in ca.mcscert.jpipe.compiler.steps.transformations

Delegate to ANTLR the transformation of a token stream into a parse tree.

Parser() - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.Parser

parsingChain() - Static method in class ca.mcscert.jpipe.compiler.CompilerFactory

Parsing chain: reads a source file, lexes, parses, and extracts the action list.

partialUnit() - Method in exception class ca.mcscert.jpipe.commands.CommandExecutionException

The unit as it was at the moment of failure.

partialUnit() - Method in exception class ca.mcscert.jpipe.commands.DeadlockException

The unit as it was at the moment of deadlock.

parts - Variable in class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

path - Variable in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

plainId(String) - Static method in class ca.mcscert.jpipe.model.JustificationModel

Returns the last colon-separated segment of a qualified id.

PNG - Enum constant in enum class ca.mcscert.jpipe.compiler.Format

pourInto(byte[]) - Method in class ca.mcscert.jpipe.compiler.steps.io.sinks.ByteSink

pourInto(String) - Method in class ca.mcscert.jpipe.compiler.steps.io.sinks.StringSink

pourInto(O) - Method in interface ca.mcscert.jpipe.compiler.model.Sink

Write output to the sink's pre-configured destination.

provide(String) - Method in interface ca.mcscert.jpipe.compiler.model.Source.Provider

provideFrom(String) - Method in class ca.mcscert.jpipe.compiler.model.Source

Read sourceName and produce the initial pipeline value.

provideFrom(String) - Method in class ca.mcscert.jpipe.compiler.steps.io.sources.FileSource

put(String, CompositionOperator) - Method in class ca.mcscert.jpipe.operators.OperatorRegistry

Stores value under name.

put(String, EquivalenceRelation) - Method in class ca.mcscert.jpipe.operators.UnificationEquivalenceRegistry

Stores value under name.

PYTHON - Enum constant in enum class ca.mcscert.jpipe.compiler.Format

PythonExporter - Class in ca.mcscert.jpipe.visitor

Serialises a single JustificationModel to a Python module: each element becomes a decorated function named after the element's label (snake_case via LabelEscaper).

PythonExporter() - Constructor for class ca.mcscert.jpipe.visitor.PythonExporter

Q

qualified_id - Variable in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

qualified_id() - Method in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

qualified_id() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

qualified_id() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

qualified_id() - Method in class ca.mcscert.jpipe.lang.JPipeParser

qualified_id() - Method in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

qualified_id() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

qualified_id(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

qualified_id(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Params_declContext

qualified_id(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

qualified_id(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

Qualified_idContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.Qualified_idContext

qualifiedCopy(JustificationElement, String) - Static method in class ca.mcscert.jpipe.model.JustificationModel

Creates a copy of elem.

qualifiedId() - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

qualify(String) - Method in class ca.mcscert.jpipe.visitor.AbstractModelExporter

Qualifies elementId with the current model name: "currentModelName:elementId".

R

recordActions(List) - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Record the ordered list of actions that occurred during interpretation.

recordAlias(String, String, String) - Method in class ca.mcscert.jpipe.model.Unit

Records that oldId in model modelName was merged into newId.

recordLocation(String, SourceLocation) - Method in class ca.mcscert.jpipe.model.Unit

Records where a model (justification or template) was declared.

recordLocation(String, String, SourceLocation) - Method in class ca.mcscert.jpipe.model.Unit

Records where a named element inside a model was declared.

recordStat(String, long) - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Record a named numeric statistic produced during compilation.

RefineOperator - Class in ca.mcscert.jpipe.operators.builtin

Built-in refine composition operator.

RefineOperator() - Constructor for class ca.mcscert.jpipe.operators.builtin.RefineOperator

register(String, CompositionOperator) - Method in class ca.mcscert.jpipe.operators.OperatorRegistry

Registers operator under name.

register(String, EquivalenceRelation) - Method in class ca.mcscert.jpipe.operators.UnificationEquivalenceRegistry

Registers relation under name.

register(String, String) - Method in class ca.mcscert.jpipe.operators.AliasRegistry

Convenience single-id overload.

register(String, List) - Method in class ca.mcscert.jpipe.operators.AliasRegistry

Records that newId is the merged identity of all oldIds.

RegisterAlias - Class in ca.mcscert.jpipe.commands.linking

Records that oldId inside a result model is an alias for the merged element newId.

RegisterAlias(String, String, String) - Constructor for class ca.mcscert.jpipe.commands.linking.RegisterAlias

RegisterAlias(String, String, String, SourceLocation) - Constructor for class ca.mcscert.jpipe.commands.linking.RegisterAlias

registeredNames() - Method in class ca.mcscert.jpipe.operators.OperatorRegistry

Read-only view of all registered names.

registeredNames() - Method in class ca.mcscert.jpipe.operators.UnificationEquivalenceRegistry

Read-only view of all registered names.

RegularCommand - Class in ca.mcscert.jpipe.commands

Base class for commands that execute directly on a Unit.

RegularCommand() - Constructor for class ca.mcscert.jpipe.commands.RegularCommand

relation() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

relation() - Method in class ca.mcscert.jpipe.lang.JPipeParser

relation() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

relation(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

relation(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

RelationContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

removeElement(String) - Method in class ca.mcscert.jpipe.model.JustificationModel

Removes the element with the given id from the elements list.

RemoveElement - Class in ca.mcscert.jpipe.commands.linking

Removes an element by id from a justification model.

RemoveElement(String, String) - Constructor for class ca.mcscert.jpipe.commands.linking.RemoveElement

removeFrom(String, String) - Method in class ca.mcscert.jpipe.model.Unit

RenderWithDot - Class in ca.mcscert.jpipe.compiler.steps.transformations

Compilation step that renders DOT text to a binary image format by invoking the dot command-line tool.

RenderWithDot(String) - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.RenderWithDot

replaceSupport(SupportLeaf, SupportLeaf) - Method in class ca.mcscert.jpipe.model.elements.Strategy

Replaces oldSupport with newSupport in the list of supporters.

replicate(String, JustificationModel, String) - Static method in class ca.mcscert.jpipe.operators.ModelReplicator

Returns commands that replicate source into targetModelName with element ids qualified by prefix.

report(Diagnostic) - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Append a pre-built diagnostic.

requiredArguments() - Method in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

requiredArguments() - Method in class ca.mcscert.jpipe.operators.builtin.RefineOperator

requiredArguments() - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Declares which argument keys this operator requires.

resolve(String) - Method in class ca.mcscert.jpipe.operators.AliasRegistry

Returns the new id that oldId was merged into, or oldId itself if no alias was registered (element was kept as-is).

resolveAlias(String, String) - Method in class ca.mcscert.jpipe.model.Unit

Returns the id that id resolves to in modelName, or id itself if no alias was registered.

resultKind(List, Map) - Method in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

resultKind(List, Map) - Method in class ca.mcscert.jpipe.operators.CompositionOperator

Returns the ModelKind of the model produced by this operator for the given sources and args.

resultName() - Method in class ca.mcscert.jpipe.operators.ApplyOperator

resultName() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns the value of the resultName record component.

RewireStrategySupport - Class in ca.mcscert.jpipe.commands.linking

Replaces a strategy's current supporter with the element at newSupporterId.

RewireStrategySupport(String, String, String, String, String, String) - Constructor for class ca.mcscert.jpipe.commands.linking.RewireStrategySupport

rule() - Method in record class ca.mcscert.jpipe.model.Violation

Returns the value of the rule record component.

RULE_abstract - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_conclusion - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

rule_config() - Method in class ca.mcscert.jpipe.lang.JPipeParser.JustificationContext

rule_config() - Method in class ca.mcscert.jpipe.lang.JPipeParser

rule_config() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

Rule_configContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.Rule_configContext

RULE_element - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_evidence - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_justif_body - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_justification - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_key_val_decl - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_load - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_params_decl - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_qualified_id - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_relation - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_rule_config - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_strategy - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_sub_conclusion - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_template - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_template_body - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

RULE_unit - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

ruleNames - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

ruleNames - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

run(JustificationModel, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.ExportToDot

run(JustificationModel, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.ExportToJpipe

run(JustificationModel, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.ExportToJson

run(JustificationModel, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.ExportToPython

run(Unit, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.DiagnosticReport

run(Unit, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.SelectModel

run(I, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.model.Checker

run(I, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.model.Transformation

Business logic of this step.

run(InputStream, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.CharStreamProvider

run(String, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.RenderWithDot

run(List, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.ActionListInterpretation

run(List, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.LoadResolver

run(CharStream, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.Lexer

run(CommonTokenStream, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.Parser

run(ParseTree, CompilationContext) - Method in class ca.mcscert.jpipe.compiler.steps.transformations.ActionListProvider

S

SameLabel - Class in ca.mcscert.jpipe.operators.equivalences

Two elements are equivalent iff they share the same label, regardless of their ids or source models.

SameLabel() - Constructor for class ca.mcscert.jpipe.operators.equivalences.SameLabel

SameShortId - Class in ca.mcscert.jpipe.operators.equivalences

Two elements are equivalent iff their ids are identical after stripping any namespace prefix (the last colon-separated segment).

SameShortId() - Constructor for class ca.mcscert.jpipe.operators.equivalences.SameShortId

SelectModel - Class in ca.mcscert.jpipe.compiler.steps.transformations

Extracts a single JustificationModel from a Unit by name, or auto-selects it when the unit contains exactly one model and no name is given.

SelectModel(String) - Constructor for class ca.mcscert.jpipe.compiler.steps.transformations.SelectModel

setConclusion(Conclusion) - Method in class ca.mcscert.jpipe.model.JustificationModel

Sets the single required conclusion.

setParent(Template) - Method in class ca.mcscert.jpipe.model.JustificationModel

shouldLog() - Method in class ca.mcscert.jpipe.compiler.model.Transformation

Whether Transformation.fire(I, CompilationContext) should emit a DEBUG log entry for this step.

SINGLE_CONCLUSION - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

A justification model declares more than one conclusion element.

Sink<O> - Interface in ca.mcscert.jpipe.compiler.model

Last step of a compilation chain: serialises the pipeline output to a file.

source() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Returns the value of the source record component.

source() - Method in record class ca.mcscert.jpipe.model.SourceLocation

Returns the value of the source record component.

source() - Method in record class ca.mcscert.jpipe.operators.SourcedElement

Returns the value of the source record component.

Source<I> - Class in ca.mcscert.jpipe.compiler.model

First step of a compilation chain: reads an input file and produces the initial value fed to the first Transformation.

Source() - Constructor for class ca.mcscert.jpipe.compiler.model.Source

Source.Provider<I> - Interface in ca.mcscert.jpipe.compiler.model

Functional interface for the Source.of(Source.Provider) factory.

SourcedElement - Record Class in ca.mcscert.jpipe.operators

Pairs a JustificationElement with the model it was taken from and its original source location, so merge functions can inspect the element in its original context and forward the location to creation commands.

SourcedElement(JustificationElement, JustificationModel, SourceLocation) - Constructor for record class ca.mcscert.jpipe.operators.SourcedElement

Creates an instance of a SourcedElement record class.

SourceLocation - Record Class in ca.mcscert.jpipe.model

Immutable source position at which a named element was declared.

SourceLocation(int, int) - Constructor for record class ca.mcscert.jpipe.model.SourceLocation

Convenience constructor for location without a source file reference.

SourceLocation(String, int, int) - Constructor for record class ca.mcscert.jpipe.model.SourceLocation

Creates an instance of a SourceLocation record class.

sourceNames() - Method in class ca.mcscert.jpipe.operators.ApplyOperator

sourceNames() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns the value of the sourceNames record component.

sourcePath() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Path to the input file being compiled.

spawn(String, List) - Method in class ca.mcscert.jpipe.commands.ExecutionEngine

STAT_COMMANDS_DEFERRALS - Static variable in class ca.mcscert.jpipe.compiler.model.CompilationContext

Total number of execution-engine deferral rounds.

STAT_COMMANDS_MACROS - Static variable in class ca.mcscert.jpipe.compiler.model.CompilationContext

Number of macro commands in the action list.

STAT_COMMANDS_TOTAL - Static variable in class ca.mcscert.jpipe.compiler.model.CompilationContext

Total number of commands in the action list.

stats() - Method in class ca.mcscert.jpipe.compiler.model.CompilationContext

Unmodifiable view of all recorded statistics in insertion order.

STDIN - Static variable in record class ca.mcscert.jpipe.compiler.CompilationConfig

STDOUT - Static variable in record class ca.mcscert.jpipe.compiler.CompilationConfig

stepName() - Method in class ca.mcscert.jpipe.compiler.model.Transformation

Human-readable name used in diagnostic messages.

strategies() - Method in class ca.mcscert.jpipe.model.JustificationModel

strategy() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

strategy() - Method in class ca.mcscert.jpipe.lang.JPipeParser

strategy() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

strategy(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

strategy(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

Strategy - Class in ca.mcscert.jpipe.model.elements

A reasoning strategy connecting evidence to a conclusion.

Strategy(String, String) - Constructor for class ca.mcscert.jpipe.model.elements.Strategy

STRATEGY - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

STRATEGY - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

STRATEGY() - Method in class ca.mcscert.jpipe.lang.JPipeParser.StrategyContext

STRATEGY_ID - Static variable in class ca.mcscert.jpipe.operators.builtin.AssembleOperator

Id of the synthesized aggregating strategy in the result model.

StrategyBacked - Interface in ca.mcscert.jpipe.model.elements

Sealed interface for elements that receive support from exactly one Strategy.

StrategyContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.StrategyContext

STRING - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

STRING - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

STRING() - Method in class ca.mcscert.jpipe.lang.JPipeParser.ElementContext

STRING() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

STRING() - Method in class ca.mcscert.jpipe.lang.JPipeParser.LoadContext

StringSink - Class in ca.mcscert.jpipe.compiler.steps.io.sinks

Pipeline sink that writes a String to an OutputStream supplied at construction time.

StringSink(OutputStream) - Constructor for class ca.mcscert.jpipe.compiler.steps.io.sinks.StringSink

stuckCommands() - Method in exception class ca.mcscert.jpipe.commands.DeadlockException

Commands that could not execute due to unsatisfied conditions.

sub_conclusion() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

sub_conclusion() - Method in class ca.mcscert.jpipe.lang.JPipeParser

sub_conclusion() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

sub_conclusion(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

sub_conclusion(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

Sub_conclusionContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.Sub_conclusionContext

SubConclusion - Class in ca.mcscert.jpipe.model.elements

An intermediate conclusion within a justification.

SubConclusion(String, String) - Constructor for class ca.mcscert.jpipe.model.elements.SubConclusion

SUBCONCLUSION - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

SUBCONCLUSION - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

SUBCONCLUSION() - Method in class ca.mcscert.jpipe.lang.JPipeParser.Sub_conclusionContext

subConclusions() - Method in class ca.mcscert.jpipe.model.JustificationModel

SUPPORT_LNK - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

SUPPORT_LNK - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

SUPPORT_LNK() - Method in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

supportableId() - Method in class ca.mcscert.jpipe.commands.linking.AddSupport

supporterId() - Method in class ca.mcscert.jpipe.commands.linking.AddSupport

SupportLeaf - Interface in ca.mcscert.jpipe.model.elements

Marker interface for elements that can act as direct support in a justification graph: SubConclusion, Evidence, and AbstractSupport.

SVG - Enum constant in enum class ca.mcscert.jpipe.compiler.Format

T

template() - Method in class ca.mcscert.jpipe.lang.JPipeParser

template() - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

template(int) - Method in class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

Template - Class in ca.mcscert.jpipe.model

A reusable justification template (pattern).

Template(String) - Constructor for class ca.mcscert.jpipe.model.Template

TEMPLATE - Enum constant in enum class ca.mcscert.jpipe.operators.ModelKind

TEMPLATE - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

TEMPLATE - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

TEMPLATE() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

template_body() - Method in class ca.mcscert.jpipe.lang.JPipeParser

template_body() - Method in class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

Template_bodyContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.Template_bodyContext

TemplateContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.TemplateContext

templateName() - Method in class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

templates() - Method in class ca.mcscert.jpipe.model.Unit

to - Variable in class ca.mcscert.jpipe.lang.JPipeParser.RelationContext

tokenNames - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

Deprecated.

Use JPipeLexer.VOCABULARY instead.

tokenNames - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

Deprecated.

Use JPipeParser.VOCABULARY instead.

toMethodName(String) - Static method in class ca.mcscert.jpipe.util.LabelEscaper

Convert label to a valid snake_case Python identifier.

toString() - Method in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

toString() - Method in class ca.mcscert.jpipe.commands.creation.CreateConclusion

toString() - Method in class ca.mcscert.jpipe.commands.creation.CreateEvidence

toString() - Method in class ca.mcscert.jpipe.commands.creation.CreateJustification

toString() - Method in class ca.mcscert.jpipe.commands.creation.CreateStrategy

toString() - Method in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

toString() - Method in class ca.mcscert.jpipe.commands.creation.CreateTemplate

toString() - Method in record class ca.mcscert.jpipe.commands.ExecutedAction

Returns a string representation of this record class.

toString() - Method in class ca.mcscert.jpipe.commands.linking.AddElement

toString() - Method in class ca.mcscert.jpipe.commands.linking.AddSupport

toString() - Method in class ca.mcscert.jpipe.commands.linking.ImplementsTemplate

toString() - Method in class ca.mcscert.jpipe.commands.linking.OverrideAbstractSupport

toString() - Method in class ca.mcscert.jpipe.commands.linking.RegisterAlias

toString() - Method in class ca.mcscert.jpipe.commands.linking.RemoveElement

toString() - Method in class ca.mcscert.jpipe.commands.linking.RewireStrategySupport

toString() - Method in record class ca.mcscert.jpipe.compiler.CompilationConfig

Returns a string representation of this record class.

toString() - Method in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Returns a string representation of this record class.

toString() - Method in record class ca.mcscert.jpipe.model.elements.AbstractSupport

Returns a string representation of this record class.

toString() - Method in class ca.mcscert.jpipe.model.elements.Conclusion

toString() - Method in class ca.mcscert.jpipe.model.elements.SubConclusion

toString() - Method in record class ca.mcscert.jpipe.model.elements.Evidence

Returns a string representation of this record class.

toString() - Method in class ca.mcscert.jpipe.model.elements.Strategy

toString() - Method in record class ca.mcscert.jpipe.model.SourceLocation

Returns a string representation of this record class.

toString() - Method in record class ca.mcscert.jpipe.model.Violation

Returns a string representation of this record class.

toString() - Method in class ca.mcscert.jpipe.operators.ApplyOperator

toString() - Method in record class ca.mcscert.jpipe.operators.ElementGroup

Returns a string representation of this record class.

toString() - Method in record class ca.mcscert.jpipe.operators.OperatorCallConfig

Returns a string representation of this record class.

toString() - Method in record class ca.mcscert.jpipe.operators.SourcedElement

Returns a string representation of this record class.

totalDeferrals() - Method in class ca.mcscert.jpipe.commands.ExecutionEngine

Total number of times a command was deferred across all executions.

Transformation<I,O> - Class in ca.mcscert.jpipe.compiler.model

A single step in a compilation chain: a function I → O.

Transformation() - Constructor for class ca.mcscert.jpipe.compiler.model.Transformation

Transformation.Step<I,O> - Interface in ca.mcscert.jpipe.compiler.model

Functional interface for the Transformation.of(Transformation.Step) factory — allows steps to be expressed as lambdas or method references.

U

UnificationEquivalenceRegistry - Class in ca.mcscert.jpipe.operators

Name-to-EquivalenceRelation registry used by Unifier for the automatic post-composition unification phase.

UnificationEquivalenceRegistry() - Constructor for class ca.mcscert.jpipe.operators.UnificationEquivalenceRegistry

Unifier - Class in ca.mcscert.jpipe.operators

Phase 4 post-processor for composition operators.

Unifier(UnificationEquivalenceRegistry) - Constructor for class ca.mcscert.jpipe.operators.Unifier

unify(String, List, Map) - Method in class ca.mcscert.jpipe.operators.Unifier

Applies Phase 4 unification to commands.

unit() - Method in class ca.mcscert.jpipe.lang.JPipeParser

Unit - Class in ca.mcscert.jpipe.model

Root of a compiled jPipe file.

Unit(String) - Constructor for class ca.mcscert.jpipe.model.Unit

unitBuilder() - Static method in class ca.mcscert.jpipe.compiler.CompilerFactory

Full unit builder: extends the parsing chain with model construction, consistency checking, and completeness checking.

UnitContext(ParserRuleContext, int) - Constructor for class ca.mcscert.jpipe.lang.JPipeParser.UnitContext

UNKNOWN - Static variable in record class ca.mcscert.jpipe.model.SourceLocation

Sentinel for "no location known".

UNKNOWN_ELEMENT - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

A command references an element ID that does not exist in its model.

UNKNOWN_LOCATION - Static variable in record class ca.mcscert.jpipe.compiler.model.Diagnostic

Sentinel value for line and column when no location is known.

UNKNOWN_MODEL - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

A command references a model name that does not exist in the unit.

UNRESOLVED_OVERRIDE - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

A qualified override reference appears in a model that does not implement any template.

UNRESOLVED_SYMBOL - Static variable in class ca.mcscert.jpipe.compiler.model.DiagnosticCodes

A command remained unexecuted after all dependency rounds were exhausted.

V

validate() - Method in class ca.mcscert.jpipe.model.JustificationModel

Validates this model for consistency and completeness without requiring a Unit.

validate(Unit) - Method in class ca.mcscert.jpipe.model.validation.CompletenessValidator

Validates all models in the unit.

validate(Unit) - Method in class ca.mcscert.jpipe.model.validation.ConsistencyValidator

Validates all models in the unit.

validateModel(JustificationModel) - Method in class ca.mcscert.jpipe.model.validation.CompletenessValidator

Validates a single model without location data.

validateModel(JustificationModel) - Method in class ca.mcscert.jpipe.model.validation.ConsistencyValidator

Validates a single model without location data.

value - Variable in class ca.mcscert.jpipe.lang.JPipeParser.Key_val_declContext

valueOf(String) - Static method in enum class ca.mcscert.jpipe.compiler.Format

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class ca.mcscert.jpipe.compiler.model.Diagnostic.Level

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class ca.mcscert.jpipe.operators.ModelKind

Returns the enum constant of this class with the specified name.

values() - Static method in enum class ca.mcscert.jpipe.compiler.Format

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class ca.mcscert.jpipe.compiler.model.Diagnostic.Level

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class ca.mcscert.jpipe.operators.ModelKind

Returns an array containing the constants of this enum class, in the order they are declared.

Violation - Record Class in ca.mcscert.jpipe.model

A single rule violation found during consistency or completeness validation.

Violation(String, String, SourceLocation) - Constructor for record class ca.mcscert.jpipe.model.Violation

Creates an instance of a Violation record class.

visit(AbstractSupport) - Method in class ca.mcscert.jpipe.visitor.DotExporter

visit(AbstractSupport) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(AbstractSupport) - Method in class ca.mcscert.jpipe.visitor.JsonExporter

visit(AbstractSupport) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(AbstractSupport) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visit(AbstractSupport) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

visit(Conclusion) - Method in class ca.mcscert.jpipe.visitor.DotExporter

visit(Conclusion) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(Conclusion) - Method in class ca.mcscert.jpipe.visitor.JsonExporter

visit(Conclusion) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(Conclusion) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visit(Conclusion) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

visit(Evidence) - Method in class ca.mcscert.jpipe.visitor.DotExporter

visit(Evidence) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(Evidence) - Method in class ca.mcscert.jpipe.visitor.JsonExporter

visit(Evidence) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(Evidence) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visit(Evidence) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

visit(Strategy) - Method in class ca.mcscert.jpipe.visitor.DotExporter

visit(Strategy) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(Strategy) - Method in class ca.mcscert.jpipe.visitor.JsonExporter

visit(Strategy) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(Strategy) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visit(Strategy) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

visit(SubConclusion) - Method in class ca.mcscert.jpipe.visitor.DotExporter

visit(SubConclusion) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(SubConclusion) - Method in class ca.mcscert.jpipe.visitor.JsonExporter

visit(SubConclusion) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(SubConclusion) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visit(SubConclusion) - Method in class ca.mcscert.jpipe.visitor.PythonExporter

visit(Justification) - Method in class ca.mcscert.jpipe.visitor.AbstractModelExporter

Delegates to AbstractModelExporter.exportModel(JustificationModel).

visit(Justification) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(Justification) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(Justification) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visit(Template) - Method in class ca.mcscert.jpipe.visitor.AbstractModelExporter

Delegates to AbstractModelExporter.exportModel(JustificationModel).

visit(Template) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(Template) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(Template) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visit(Unit) - Method in class ca.mcscert.jpipe.visitor.AbstractModelExporter

Rejects Unit — single-model exporters require a specific model.

visit(Unit) - Method in class ca.mcscert.jpipe.visitor.JpipeExporter

visit(Unit) - Method in interface ca.mcscert.jpipe.visitor.JustificationVisitor

visit(Unit) - Method in class ca.mcscert.jpipe.visitor.NoOpJustificationVisitor

visitErrorNode(ErrorNode) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

visitSelf(JustificationVisitor) - Method in class ca.mcscert.jpipe.model.Justification

visitSelf(JustificationVisitor) - Method in class ca.mcscert.jpipe.model.JustificationModel

visitSelf(JustificationVisitor) - Method in class ca.mcscert.jpipe.model.Template

visitTerminal(TerminalNode) - Method in class ca.mcscert.jpipe.lang.JPipeBaseListener

VOCABULARY - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

VOCABULARY - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

W

WHITESPACE - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

WHITESPACE - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

withId(String) - Method in class ca.mcscert.jpipe.commands.creation.CreateAbstractSupport

withId(String) - Method in class ca.mcscert.jpipe.commands.creation.CreateConclusion

withId(String) - Method in class ca.mcscert.jpipe.commands.creation.CreateEvidence

withId(String) - Method in class ca.mcscert.jpipe.commands.creation.CreateStrategy

withId(String) - Method in class ca.mcscert.jpipe.commands.creation.CreateSubConclusion

withId(String) - Method in interface ca.mcscert.jpipe.commands.creation.ElementCreationCommand

Returns a copy of this command with newId as the element identifier.

_

_ATN - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

_ATN - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

_decisionToDFA - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

_decisionToDFA - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

_serializedATN - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

_serializedATN - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

_sharedContextCache - Static variable in class ca.mcscert.jpipe.lang.JPipeLexer

_sharedContextCache - Static variable in class ca.mcscert.jpipe.lang.JPipeParser

A B C D E F G H I J K L M N O P Q R S T U V W _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form