Class SubtractionOperation

java.lang.Object

org.kigalisim.lang.operation.SubtractionOperation

All Implemented Interfaces:

Operation

public class SubtractionOperation
extends Object
implements Operation

Calculation that subtracts one calculation from another.

Calculation that resolves two calculations and then subtracts the right from the left by using a PushDownMachine within the QubecTalk runtime.

Constructor Summary

Constructors

Constructor	Description
SubtractionOperation(Operation left, Operation right)	Create a new SubtractionOperation.

Method Summary

Modifier and Type	Method	Description
void	execute(PushDownMachine machine)	Execute the calculation and leave the result at the top of the stack.
OperationStaticSemantics	getStaticSemantics()	Get a record describing this operation's semantics.

Methods inherited from class Object

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

Constructor Details

SubtractionOperation

public SubtractionOperation(Operation left,
 Operation right)

Create a new SubtractionOperation.

Parameters:

left - The left operand of the subtraction.

right - The right operand of the subtraction.

Method Details

execute

public void execute(PushDownMachine machine)

Execute the calculation and leave the result at the top of the stack.

Specified by:

execute in interface Operation

Parameters:

machine - The machine in which to execute the calculation if needed.

getStaticSemantics

public OperationStaticSemantics getStaticSemantics()

Get a record describing this operation's semantics.

Get a record describing this operation's semantics that are inferrable from its static expression in code. In other words, properties and effects which do not require inspection at time of executing the operation.

Specified by:

getStaticSemantics in interface Operation

Returns:

Inference of common static properties found for this operation.