Class RemoveElement

java.lang.Object

ca.mcscert.jpipe.commands.RegularCommand

ca.mcscert.jpipe.commands.linking.RemoveElement

All Implemented Interfaces:

Command

public final class RemoveElement
extends RegularCommand

Removes an element by id from a justification model.

Constructor Summary

Constructors

Constructor	Description
RemoveElement(String container, String elementId)

Method Summary

Modifier and Type	Method	Description
Predicate<Unit>	condition()
protected void	doExecute(Unit context)
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

RemoveElement

public RemoveElement(String container,
 String elementId)

Method Details

condition

public Predicate<Unit> condition()

doExecute

protected void doExecute(Unit context)

Specified by:

doExecute in class RegularCommand

toString

public String toString()

Overrides:

toString in class Object