Class MarkUnified

java.lang.Object

ca.mcscert.jpipe.commands.RegularCommand

ca.mcscert.jpipe.commands.linking.MarkUnified

All Implemented Interfaces:

Command

public final class MarkUnified
extends RegularCommand

Records that id inside a result model was minted by unification to stand for a group of merged elements. Persisted to Unit so that exporters can tell an id the compiler invented from one an author wrote; see JustificationModel.recordUnifiedId(String).

Constructor Summary

Constructors

Constructor	Description
MarkUnified(String container, String id)

Method Summary

Modifier and Type	Method	Description
String	container()
void	doExecute(Unit context)
String	id()
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

MarkUnified

public MarkUnified(String container,
 String id)

Method Details

container

public String container()

id

public String id()

doExecute

public void doExecute(Unit context)

Specified by:

doExecute in class RegularCommand

toString

public String toString()

Overrides:

toString in class Object