public interface ISpecificationSynchInterface
Modifier and Type | Method and Description |
---|---|
java.util.List<LogicTuple> |
getS(IId aid) |
LogicTuple |
inpS(AgentId aid,
LogicTuple t) |
LogicTuple |
inS(AgentId aid,
LogicTuple t) |
LogicTuple |
nopS(AgentId aid,
LogicTuple t) |
LogicTuple |
noS(AgentId aid,
LogicTuple t) |
void |
outS(AgentId aid,
LogicTuple t) |
LogicTuple |
rdpS(AgentId aid,
LogicTuple t) |
LogicTuple |
rdS(AgentId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
setS(IId aid,
LogicTuple t) |
java.util.List<LogicTuple> |
setS(IId aid,
RespectSpecification spec) |
java.util.List<LogicTuple> getS(IId aid) throws OperationNotPossibleException
aid
- the identifier of who is invokin the operationOperationNotPossibleException
- if the operation requested cannot be carried outLogicTuple inpS(AgentId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- 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 outLogicTuple inS(AgentId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- 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 outLogicTuple nopS(AgentId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- 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 outLogicTuple noS(AgentId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- 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 outvoid outS(AgentId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- 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 outLogicTuple rdpS(AgentId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- 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 outLogicTuple rdS(AgentId aid, LogicTuple t) throws InvalidLogicTupleException, OperationNotPossibleException
aid
- 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 outjava.util.List<LogicTuple> setS(IId aid, LogicTuple t) throws OperationNotPossibleException
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 outjava.util.List<LogicTuple> setS(IId aid, RespectSpecification spec) throws OperationNotPossibleException, InvalidSpecificationException
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