regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/www_example_org_seq_enumeration_restriction_e.ttcn

   1 /*******************************************************************************
   2 * Copyright (c) 2000-2015 Ericsson Telecom AB
   3 *
   4 * XSD to TTCN-3 Translator version: CRL 113 200/4 R3A
   5 *
   6 * All rights reserved. This program and the accompanying materials
   7 * are made available under the terms of the Eclipse Public License v1.0
   8 * which accompanies this distribution, and is available at
   9 * http://www.eclipse.org/legal/epl-v10.html
  10 *******************************************************************************/
  11 //
  12 //  File:          www_example_org_seq_enumeration_restriction_e.ttcn
  13 //  Description:
  14 //  References:
  15 //  Rev:
  16 //  Prodnr:
  17 //  Updated:       Thu Aug  6 13:54:10 2014
  18 //  Contact:       http://ttcn.ericsson.se
  19 //
  20 ////////////////////////////////////////////////////////////////////////////////
  21 //      Generated from file(s):
  22 //      - enumeration_restriction2.xsd
  23 //                      /* xml version = "1.0" encoding = "UTF-8" */
  24 //                      /* targetnamespace = "www.example.org/seq/enumeration/restriction/e" */
  25 ////////////////////////////////////////////////////////////////////////////////
  26 //     Modification header(s):
  27 //-----------------------------------------------------------------------------
  28 //  Modified by:
  29 //  Modification date:
  30 //  Description:
  31 //  Modification contact:
  32 //------------------------------------------------------------------------------
  33 ////////////////////////////////////////////////////////////////////////////////
  34
  35
  36 module www_example_org_seq_enumeration_restriction {
  37
  38
  39 import from XSD all;
  40
  41
  42 type record MatchingProblemType
  43 {
  44         /* Must be "any port"! */
  45         enumerated {
  46                 receive_,
  47                 trigger_,
  48                 getcall_,
  49                 getreply_,
  50                 catch_,
  51                 check_
  52         } operation
  53 }
  54 with {
  55   variant (operation) "text 'catch_' as 'catch'";
  56   variant (operation) "text 'check_' as 'check'";
  57   variant (operation) "text 'getcall_' as 'getcall'";
  58   variant (operation) "text 'getreply_' as 'getreply'";
  59   variant (operation) "text 'receive_' as 'receive'";
  60   variant (operation) "text 'trigger_' as 'trigger'";
  61 };
  62
  63
  64 type record MatchingProblemTypeRestricted
  65 {
  66         enumerated {
  67                 red
  68         } operation
  69 };
  70
  71
  72 }
  73 with {
  74   encode "XML";
  75   variant "namespace as 'www.example.org/seq/enumeration/restriction' prefix 'ns2'";
  76   variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
  77 }