regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/www_example_org_type_substitution_mod1_e.ttcn

   1 /*******************************************************************************
   2 * Copyright (c) 2000-2015 Ericsson Telecom AB
   3 *
   4 * XSD to TTCN-3 Translator version: CRL 113 200/5 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_type_substitution_mod1_e.ttcn
  13 //  Description:
  14 //  References:
  15 //  Rev:
  16 //  Prodnr:
  17 //  Updated:       Tue Nov 17 14:10:37 2014
  18 //  Contact:       http://ttcn.ericsson.se
  19 //
  20 ////////////////////////////////////////////////////////////////////////////////
  21 //      Generated from file(s):
  22 //      - type_substitution_mod1_e.xsd
  23 //                      /* xml version = "1.0" encoding = "UTF-8" */
  24 //                      /* targetnamespace = "www.example.org/type/substitution/mod1/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_type_substitution_mod1 {
  37
  38
  39 import from XSD all;
  40
  41
  42 import from www_example_org_type_substitution_mod2 all;
  43
  44
  45 /* SUBSTITUTABLE PARENT TYPE */
  46
  47
  48 /* type substitutiongroup generated, because has elemet declaration */
  49
  50
  51 type record ParentType
  52 {
  53         record of XSD.String foo_list,
  54         XSD.String bar
  55 }
  56 with {
  57 variant "abstract";
  58 variant (foo_list) "untagged";
  59 variant (foo_list[-]) "name as 'foo'";
  60 };
  61
  62
  63 type RestrictedType_derivations RestrictedTypeElem
  64 with {
  65 variant "element";
  66 };
  67
  68
  69 /* type substitutiongroup generated, because has elemet declaration */
  70
  71
  72 type record RestrictedType
  73 {
  74         record length(1 .. infinity) of XSD.String foo_list,
  75         XSD.String bar
  76 }
  77 with {
  78 variant "name as uncapitalized";
  79 variant (foo_list) "untagged";
  80 variant (foo_list[-]) "name as 'foo'";
  81 };
  82
  83
  84 /* type substitutiongroup generated, because the parent has elemet declaration */
  85
  86
  87 type record RestrictedType2
  88 {
  89         record length(2 .. infinity) of XSD.String foo_list,
  90         XSD.String bar
  91 }
  92 with {
  93 variant "name as uncapitalized";
  94 variant (foo_list) "untagged";
  95 variant (foo_list[-]) "name as 'foo'";
  96 };
  97
  98
  99 /* Added to restrictedtype_derivations */
 100
 101
 102 type record RestrictedType2_1
 103 {
 104         record length(2 .. 5) of XSD.String foo_list,
 105         XSD.String bar
 106 }
 107 with {
 108 variant "name as 'restrictedType2.1'";
 109 variant (foo_list) "untagged";
 110 variant (foo_list[-]) "name as 'foo'";
 111 };
 112
 113
 114 /* No type substitutiongroup generated, because the parent lacks elemet declaration */
 115
 116
 117 type record RestrictedType3
 118 {
 119         record length(3 .. infinity) of XSD.String foo_list,
 120         XSD.String bar
 121 }
 122 with {
 123 variant "name as uncapitalized";
 124 variant (foo_list) "untagged";
 125 variant (foo_list[-]) "name as 'foo'";
 126 };
 127
 128
 129 type ExtendedType_derivations ExtendedElement
 130 with {
 131 variant "name as uncapitalized";
 132 variant "element";
 133 };
 134
 135
 136 type union ParentType_derivations
 137 {
 138         ParentType parentType,
 139         ExtendedType_derivations extendedType,
 140         RestrictedType_derivations restrictedType
 141 }
 142 with {
 143 variant "useType";
 144 variant (parentType) "name as capitalized";
 145 variant (parentType) "abstract";
 146 variant (extendedType) "block";
 147 };
 148
 149
 150 type union RestrictedType_derivations
 151 {
 152         RestrictedType restrictedType,
 153         RestrictedType2 restrictedType2,
 154         RestrictedType2_1 restrictedType2_1
 155 }
 156 with {
 157 variant "name as uncapitalized";
 158 variant "useType";
 159 variant (restrictedType2_1) "name as 'restrictedType2.1'";
 160 };
 161
 162
 163 }
 164 with {
 165 encode "XML";
 166 variant "namespace as 'www.example.org/type/substitution/mod1' prefix 'tys'";
 167 variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
 168 }