public interface SpecificationSynchACC extends RootACC
ACCProxyAgentSide
,
ACCProxyNodeSide
Modifier and Type | Method and Description |
---|---|
ITucsonOperation |
getS(TupleCentreId tid,
java.lang.Long timeout)
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,
java.lang.Long timeout)
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,
java.lang.Long timeout)
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,
java.lang.Long timeout)
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,
java.lang.Long timeout)
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,
java.lang.Long timeout)
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,
java.lang.Long timeout)
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,
java.lang.Long timeout)
in_s specification primitive, reads (w/o removing) a ReSpecT
Reaction Specification from the given target tuplecentre specification
space. |
ITucsonOperation |
setS(TupleCentreId tid,
LogicTuple spec,
java.lang.Long timeout)
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,
java.lang.Long timeout)
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. |
enterACC, exit, getPassword, getPendingOperationsMap, getUsername, getUUID, isACCEntered
ITucsonOperation getS(TupleCentreId tid, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation inpS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation inS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
in_s
specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space.
Notice that the primitive semantics is 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, which then
is blocked waiting.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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation nopS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation noS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
no_s
specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space.
Notice that the primitive semantics is 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, which then
is blocked waiting.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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation outS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation rdpS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation rdS(TupleCentreId tid, LogicTuple event, LogicTuple guards, LogicTuple reactionBody, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
in_s
specification primitive, reads (w/o removing) a ReSpecT
Reaction Specification from the given target tuplecentre specification
space.
Notice that the primitive semantics is 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, which then
is blocked waiting.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
timeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation setS(TupleCentreId tid, LogicTuple spec, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
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 spacetimeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
ITucsonOperation setS(TupleCentreId tid, java.lang.String spec, java.lang.Long timeout) throws TucsonOperationNotPossibleException, UnreachableNodeException, OperationTimeOutException
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 spacetimeout
- the maximum waiting time for completion tolerated by the
TuCSoN agent behind this ACC. Notice that reaching the timeout
just unblocks the agent, but the request IS NOT REMOVED from
TuCSoN node pending requests (will still be served at sometime
in the future).TucsonOperationNotPossibleException
- if the requested operation cannot be carried outUnreachableNodeException
- if the target tuple centre is not reachable over the networkOperationTimeOutException
- if the operation timeout expired prior to operation
completionTupleCentreId
,
ITucsonOperation
,
Theory