public abstract class AbstractTucsonSpecificationAction extends AbstractTucsonAction
Modifier and Type | Field and Description |
---|---|
protected alice.logictuple.LogicTuple |
event
the tuple representing the event, guards and body of a ReSpecT
specification tuple
|
protected alice.logictuple.LogicTuple |
guards
the tuple representing the event, guards and body of a ReSpecT
specification tuple
|
protected alice.logictuple.LogicTuple |
reaction
the tuple representing the event, guards and body of a ReSpecT
specification tuple
|
tcid, tupleCentreName
Constructor and Description |
---|
AbstractTucsonSpecificationAction(alice.tucson.api.TucsonTupleCentreId t,
alice.logictuple.LogicTuple e,
alice.logictuple.LogicTuple g,
alice.logictuple.LogicTuple r) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
executeAsynch, executeSynch
protected alice.logictuple.LogicTuple event
protected alice.logictuple.LogicTuple guards
protected alice.logictuple.LogicTuple reaction
public AbstractTucsonSpecificationAction(alice.tucson.api.TucsonTupleCentreId t, alice.logictuple.LogicTuple e, alice.logictuple.LogicTuple g, alice.logictuple.LogicTuple r)
t
- the TuCSoN tuple centre id target of the coordination
operatione
- the logic tuple representing the triggering event of the
ReSpecT specification tupleg
- the logic tuple representing the guards of the ReSpecT
specification tupler
- the logic tuple representing the reaction body of the ReSpecT
specification tuple