public abstract class AbstractTucsonSpecificationAction extends AbstractTucsonAction
Modifier and Type | Field and Description |
---|---|
protected LogicTuple |
event
The tuples representing, respectively, the event, guards and body of a
ReSpecT specification tuple
|
protected LogicTuple |
guards
The tuples representing, respectively, the event, guards and body of a
ReSpecT specification tuple
|
protected LogicTuple |
reaction
The tuples representing, respectively, the event, guards and body of a
ReSpecT specification tuple
|
tcid, tupleCentreName
Constructor and Description |
---|
AbstractTucsonSpecificationAction(TucsonTupleCentreId t,
LogicTuple e,
LogicTuple g,
LogicTuple r)
Builds a TuCSoN action whose target is the given tuple centre and whose
argument is the given ReSpecT specification tuple
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
executeAsynch, executeSynch
protected LogicTuple event
protected LogicTuple guards
protected LogicTuple reaction
public AbstractTucsonSpecificationAction(TucsonTupleCentreId t, LogicTuple e, LogicTuple g, LogicTuple r)
t
- the ID of the TuCSoN tuple centre target of the 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