Class ApplyOperator

java.lang.Object

ca.mcscert.jpipe.operators.ApplyOperator

All Implemented Interfaces:

Command, MacroCommand

public final class ApplyOperator
extends Object
implements MacroCommand

A deferred MacroCommand that expands an operator call into the Commands needed to build the result model.

Execution is deferred until all source models named in sourceNames() are present in the Unit. Once the condition is satisfied, expand(Unit) looks up the operator in the OperatorRegistry, gathers the source models, and delegates to CompositionOperator.apply(String, List, Map).

Constructor Summary

Constructors

Constructor	Description
ApplyOperator(OperatorCallConfig config, OperatorRegistry operators, UnificationEquivalenceRegistry unificationEquivalences)

Method Summary

Modifier and Type	Method	Description
Map<String,String>	arguments()
Predicate<Unit>	condition()
List<Command>	expand(Unit context)	Expands this macro into a sequence of atomic commands to be executed in order.
SourceLocation	location()
String	operatorName()
String	resultName()
List<String>	sourceNames()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface MacroCommand

execute

Constructor Details

ApplyOperator

public ApplyOperator(OperatorCallConfig config,
 OperatorRegistry operators,
 UnificationEquivalenceRegistry unificationEquivalences)

Method Details

resultName

public String resultName()

operatorName

public String operatorName()

sourceNames

public List<String> sourceNames()

arguments

public Map<String,String> arguments()

location

public SourceLocation location()

condition

public Predicate<Unit> condition()

Specified by:

condition in interface Command

expand

public List<Command> expand(Unit context)

Description copied from interface: MacroCommand

Expands this macro into a sequence of atomic commands to be executed in order.

Specified by:

expand in interface MacroCommand

Parameters:

context - the current unit, available to inspect model state.

Returns:

the list of commands to splice into the execution queue.

toString

public String toString()

Overrides:

toString in class Object