regression_test/compileonly/typeInstantiation/A.asn

   1 --/////////////////////////////////////////////////////////////////////////////
   2 -- Copyright (c) 2000-2014 Ericsson Telecom AB
   3 -- All rights reserved. This program and the accompanying materials
   4 -- are made available under the terms of the Eclipse Public License v1.0
   5 -- which accompanies this distribution, and is available at
   6 -- http://www.eclipse.org/legal/epl-v10.html
   7 --/////////////////////////////////////////////////////////////////////////////
   8 A DEFINITIONS ::=
   9 BEGIN
  10
  11 OPERATION ::= CLASS {
  12   &ArgumentType          OPTIONAL,
  13   &operationCode         INTEGER UNIQUE OPTIONAL
  14 }
  15 WITH SYNTAX {
  16   [ARGUMENT &ArgumentType]
  17   [CODE &operationCode]
  18 }
  19 -- TODO: SYNTAX nelkul
  20
  21 Invoke{OPERATION:Operations} ::= SEQUENCE {
  22   opcode OPERATION.&operationCode ({Operations}),
  23   argument OPERATION.&ArgumentType ({Operations}{@opcode}) OPTIONAL
  24 }
  25
  26 PARAMETERS-BOUND ::= CLASS {
  27   &dummy INTEGER
  28 }
  29
  30 cAPSpecificBoundSet PARAMETERS-BOUND ::= {
  31   &dummy 1
  32 }
  33
  34 Supported-CAP-Operations OPERATION ::= {initialDPSMS{cAPSpecificBoundSet}}
  35
  36 initialDPSMS {PARAMETERS-BOUND : bound} OPERATION ::= {
  37         ARGUMENT                InitialDPSMSArg {bound}
  38         CODE            1
  39 }
  40
  41 InitialDPSMSArg{PARAMETERS-BOUND : bound} ::= SEQUENCE {
  42    f1 INTEGER
  43 }
  44
  45 END