Uses of Record Class
ca.mcscert.jpipe.model.SourceLocation

Packages that use SourceLocation

Package	Description
ca.mcscert.jpipe.commands.creation
ca.mcscert.jpipe.commands.linking
ca.mcscert.jpipe.model
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.operators.builtin

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

Fields in ca.mcscert.jpipe.commands.creation declared as SourceLocation

Modifier and Type	Field	Description
protected final SourceLocation	AbstractElementCreationCommand.location
protected final SourceLocation	AbstractElementCreationCommand.location
protected final SourceLocation	AbstractElementCreationCommand.location
protected final SourceLocation	AbstractElementCreationCommand.location
protected final SourceLocation	AbstractElementCreationCommand.location

Methods in ca.mcscert.jpipe.commands.creation that return SourceLocation

Modifier and Type	Method	Description
SourceLocation	CreateJustification.location()
SourceLocation	CreateTemplate.location()
SourceLocation	ElementCreationCommand.location()	Source location of the element declaration.

Constructors in ca.mcscert.jpipe.commands.creation with parameters of type SourceLocation

Modifier	Constructor	Description
	CreateAbstractSupport(String container, String identifier, String label, SourceLocation location)
	CreateConclusion(String container, String identifier, String label, SourceLocation location)
	CreateEvidence(String container, String identifier, String label, SourceLocation location)
	CreateJustification(String identifier, SourceLocation location)
	CreateStrategy(String container, String identifier, String label, SourceLocation location)
	CreateSubConclusion(String container, String identifier, String label, SourceLocation location)
	CreateTemplate(String identifier, SourceLocation location)

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

Methods in ca.mcscert.jpipe.commands.linking that return SourceLocation

Modifier and Type	Method	Description
SourceLocation	AddSupport.location()
SourceLocation	ImplementsTemplate.location()
SourceLocation	OverrideAbstractSupport.location()
SourceLocation	RegisterAlias.location()

Constructors in ca.mcscert.jpipe.commands.linking with parameters of type SourceLocation

Modifier	Constructor	Description
	AddSupport(String container, String supportableId, String supporterId, SourceLocation location)
	ImplementsTemplate(String modelName, String templateName, SourceLocation location)
	OverrideAbstractSupport(String container, String qualifiedId, String newType, String label, SourceLocation location)
	RegisterAlias(String container, String oldId, String newId, SourceLocation location)

Uses of SourceLocation in ca.mcscert.jpipe.model

Fields in ca.mcscert.jpipe.model declared as SourceLocation

Modifier and Type	Field	Description
static final SourceLocation	SourceLocation.UNKNOWN	Sentinel for "no location known".

Methods in ca.mcscert.jpipe.model that return SourceLocation

Modifier and Type	Method	Description
SourceLocation	Violation.location()	Returns the value of the location record component.
SourceLocation	Unit.locationOf(String modelName)	Returns the declared location of a model, or SourceLocation.UNKNOWN.
SourceLocation	Unit.locationOf(String modelName, String elementId)	Returns the declared location of an element inside a model, or SourceLocation.UNKNOWN.

Methods in ca.mcscert.jpipe.model that return types with arguments of type SourceLocation

Modifier and Type	Method	Description
Map<String, SourceLocation>	Unit.locations()	Unmodifiable view of the full location registry.

Methods in ca.mcscert.jpipe.model with parameters of type SourceLocation

Modifier and Type	Method	Description
void	Unit.recordLocation(String modelName, SourceLocation loc)	Records where a model (justification or template) was declared.
void	Unit.recordLocation(String modelName, String elementId, SourceLocation loc)	Records where a named element inside a model was declared.

Constructors in ca.mcscert.jpipe.model with parameters of type SourceLocation

Modifier	Constructor	Description
	Violation(String rule, String message, SourceLocation location)	Creates an instance of a Violation record class.

Uses of SourceLocation in ca.mcscert.jpipe.operators

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

Modifier and Type	Method	Description
SourceLocation	ApplyOperator.location()
SourceLocation	OperatorCallConfig.location()	Returns the value of the location record component.
SourceLocation	SourcedElement.location()	Returns the value of the location record component.

Methods in ca.mcscert.jpipe.operators with parameters of type SourceLocation

Modifier and Type	Method	Description
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.
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).

Constructors in ca.mcscert.jpipe.operators with parameters of type SourceLocation

Modifier	Constructor	Description
	OperatorCallConfig(String resultName, String operatorName, List<String> sourceNames, Map<String,String> arguments, SourceLocation location, ModelKind declaredKind)	Creates an instance of a OperatorCallConfig record class.
	SourcedElement(JustificationElement element, JustificationModel<?> source, SourceLocation location)	Creates an instance of a SourcedElement record class.

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

Methods in ca.mcscert.jpipe.operators.builtin with parameters of type SourceLocation

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)