regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/www_example_org_type_substitution_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_e.ttcn
  13 //  Description:
  14 //  References:
  15 //  Rev:
  16 //  Prodnr:
  17 //  Updated:       Mon Nov 16 10:01:25 2014
  18 //  Contact:       http://ttcn.ericsson.se
  19 //
  20 ////////////////////////////////////////////////////////////////////////////////
  21 //      Generated from file(s):
  22 //      - type_substitution_e.xsd
  23 //                      /* xml version = "1.0" encoding = "UTF-8" */
  24 //                      /* targetnamespace = "www.example.org/type/substitution/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 {
  37
  38
  39 import from XSD all;
  40
  41
  42 type ParentType_derivations Head
  43 with {
  44 variant "name as uncapitalized";
  45 variant "element";
  46 };
  47
  48
  49 /* SUBSTITUTABLE PARENT TYPE */
  50
  51
  52 type record ParentType
  53 {
  54         record of XSD.String foo_list,
  55         XSD.String bar
  56 }
  57 with {
  58 variant (foo_list) "untagged";
  59 variant (foo_list[-]) "name as 'foo'";
  60 };
  61
  62
  63 type RestrictedType RestrictedTypeElem
  64 with {
  65 variant "element";
  66 };
  67
  68
  69 /* The restricting type is: */
  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 SubmitRequestType Submit
  85 with {
  86 variant "element";
  87 };
  88
  89
  90 type record SubmitRequestType
  91 {
  92         ParentType_derivations request1,
  93         ParentType_derivations request2
  94 };
  95
  96
  97 type union ParentType_derivations
  98 {
  99         ParentType parentType,
 100         RestrictedType restrictedType
 101 }
 102 with {
 103 variant "useType";
 104 variant (parentType) "name as capitalized";
 105 };
 106
 107
 108 }
 109 with {
 110 encode "XML";
 111 variant "namespace as 'www.example.org/type/substitution' prefix 'tysub'";
 112 variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
 113 }