diff options
author | Björn Gustavsson <[email protected]> | 2015-01-12 12:25:52 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2015-01-12 12:25:52 +0100 |
commit | 8ee2d5f59f0e3ceee6895b5af41e563a29a22be2 (patch) | |
tree | e6a25247f76d72cefaacbce0d5affc1033e7adb0 /lib/asn1/test/asn1_SUITE_data/rfcs/IPMSAbstractService.asn1 | |
parent | 71b35f78c12f31ae33cf51fd948c22483c77ff7c (diff) | |
parent | 17ec629959088f0b213a5559ab2e793e9ec0f124 (diff) | |
download | otp-8ee2d5f59f0e3ceee6895b5af41e563a29a22be2.tar.gz otp-8ee2d5f59f0e3ceee6895b5af41e563a29a22be2.tar.bz2 otp-8ee2d5f59f0e3ceee6895b5af41e563a29a22be2.zip |
Merge branch 'bjorn/asn1/rfc-5912/OTP-12395'
* bjorn/asn1/rfc-5912/OTP-12395: (79 commits)
Remove the old unused yecc-based parser
Improve error handling for illegal object definitions
Reimplement storeindb/2 to avoid excessive process communication
Remove useless fields in #state{}
Remove vestiges of obsolete {TypeName,Value} notation
Remove old error handling
Modernize the remaining cases
Further improve error handling for instatiation of parameterized types
asn1ct_tok: Clean up
Add a test case for EXTENSIBILITY IMPLIED
asn1ct_parser2: Remove expensive lookahead_assignment/1 function
asn1ct_parser2: Clean up error handling and reporting
asn1ct, asn1ct_parser2: Refactor the upper levels of error handling
asn1ct_parser2: Eliminate all uses of old-style 'catch'
asn1ct_parser2: Clean up parse_or/3 and parse_or_tag/3
asn1ct_parser2: Correct extraction of line number from token
asn1ct_parser2: Throw an {asn1_error,...} for *all* parse errors
asn1ct_parser2: Simplify parse_Type/1
asn1ct_parser2: Remove unsuccessful parsing of ValueSetFromObjects
Move checking of UNIQUE & DEFAULT error to asn1ct_check
...
Diffstat (limited to 'lib/asn1/test/asn1_SUITE_data/rfcs/IPMSAbstractService.asn1')
-rw-r--r-- | lib/asn1/test/asn1_SUITE_data/rfcs/IPMSAbstractService.asn1 | 148 |
1 files changed, 148 insertions, 0 deletions
diff --git a/lib/asn1/test/asn1_SUITE_data/rfcs/IPMSAbstractService.asn1 b/lib/asn1/test/asn1_SUITE_data/rfcs/IPMSAbstractService.asn1 new file mode 100644 index 0000000000..3fec8ae64a --- /dev/null +++ b/lib/asn1/test/asn1_SUITE_data/rfcs/IPMSAbstractService.asn1 @@ -0,0 +1,148 @@ +-- Module IPMSAbstractService (X.420:06/1999) +IPMSAbstractService {joint-iso-itu-t mhs(6) ipms(1) modules(0) + abstract-service(3) version-1994(0)} DEFINITIONS IMPLICIT TAGS ::= +BEGIN + +-- Prologue +-- Exports everything. +IMPORTS + -- IPMS Information Objects + AutoForwardComment, Heading, InformationObject, IPM, NRN, ON, RN + --== + FROM IPMSInformationObjects {joint-iso-itu-t mhs(6) ipms(1) modules(0) + information-objects(2) version-1999(1)} + -- IPMS Object Identifiers + id-pt-management, id-pt-origination, id-pt-reception + --== + FROM IPMSObjectIdentifiers {joint-iso-itu-t mhs(6) ipms(1) modules(0) + object-identifiers(0) version-1999(1)} + -- MTS Abstract Service + ABSTRACT-ERROR, ABSTRACT-OPERATION, MessageDeliveryEnvelope, + MessageSubmissionEnvelope, MessageSubmissionIdentifier, + MessageSubmissionTime, ORName, PORT, ProbeSubmissionEnvelope, + ProbeSubmissionIdentifier, ProbeSubmissionTime, + recipient-improperly-specified, ReportDeliveryEnvelope, + SupplementaryInformation + --== + FROM MTSAbstractService {joint-iso-itu-t mhs(6) mts(3) modules(0) + mts-abstract-service(1) version-1999(1)}; + +-- Ports +origination PORT ::= { + CONSUMER INVOKES + {originate-probe | originate-ipm | originate-rn | originate-on} + ID id-pt-origination +} + +reception PORT ::= { + SUPPLIER INVOKES + {receive-report | receive-ipm | receive-rn | receive-nrn | receive-on} + ID id-pt-reception +} + +management PORT ::= { + CONSUMER INVOKES + {change-auto-discard | change-auto-acknowledgment | change-auto-forwarding} + ID id-pt-management +} + +-- Origination abstract operations +originate-probe ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] ProbeSubmissionEnvelope, + content [1] IPM} + RESULT + SET {submission-identifier [0] ProbeSubmissionIdentifier, + submission-time [1] ProbeSubmissionTime} + ERRORS {subscription-error | recipient-improperly-specified} +} + +originate-ipm ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] MessageSubmissionEnvelope, + content [1] IPM} + RESULT + SET {submission-identifier [0] MessageSubmissionIdentifier, + submission-time [1] MessageSubmissionTime} + ERRORS {subscription-error | recipient-improperly-specified} +} + +originate-rn ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] MessageSubmissionEnvelope, + content [1] RN} + RESULT + SET {submission-identifier [0] MessageSubmissionIdentifier, + submission-time [1] MessageSubmissionTime} + ERRORS {subscription-error | recipient-improperly-specified} +} + +originate-on ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] MessageSubmissionEnvelope, + content [1] ON} + RESULT + SET {submission-identifier [0] MessageSubmissionIdentifier, + submission-time [1] MessageSubmissionTime} + ERRORS {subscription-error | recipient-improperly-specified} +} + +-- Reception abstract operations +receive-report ABSTRACT-OPERATION ::= { + ARGUMENT + SET {envelope [0] ReportDeliveryEnvelope, + undelivered-object [1] InformationObject OPTIONAL} +} + +receive-ipm ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] MessageDeliveryEnvelope, + content [1] IPM} +} + +receive-rn ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] MessageDeliveryEnvelope, + content [1] RN} +} + +receive-nrn ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] MessageDeliveryEnvelope, + content [1] NRN} +} + +receive-on ABSTRACT-OPERATION ::= { + ARGUMENT SET {envelope [0] MessageDeliveryEnvelope, + content [1] ON} +} + +-- Management abstract operations +change-auto-discard ABSTRACT-OPERATION ::= { + ARGUMENT + SET {auto-discard-expired-IPMs [0] BOOLEAN, + auto-discard-obsolete-IPMs [1] BOOLEAN} +} + +change-auto-acknowledgment ABSTRACT-OPERATION ::= { + ARGUMENT + SET {auto-acknowledge-IPMs [0] BOOLEAN, + auto-acknowledge-suppl-receipt-info + [1] SupplementaryInformation OPTIONAL} + ERRORS {subscription-error} +} + +change-auto-forwarding ABSTRACT-OPERATION ::= { + ARGUMENT + SET {auto-forward-IPMs [0] BOOLEAN, + auto-forward-recipients [1] SEQUENCE OF ORName OPTIONAL, + auto-forward-heading [2] Heading OPTIONAL, + auto-forward-comment [3] AutoForwardComment OPTIONAL} + ERRORS {subscription-error | recipient-improperly-specified} +} + +-- Abstract errors +subscription-error ABSTRACT-ERROR ::= { + PARAMETER SET {problem [0] SubscriptionProblem} +} + +SubscriptionProblem ::= ENUMERATED { + ipms-eos-not-subscribed(0), mts-eos-not-subscribed(1)} + +END -- of IPMSAbstractService + +-- Generated by Asnp, the ASN.1 pretty-printer of France Telecom R&D + |