Class AddSupport

java.lang.Object

ca.mcscert.jpipe.commands.RegularCommand

ca.mcscert.jpipe.commands.linking.AddSupport

All Implemented Interfaces:

Command

public final class AddSupport
extends RegularCommand

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

Valid pairs:

• Conclusion supported by Strategy
• SubConclusion supported by Strategy
• Strategy supported by any SupportLeaf (Evidence, SubConclusion, AbstractSupport)

The command defers execution until both elements are present in the model, which handles the case where elements are declared out of order in the source.

Constructor Summary

Constructors

Constructor	Description
AddSupport(String container, String supportableId, String supporterId)
AddSupport(String container, String supportableId, String supporterId, SourceLocation location)

Method Summary

Modifier and Type	Method	Description
Predicate<Unit>	condition()
String	container()
void	doExecute(Unit context)
SourceLocation	location()
String	supportableId()
String	supporterId()
String	toString()

Methods inherited from class RegularCommand

execute

Methods inherited from class Object

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

Constructor Details

AddSupport

public AddSupport(String container,
 String supportableId,
 String supporterId)

AddSupport

public AddSupport(String container,
 String supportableId,
 String supporterId,
 SourceLocation location)

Method Details

container

public String container()

supportableId

public String supportableId()

supporterId

public String supporterId()

location

public SourceLocation location()

condition

public Predicate<Unit> condition()

doExecute

public void doExecute(Unit context)

Specified by:

doExecute in class RegularCommand

toString

public String toString()

Overrides:

toString in class Object