Uses of Interface
ca.mcscert.jpipe.commands.Command

Packages that use Command

Package	Description
ca.mcscert.jpipe.commands
ca.mcscert.jpipe.commands.creation
ca.mcscert.jpipe.commands.linking
ca.mcscert.jpipe.compiler
ca.mcscert.jpipe.compiler.steps.transformations
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.operators.builtin

Uses of Command in ca.mcscert.jpipe.commands

Subinterfaces of Command in ca.mcscert.jpipe.commands

Modifier and Type	Interface	Description
interface	MacroCommand	A command that expands into a list of RegularCommands at execution time.

Classes in ca.mcscert.jpipe.commands that implement Command

Modifier and Type	Class	Description
class	RegularCommand	Base class for commands that execute directly on a Unit.

Methods in ca.mcscert.jpipe.commands that return Command

Modifier and Type	Method	Description
Command	ExecutedAction.command()	Returns the value of the command record component.
Command	CommandExecutionException.failedCommand()	The command whose execution failed.

Methods in ca.mcscert.jpipe.commands that return types with arguments of type Command

Modifier and Type	Method	Description
List<Command>	MacroCommand.expand(Unit context)	Expands this macro into a sequence of atomic commands to be executed in order.
List<Command>	DeadlockException.stuckCommands()	Commands that could not execute due to unsatisfied conditions.

Method parameters in ca.mcscert.jpipe.commands with type arguments of type Command

Modifier and Type	Method	Description
Unit	ExecutionEngine.enrich(Unit context, List<Command> commands)
Unit	ExecutionEngine.spawn(String source, List<Command> commands)

Constructors in ca.mcscert.jpipe.commands with parameters of type Command

Modifier	Constructor	Description
	CommandExecutionException(Command failedCommand, Unit partialUnit, Throwable cause)
	ExecutedAction(Command command, int depth)	Creates an instance of a ExecutedAction record class.

Constructor parameters in ca.mcscert.jpipe.commands with type arguments of type Command

Modifier	Constructor	Description
	DeadlockException(String message, List<Command> stuckCommands, Unit partialUnit)

Uses of Command in ca.mcscert.jpipe.commands.creation

Subinterfaces of Command in ca.mcscert.jpipe.commands.creation

Modifier and Type	Interface	Description
interface	ElementCreationCommand	Sealed interface common to all element-creation commands.

Classes in ca.mcscert.jpipe.commands.creation that implement Command

Modifier and Type	Class	Description
final class	CreateAbstractSupport	Creates an AbstractSupport inside a template.
final class	CreateConclusion	Creates a Conclusion inside a justification or template.
final class	CreateEvidence	Creates an Evidence inside a justification.
final class	CreateJustification	Creates a Justification inside a unit.
final class	CreateStrategy	Creates a Strategy inside a justification.
final class	CreateSubConclusion	Creates a SubConclusion inside a justification.
final class	CreateTemplate	Creates a Template inside a unit.

Uses of Command in ca.mcscert.jpipe.commands.linking

Classes in ca.mcscert.jpipe.commands.linking that implement Command

Modifier and Type	Class	Description
final class	AddElement	Adds a pre-built element to a justification model.
final class	AddSupport	Establishes a support edge between two elements that already exist in the same justification model.
final class	ImplementsTemplate	Links a justification model to the Template it implements, by setting the template as the model's parent.
final class	OverrideAbstractSupport	Replaces an AbstractSupport placeholder (inlined from a template) with a concrete element.
final class	RegisterAlias	Records that oldId inside a result model is an alias for the merged element newId.
final class	RemoveElement	Removes an element by id from a justification model.
final class	RewireStrategySupport	Replaces a strategy's current supporter with the element at newSupporterId.

Methods in ca.mcscert.jpipe.commands.linking that return types with arguments of type Command

Modifier and Type	Method	Description
List<Command>	OverrideAbstractSupport.expand(Unit unit)

Uses of Command in ca.mcscert.jpipe.compiler

Methods in ca.mcscert.jpipe.compiler that return types with arguments of type Command

