public class SpecificationSynchInterface extends RootInterface implements ISpecificationSynchInterface
Constructor and Description |
---|
SpecificationSynchInterface(IRespectTC core) |
Modifier and Type | Method and Description |
---|---|
java.util.List<LogicTuple> |
getS(IId aid) |
LogicTuple |
inpS(AgentId id,
LogicTuple t) |
LogicTuple |
inS(AgentId id,
LogicTuple t) |
LogicTuple |
nopS(AgentId id,
LogicTuple t) |
LogicTuple |
noS(AgentId id,
LogicTuple t) |
void |
outS(AgentId id,
LogicTuple t) |
LogicTuple |
rdpS(AgentId id,
LogicTuple t) |
LogicTuple |
rdS(AgentId id,
LogicTuple t) |
java.util.List<LogicTuple> |
setS(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
setS(IId aid,
RespectSpecification spec) |
getCore, unify
public SpecificationSynchInterface(IRespectTC core)
core
- the ReSpecT tuple centres manager this interface refers topublic java.util.List<LogicTuple> getS(IId aid) throws OperationNotPossibleException
getS
in interface ISpecificationSynchInterface
aid
- the identifier of who is invokin the operationOperationNotPossibleException
- if the operation requested cannot be carried outpublic LogicTuple inpS(AgentId id, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
inpS
in interface ISpecificationSynchInterface
id
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outpublic LogicTuple inS(AgentId id, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
inS
in interface ISpecificationSynchInterface
id
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outpublic LogicTuple nopS(AgentId id, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
nopS
in interface ISpecificationSynchInterface
id
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outpublic LogicTuple noS(AgentId id, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
noS
in interface ISpecificationSynchInterface
id
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outpublic void outS(AgentId id, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
outS
in interface ISpecificationSynchInterface
id
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outpublic LogicTuple rdpS(AgentId id, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
rdpS
in interface ISpecificationSynchInterface
id
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outpublic LogicTuple rdS(AgentId id, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
rdS
in interface ISpecificationSynchInterface
id
- the identifier of who is invokin the operationt
- the tuple argument of the operationInvalidLogicTupleException
- if the tuple given as argument is not a valid Prolog tupleOperationNotPossibleException
- if the operation requested cannot be carried outpublic java.util.List<LogicTuple> setS(IId aid, LogicTuple t) throws OperationNotPossibleException
setS
in interface ISpecificationSynchInterface
aid
- the identifier of who is invokin the operationt
- the tuple representation of the ReSpecT specification to setOperationNotPossibleException
- if the operation requested cannot be carried outpublic java.util.List<LogicTuple> setS(IId aid, RespectSpecification spec) throws OperationNotPossibleException, InvalidSpecificationException
setS
in interface ISpecificationSynchInterface
aid
- the identifier of who is invokin the operationspec
- the String representation of the ReSpecT specification to setOperationNotPossibleException
- if the operation requested cannot be carried outInvalidSpecificationException
- if the given String does not represent a valid ReSpecT
specification