Class CreateJustification

java.lang.Object

ca.mcscert.jpipe.commands.RegularCommand

ca.mcscert.jpipe.commands.creation.CreateJustification

All Implemented Interfaces:

Command

public final class CreateJustification
extends RegularCommand

Creates a Justification inside a unit.

Constructor Summary

Constructors

Constructor	Description
CreateJustification(String identifier)
CreateJustification(String identifier, SourceLocation location)

Method Summary

Modifier and Type	Method	Description
void	doExecute(Unit context)
String	identifier()
SourceLocation	location()
String	toString()

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

Constructor Details

CreateJustification

public CreateJustification(String identifier)

CreateJustification

public CreateJustification(String identifier,
 SourceLocation location)

Method Details

identifier

public String identifier()

location

public SourceLocation location()

doExecute

public void doExecute(Unit context)

Specified by:

doExecute in class RegularCommand

toString

public String toString()

Overrides:

toString in class Object