Class CreateSubConclusion

java.lang.Object

ca.mcscert.jpipe.commands.RegularCommand

ca.mcscert.jpipe.commands.creation.CreateSubConclusion

All Implemented Interfaces:

Command, ElementCreationCommand, ElementView

public final class CreateSubConclusion
extends RegularCommand

Creates a SubConclusion inside a justification.

Field Summary

Fields

Modifier and Type	Field	Description
protected final String	container
protected final String	identifier
protected final String	label
protected final SourceLocation	location

Constructor Summary

Constructors

Constructor	Description
CreateSubConclusion(String container, String identifier, String label)
CreateSubConclusion(String container, String identifier, String label, SourceLocation location)

Method Summary

Modifier and Type	Method	Description
String	container()	Name of the model this command adds an element to.
void	doExecute(Unit context)
String	identifier()	Id assigned to the new element.
String	label()	Display label of the new element.
SourceLocation	location()	Source location of the element declaration.
String	toString()
ElementCreationCommand	withId(String newId)	Returns a copy of this command with newId as the element identifier.

Methods inherited from class RegularCommand

execute

Methods inherited from class Object

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

Methods inherited from interface Command

condition, execute

Methods inherited from interface ElementCreationCommand

id

Field Details

container

protected final String container

identifier

protected final String identifier

label

protected final String label

location

protected final SourceLocation location

Constructor Details

CreateSubConclusion

public CreateSubConclusion(String container,
 String identifier,
 String label)

CreateSubConclusion

public CreateSubConclusion(String container,
 String identifier,
 String label,
 SourceLocation location)

Method Details

withId

public ElementCreationCommand withId(String newId)

Description copied from interface: ElementCreationCommand

Returns a copy of this command with newId as the element identifier. The container, label, and location are preserved.

doExecute

public void doExecute(Unit context)

Specified by:

doExecute in class RegularCommand

toString

public String toString()

Overrides:

toString in class Object

container

public String container()

Description copied from interface: ElementCreationCommand

Name of the model this command adds an element to.

Specified by:

container in interface ElementCreationCommand

identifier

public String identifier()

Description copied from interface: ElementCreationCommand

Id assigned to the new element.

Specified by:

identifier in interface ElementCreationCommand

label

public String label()

Description copied from interface: ElementCreationCommand

Display label of the new element.

Specified by:

label in interface ElementCreationCommand

Specified by:

label in interface ElementView

location

public SourceLocation location()

Description copied from interface: ElementCreationCommand

Source location of the element declaration.

Specified by:

location in interface ElementCreationCommand