Modifier and Type	Method	Description
static ChainBuilder<InputStream, List<Command>>	CompilerFactory.parsingChain()	Parsing chain: reads a source file, lexes, parses, and extracts the action list.
static Transformation<List<Command>, Unit>	CompilerFactory.unitBuilder()	Full unit builder: extends the parsing chain with model construction, consistency checking, and completeness checking.

Uses of Command in ca.mcscert.jpipe.compiler.steps.transformations

Subclasses with type arguments of type Command in ca.mcscert.jpipe.compiler.steps.transformations

Modifier and Type	Class	Description
final class	ActionListInterpretation	Interprets a list of Commands into a Unit by executing them through the ExecutionEngine.
final class	ActionListProvider	Create a list of commands to build a model out of a parse tree.
final class	LoadResolver	Eliminates all LoadResolver.LoadDirectives from the command list by recursively parsing each referenced file and splicing its prefixed commands in place.
final class	LoadResolver	Eliminates all LoadResolver.LoadDirectives from the command list by recursively parsing each referenced file and splicing its prefixed commands in place.

Methods in ca.mcscert.jpipe.compiler.steps.transformations that return types with arguments of type Command

Modifier and Type	Method	Description
protected List<Command>	ActionListProvider.run(org.antlr.v4.runtime.tree.ParseTree input, CompilationContext ctx)
protected List<Command>	LoadResolver.run(List<Command> commands, CompilationContext ctx)

Method parameters in ca.mcscert.jpipe.compiler.steps.transformations with type arguments of type Command

Modifier and Type	Method	Description
protected Unit	ActionListInterpretation.run(List<Command> input, CompilationContext ctx)
protected List<Command>	LoadResolver.run(List<Command> commands, CompilationContext ctx)

Uses of Command in ca.mcscert.jpipe.operators

Classes in ca.mcscert.jpipe.operators that implement Command

Modifier and Type	Class	Description
final class	ApplyOperator	A deferred MacroCommand that expands an operator call into the Commands needed to build the result model.

Methods in ca.mcscert.jpipe.operators that return Command

Modifier and Type	Method	Description
protected abstract Command	CompositionOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String,String> arguments)	Returns the command that creates the result model (typically CreateJustification or CreateTemplate).

Methods in ca.mcscert.jpipe.operators that return types with arguments of type Command

Modifier and Type	Method	Description
protected List<Command>	CompositionOperator.additionalCommands(String resultName, List<JustificationModel<?>> sources, AliasRegistry aliases, Map<String,String> args)	Returns additional commands to append after Phase 2 edge reconstruction.
final List<Command>	CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String,String> arguments)	Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.
final List<Command>	CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String,String> arguments, SourceLocation location)	Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.
final List<Command>	CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String,String> arguments, SourceLocation location, Map<String, SourceLocation> knownLocations)	Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.
List<Command>	ApplyOperator.expand(Unit context)
List<Command>	MergeFunction.merge(String resultModelName, ElementGroup group, AliasRegistry aliases)	Creates the merged element for group inside resultModelName and registers the mapping in aliases.
static List<Command>	ModelReplicator.replicate(String targetModelName, JustificationModel<?> source, String prefix)	Returns commands that replicate source into targetModelName with element ids qualified by prefix.
List<Command>	Unifier.unify(String resultName, List<Command> commands, Map<String,String> args)	Applies Phase 4 unification to commands.

Method parameters in ca.mcscert.jpipe.operators with type arguments of type Command

Modifier and Type	Method	Description
List<Command>	Unifier.unify(String resultName, List<Command> commands, Map<String,String> args)	Applies Phase 4 unification to commands.

Uses of Command in ca.mcscert.jpipe.operators.builtin

Methods in ca.mcscert.jpipe.operators.builtin that return Command

Modifier and Type	Method	Description
protected Command	AssembleOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String,String> arguments)
protected Command	RefineOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String,String> arguments)

Methods in ca.mcscert.jpipe.operators.builtin that return types with arguments of type Command

Modifier and Type	Method	Description
protected List<Command>	AssembleOperator.additionalCommands(String resultName, List<JustificationModel<?>> sources, AliasRegistry aliases, Map<String,String> args)