public interface SpecificationAsynchACC extends RootACC
ACCProxyAgentSide
,
ACCProxyNodeSide
Modifier and Type | Method and Description |
---|---|
java.util.List<TucsonOpCompletionEvent> |
getCompletionEventsList() |
ITucsonOperation |
getS(TupleCentreId tid,
TucsonOperationCompletionListener l)
get_s specification primitive, reads (w/o removing) all the
ReSpecT specification tuples from the given target tuplecentre
specification space. |
ITucsonOperation |
inpS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
inp_s specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space. |
ITucsonOperation |
inS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
in_s specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space. |
ITucsonOperation |
nopS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
nop_s specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space. |
ITucsonOperation |
noS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
no_s specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space. |
ITucsonOperation |
outS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
out_s specification primitive, adds the ReSpecT Reaction
Specification in the given target tuplecentre specification space. |
ITucsonOperation |
rdpS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
rdp_s specification primitive, reads (w/o removing) a
ReSpecT Reaction Specification from the given target tuplecentre
specification space. |
ITucsonOperation |
rdS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
rd_s specification primitive, reads (w/o removing) a ReSpecT
Reaction Specification from the given target tuplecentre specification
space. |
ITucsonOperation |
setS(TupleCentreId tid,
LogicTuple spec,
TucsonOperationCompletionListener l)
set_s specification primitive, to replace all the ReSpecT
specification tuples in the given target tuplecentre specification space
with that specified in the given tuple. |
ITucsonOperation |
setS(TupleCentreId tid,
java.lang.String spec,
TucsonOperationCompletionListener l)
set_s specification primitive, to replace all the ReSpecT
specification tuples in the given target tuplecentre specification space
with that specified in the given String. |
exit, getPendingOperationsMap
java.util.List<TucsonOpCompletionEvent> getCompletionEventsList()
ITucsonOperation getS(TupleCentreId tid, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
get_s
specification primitive, reads (w/o removing) all the
ReSpecT specification tuples from the given target tuplecentre
specification space.
Semantics is NOT SUSPENSIVE: if the specification space is empty, an
empty list is returned to the TuCSoN Agent exploiting this ACC.tid
- the target TuCSoN tuplecentre id
tid
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation inpS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
inp_s
specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space.
This time the primitive semantics is NOT SUSPENSIVE: if no ReSpecT
specification is found to match the given template, a failure completion
answer is forwarded to the TuCSoN Agent exploiting this ACC.tid
- the target TuCSoN tuplecentre id
tid
event
- the template for the TuCSoN primitive to react toguards
- the template for the guard predicates to be checked for
satisfaction so to actually trigger the body of the ReSpecT
reactionreactionBody
- the template for the computation to be done in response to the
event
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation inS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
in_s
specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space.
Notice that the primitive semantics is still SUSPENSIVE: until no ReSpecT
specification is found to match the given template, no success completion
answer is forwarded to the TuCSoN Agent exploiting this ACC, but thanks
to asynchronous behaviour the TuCSoN Agent could do something else
instead of getting stuck.tid
- the target TuCSoN tuplecentre id
tid
event
- the template for the TuCSoN primitive to react toguards
- the template for the guard predicates to be checked for
satisfaction so to actually trigger the body of the ReSpecT
reactionreactionBody
- the template for the computation to be done in response to the
event
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation nopS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
nop_s
specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space.
This time the primitive semantics is NOT SUSPENSIVE: if any ReSpecT
specification is found to match the given template, a failure completion
answer is forwarded to the TuCSoN Agent exploiting this ACC.tid
- the target TuCSoN tuplecentre id
tid
event
- the template for the TuCSoN primitive to react toguards
- the template for the guard predicates to be checked for
satisfaction so to actually trigger the body of the ReSpecT
reactionreactionBody
- the template for the computation to be done in response to the
event
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation noS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
no_s
specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space.
Notice that the primitive semantics is still SUSPENSIVE: until any
ReSpecT specification is found to match the given template, no success
completion answer is forwarded to the TuCSoN Agent exploiting this ACC,
but thanks to asynchronous behaviour TuCSoN Agent could do something else
instead of getting stuck.tid
- the target TuCSoN tuplecentre id
tid
event
- the template for the TuCSoN primitive to react toguards
- the template for the guard predicates to be checked for
satisfaction so to actually trigger the body of the ReSpecT
reactionreactionBody
- the template for the computation to be done in response to the
event
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation outS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
out_s
specification primitive, adds the ReSpecT Reaction
Specification in the given target tuplecentre specification space.
This TuCSoN out_s
primitive assumes the ORDERED semantics,
hence the reaction specification is SUDDENLY injected in the target space
(if the primitive successfully completes).tid
- the target TuCSoN tuplecentre id
tid
event
- the TuCSoN primitive to react toguards
- the guard predicates to be checked for satisfaction so to
actually trigger the body of the ReSpecT reactionreactionBody
- the computation to be done in response to the
event
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation rdpS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
rdp_s
specification primitive, reads (w/o removing) a
ReSpecT Reaction Specification from the given target tuplecentre
specification space.
This time the primitive semantics is NOT SUSPENSIVE: if no ReSpecT
specification is found to match the given template, a failure completion
answer is forwarded to the TuCSoN Agent exploiting this ACC.tid
- the target TuCSoN tuplecentre id
tid
event
- the template for the TuCSoN primitive to react toguards
- the template for the guard predicates to be checked for
satisfaction so to actually trigger the body of the ReSpecT
reactionreactionBody
- the template for the computation to be done in response to the
event
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation rdS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
rd_s
specification primitive, reads (w/o removing) a ReSpecT
Reaction Specification from the given target tuplecentre specification
space.
Notice that the primitive semantics is still SUSPENSIVE: until no ReSpecT
specification is found to match the given template, no success completion
answer is forwarded to the TuCSoN Agent exploiting this ACC, but thanks
to asynchronous behaviour the TuCSoN Agent could do something else
instead of getting stuck.tid
- the target TuCSoN tuplecentre id
tid
event
- the template for the TuCSoN primitive to react toguards
- the template for the guard predicates to be checked for
satisfaction so to actually trigger the body of the ReSpecT
reactionreactionBody
- the template for the computation to be done in response to the
event
l
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
ITucsonOperation setS(TupleCentreId tid, LogicTuple spec, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
set_s
specification primitive, to replace all the ReSpecT
specification tuples in the given target tuplecentre specification space
with that specified in the given tuple. The ReSpecT specification tuple
should be formatted as a Prolog list of the kind [(E1,G1,R1), ...,
(En,Gn,Rn)] where E = events
, G = guards
,
R = reactionBody
.tid
- the target TuCSoN tuplecentre id
tid
spec
- the new ReSpecT specification to replace the current
specification spacel
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
ITucsonOperation
ITucsonOperation setS(TupleCentreId tid, java.lang.String spec, TucsonOperationCompletionListener l) throws TucsonOperationNotPossibleException, UnreachableNodeException
set_s
specification primitive, to replace all the ReSpecT
specification tuples in the given target tuplecentre specification space
with that specified in the given String. The ReSpecT specification string
should be formatted according to Prolog theory syntax.tid
- the target TuCSoN tuplecentre id
tid
spec
- the new ReSpecT specification to replace the current
specification spacel
- the listener who should be notified upon operation completionTucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkTupleCentreId
,
TucsonOperationCompletionListener
,
ITucsonOperation
,
Theory