Class JointOperation

java.lang.Object

org.kigalisim.lang.operation.JointOperation

All Implemented Interfaces:

Operation

public class JointOperation
extends Object
implements Operation

Conjunction operation which performs one operation followed by another.

Constructor Summary

Constructors

Constructor	Description
JointOperation(Operation inner, Operation outer)	Create a new joint operation which persoms one followed by another.

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

JointOperation

public JointOperation(Operation inner,
 Operation outer)

Create a new joint operation which persoms one followed by another.

Parameters:

inner - The first operation to perform.

outer - The second opeation to perform.

Method Details

execute

public void execute(PushDownMachine machine)

Description copied from interface: Operation

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.