Class ImplementsTemplate

java.lang.Object

ca.mcscert.jpipe.commands.RegularCommand

ca.mcscert.jpipe.commands.linking.ImplementsTemplate

All Implemented Interfaces:

Command

public final class ImplementsTemplate
extends RegularCommand

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

The command defers execution until both models are present in the unit.

Constructor Summary

Constructors

Constructor	Description
ImplementsTemplate(String modelName, String templateName)
ImplementsTemplate(String modelName, String templateName, SourceLocation location)

Method Summary

Modifier and Type	Method	Description
Predicate<Unit>	condition()
void	doExecute(Unit context)
SourceLocation	location()
String	modelName()
String	templateName()
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

ImplementsTemplate

public ImplementsTemplate(String modelName,
 String templateName)

ImplementsTemplate

public ImplementsTemplate(String modelName,
 String templateName,
 SourceLocation location)

Method Details

modelName

public String modelName()

templateName

public String templateName()

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