From 92c65969798d0a3b02055e265d1c44a9a79ea7f8 Mon Sep 17 00:00:00 2001 From: Dimitri Sokolyuk Date: Fri, 23 Oct 2015 15:27:38 +0200 Subject: Split files --- .../Remote-Operations-Generic-ROS-PDUs.asn1 | 178 +++++++++++++++++++++ 1 file changed, 178 insertions(+) create mode 100644 csta/source-files/Remote-Operations-Generic-ROS-PDUs.asn1 (limited to 'csta/source-files/Remote-Operations-Generic-ROS-PDUs.asn1') diff --git a/csta/source-files/Remote-Operations-Generic-ROS-PDUs.asn1 b/csta/source-files/Remote-Operations-Generic-ROS-PDUs.asn1 new file mode 100644 index 0000000..e62bd48 --- /dev/null +++ b/csta/source-files/Remote-Operations-Generic-ROS-PDUs.asn1 @@ -0,0 +1,178 @@ +Remote-Operations-Generic-ROS-PDUs {joint-iso-itu-t remote-operations(4) generic-ROS-PDUs(6) version1(0)} +DEFINITIONS IMPLICIT TAGS ::= +BEGIN +-- exports everything +IMPORTS OPERATION, ERROR FROM Remote-Operations-Information-Objects{joint-iso-itu-t remote-operations(4) informationObjects(5) version1(0)}; +ROS {InvokeId:InvokeIdSet, OPERATION:Invokable, OPERATION:Returnable} ::= CHOICE +{ + invoke [1] Invoke {{InvokeIdSet}, {Invokable}}, + returnResult [2] ReturnResult {{Returnable}}, + returnError [3] ReturnError {{Errors{{Returnable}}}}, + reject [4] Reject +} +(CONSTRAINED BY { -- must conform to the above definition -- } +! RejectProblem : general-unrecognisedPDU) +Invoke {InvokeId:InvokeIdSet, OPERATION:Operations} ::= SEQUENCE +{ + invokeId InvokeId (InvokeIdSet) + (CONSTRAINED BY {-- must be unambiguous --} + ! RejectProblem : invoke-duplicateInvocation), + linkedId CHOICE { + present [0] IMPLICIT present < InvokeId, + absent [1] IMPLICIT NULL + } + (CONSTRAINED BY {-- must identify an outstanding operation --} + ! RejectProblem : invoke-unrecognisedLinkedId) + (CONSTRAINED BY {-- which has one or more linked operations--} + ! RejectProblem : invoke-linkedResponseUnexpected) + OPTIONAL, + opcode OPERATION.&operationCode + ({Operations} + ! RejectProblem : invoke-unrecognisedOperation), + argument OPERATION.&ArgumentType + ({Operations} {@opcode} + ! RejectProblem : invoke-mistypedArgument) + OPTIONAL +} +(CONSTRAINED BY { -- must conform to the above definition -- } +! RejectProblem : general-mistypedPDU) +( + WITH COMPONENTS + {..., + linkedId ABSENT + } +| WITH COMPONENTS + {..., + linkedId PRESENT, + opcode + (CONSTRAINED BY {-- must be in the &Linked field of the associated operation --} + ! RejectProblem : invoke-unexpectedLinkedOperation) + } +) + +ReturnResult {OPERATION:Operations}::= SEQUENCE +{ + invokeId InvokeId + (CONSTRAINED BY {-- must be that for an outstanding operation --} + ! RejectProblem : returnResult-unrecognisedInvocation) + (CONSTRAINED BY {-- which returns a result --} + ! RejectProblem : returnResult-resultResponseUnexpected), + result SEQUENCE + { + opcode OPERATION.&operationCode + ({Operations})(CONSTRAINED BY {-- identified by invokeId --} + ! RejectProblem : returnResult-unrecognisedInvocation), + result OPERATION.&ResultType + ({Operations} {@.opcode} + ! RejectProblem : returnResult-mistypedResult) + } + OPTIONAL +} +(CONSTRAINED BY { -- must conform to the above definition -- } +! RejectProblem : general-mistypedPDU) +ReturnError {ERROR:Errors} ::= SEQUENCE +{ + invokeId InvokeId + (CONSTRAINED BY {-- must be that for an outstanding operation --} + ! RejectProblem : returnError-unrecognisedInvocation) + (CONSTRAINED BY {-- which returns an error --} + ! RejectProblem : returnError-errorResponseUnexpected), + errcode ERROR.&errorCode + ({Errors} + ! RejectProblem : returnError-unrecognisedError) + (CONSTRAINED BY {-- must be in the &Errors field of the associated -- + -- operation --} + ! RejectProblem : returnError-unexpectedError), + parameter ERROR.&ParameterType + ({Errors}{@errcode} + ! RejectProblem : returnError-mistypedParameter) OPTIONAL +} +(CONSTRAINED BY { -- must conform to the above definition -- } +! RejectProblem : general-mistypedPDU) +Reject ::= SEQUENCE +{ + invokeId InvokeId, + problem CHOICE + { + general [0] GeneralProblem, + invoke [1] InvokeProblem, + returnResult [2] ReturnResultProblem, + returnError [3] ReturnErrorProblem + } +} +(CONSTRAINED BY { -- must conform to the above definition -- } +! RejectProblem : general-mistypedPDU) +GeneralProblem ::= INTEGER +{ + unrecognisedPDU (0), + mistypedPDU (1), + badlyStructuredPDU (2) +} +InvokeProblem ::= INTEGER +{ + duplicateInvocation (0), + unrecognisedOperation (1), + mistypedArgument (2), + resourceLimitation (3), + releaseInProgress (4), + unrecognisedLinkedId (5), + linkedResponseUnexpected (6), + unexpectedLinkedOperation (7) +} +ReturnResultProblem ::= INTEGER +{ + unrecognisedInvocation (0), + resultResponseUnexpected (1), + mistypedResult (2) +} +ReturnErrorProblem ::= INTEGER +{ + unrecognisedInvocation (0), + errorResponseUnexpected (1), + unrecognisedError (2), + unexpectedError (3), + mistypedParameter (4) +} +RejectProblem ::= INTEGER +{ + general-unrecognisedPDU (0), + general-mistypedPDU (1), + general-badlyStructuredPDU (2), + invoke-duplicateInvocation (10), + invoke-unrecognisedOperation (11), + invoke-mistypedArgument (12), + invoke-resourceLimitation (13), + invoke-releaseInProgress (14), + invoke-unrecognisedLinkedId (15), + invoke-linkedResponseUnexpected (16), + invoke-unexpectedLinkedOperation (17), + returnResult-unrecognisedInvocation (20), + returnResult-resultResponseUnexpected (21), + returnResult-mistypedResult (22), + returnError-unrecognisedInvocation (30), + returnError-errorResponseUnexpected (31), + returnError-unrecognisedError (32), + returnError-unexpectedError (33), + returnError-mistypedParameter (34) +} +InvokeId ::= CHOICE +{ + present INTEGER, + absent NULL +} +noInvokeId InvokeId ::= absent:NULL +NoInvokeId InvokeId ::= {noInvokeId} +Errors {OPERATION:Operations} ERROR ::= {Operations.&Errors} +Bind {OPERATION:operation} ::= CHOICE +{ + bind-invoke [16] OPERATION.&ArgumentType({operation}), + bind-result [17] OPERATION.&ResultType ({operation}), + bind-error [18] OPERATION.&Errors.&ParameterType ({operation}) +} +Unbind {OPERATION:operation} ::= CHOICE +{ + unbind-invoke [19] OPERATION.&ArgumentType({operation}), + unbind-result [20] OPERATION.&ResultType ({operation}), + unbind-error [21] OPERATION.&Errors.&ParameterType ({operation}) +} +END -- end of generic ROS PDU definitions -- cgit v1.2.3