Modifier and Type | Class and Description |
---|---|
class |
EnvConfigAgent
Environment configuration agent.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractTransducer
This class implements some common behavior of transducers and defines some
methods to offer the essential interface to users.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractAutomaton
FSA-like TuCSoN agent.
|
class |
AbstractTucsonAgent
Base class to extend to implement TuCSoN Agents.
|
Modifier and Type | Method and Description |
---|---|
ITucsonOperation |
OrdinaryAsynchACC.get(TupleCentreId tid,
TucsonOperationCompletionListener l)
get TuCSoN primitive, reads (w/o removing) all the tuples in
the given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.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 |
OrdinaryAsynchACC.in(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
in Linda primitive, retrieves the specified tuple from the
given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.inAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Withdraws from the space all the tuples matching the given template in
one shot (a single transition step).
|
ITucsonOperation |
OrdinaryAsynchACC.inp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
inp Linda primitive, retrieves the specified tuple in the
given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.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 |
SpecificationAsynchACC.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 |
OrdinaryAsynchACC.no(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
no TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.noAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Checks absence from the space of any tuples matching the given template
in one shot (a single transition step).
|
ITucsonOperation |
OrdinaryAsynchACC.nop(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
nop TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.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 |
SpecificationAsynchACC.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 |
OrdinaryAsynchACC.out(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
out Linda primitive, inserts the specified tuple in the
given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.outAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Inject in the space a list of tuples in one shot (a single transition
step).
|
ITucsonOperation |
SpecificationAsynchACC.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 |
OrdinaryAsynchACC.rd(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
rd Linda primitive, reads (w/o removing) the specified tuple
from the given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.rdAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Reads from the space all the tuples matching the given template in one
shot (a single transition step).
|
ITucsonOperation |
OrdinaryAsynchACC.rdp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
rdp Linda primitive, reads (w/o removing) the specified
tuple in the given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.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 |
SpecificationAsynchACC.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 |
OrdinaryAsynchACC.set(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
set TuCSoN primitive, to replace all the tuples in the given
target tuplecentre with that specified in the given list. |
ITucsonOperation |
SpecificationAsynchACC.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 |
SpecificationAsynchACC.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. |
ITucsonOperation |
OrdinaryAsynchACC.spawn(TupleCentreId tid,
Tuple toSpawn,
TucsonOperationCompletionListener l)
spawn TuCSoN primitive, starts a parallel computational
activity within the target node. |
ITucsonOperation |
UniformAsynchACC.uin(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
uin TuCSoN primitive, retrieves the specified tuple from the
given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.uinp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
uinp TuCSoN primitive, retrieves the specified tuple in the
given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.uno(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
uno TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.unop(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
unop TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.urd(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
urd TuCSoN primitive, reads (w/o removing) the specified
tuple from the given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.urdp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
urdp TuCSoN primitive, reads (w/o removing) the specified
tuple in the given target tuplecentre. |
Modifier and Type | Class and Description |
---|---|
class |
AsynchOpsHelper
Helper TuCSoN agent to delegate asynchronous operation to.
|
class |
TucsonListenerWrapper
Class wrapping a TuCSoN listener for a correct coordination with
AsynchOpsHelper and handling queues
update. |
Modifier and Type | Method and Description |
---|---|
TucsonOperationCompletionListener |
TucsonListenerWrapper.getActualListener()
Gets the associated TuCSoN operation completion listener
|
Modifier and Type | Method and Description |
---|---|
boolean |
AsynchOpsHelper.enqueue(AbstractTucsonAction action,
TucsonOperationCompletionListener listener)
Adds an operation to the queue of pending operations, only if the
shutdown operation hasn't been called yet.
|
Constructor and Description |
---|
TucsonListenerWrapper(TucsonOperationCompletionListener l,
AsynchOpsHelper aoh)
Builds a wrapper to an operation listener given the actual listener and
the asynchronous operations handler
|
TucsonOpWrapper(EnhancedAsynchACC eaacc,
AbstractTucsonAction a,
TucsonOperationCompletionListener l)
Builds the wrapper to a TuCSoN operation.
|
TucsonOpWrapper(EnhancedAsynchACC eaacc,
AbstractTucsonAction a,
TucsonOperationCompletionListener l,
long timeout)
Builds the wrapper to a TuCSoN operation.
|
Modifier and Type | Method and Description |
---|---|
abstract ITucsonOperation |
AbstractTucsonAction.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener)
Requests execution of this TuCSoN action in ASYNCHRONOUS mode, that is,
without blocking the caller until operation completion, regardless of the
operation suspensive/predicative semantics (e.g., a
in without
matching tuples does not cause blocking the caller agent) |
Modifier and Type | Method and Description |
---|---|
ITucsonOperation |
RdAll.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
OutAll.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
NoAll.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
InAll.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
Modifier and Type | Method and Description |
---|---|
ITucsonOperation |
Urdp.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
Urd.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
Unop.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
Uno.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
Uinp.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
ITucsonOperation |
Uin.executeAsynch(EnhancedAsynchACC acc,
TucsonOperationCompletionListener listener) |
Modifier and Type | Class and Description |
---|---|
class |
MasterAgent
Prime Calculation example master agent.
|
class |
PrimeCalculator
Prime Calculation example worker agent.
|
Modifier and Type | Class and Description |
---|---|
class |
DiningPhilosopher
A Dining Philosopher: thinks and eats in an endless loop.
|
class |
DiningPhilosophersTest
Classic Dining Philosophers coordination problem tackled by adopting a clear
separation of concerns between coordinables (philosophers) and coordination
medium (table) thanks to TuCSoN ReSpecT tuple centres programmability.
|
Modifier and Type | Class and Description |
---|---|
class |
DDiningPhilosophersTest |
Modifier and Type | Class and Description |
---|---|
class |
HelloWorldAgent
Java TuCSoN Agent extending alice.tucson.api.TucsonAgent base class.
|
Modifier and Type | Class and Description |
---|---|
class |
AdminAgent
The administrator agent, configuring the RBAC properties.
|
class |
AuthorisedAgent
An authorised agent.
|
class |
UnauthorisedAgent
An unauthorised agent.
|
Modifier and Type | Class and Description |
---|---|
class |
ActuatorTransducer
The transducer mediating interactions to/from the actuator probe.
|
class |
SensorTransducer
The transducer mediating interactions to/from the sensor probe.
|
Modifier and Type | Class and Description |
---|---|
class |
TDiningPhilosophersTest
Classic Dining Philosophers coordination problem tackled by adopting a clear
separation of concerns between coordinables (philosophers) and coordination
medium (table) thanks to TuCSoN ReSpecT tuple centres programmability.
|