Class RegisterAlias

java.lang.Object

ca.mcscert.jpipe.commands.RegularCommand

ca.mcscert.jpipe.commands.linking.RegisterAlias

All Implemented Interfaces:

Command

public final class RegisterAlias
extends RegularCommand

Records that oldId inside a result model is an alias for the merged element newId. Persisted to Unit so that post-composition symbol lookups can resolve original element names through Unit.resolveAlias(String, String).

Constructor Summary

Constructors

Constructor	Description
RegisterAlias(String container, String oldId, String newId)
RegisterAlias(String container, String oldId, String newId, SourceLocation location)

Method Summary

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

RegisterAlias

public RegisterAlias(String container,
 String oldId,
 String newId)

RegisterAlias

public RegisterAlias(String container,
 String oldId,
 String newId,
 SourceLocation location)

Method Details

container

public String container()

oldId

public String oldId()

newId

public String newId()

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