regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/http_www_example_org_complex_restriction_with_use_e.ttcn

   1 /******************************************************************************
   2 * Copyright (c) 2000-2016 Ericsson Telecom AB
   3 *
   4 * XSD to TTCN-3 Translator
   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 * Contributors:
  12 *   Balasko, Jeno
  13 *   Szabo, Bence Janos
  14 *
  15 ******************************************************************************/
  16 //
  17 //  File:          http_www_example_org_complex_restriction_with_use_e.ttcn
  18 //  Description:
  19 //  References:
  20 //  Rev:
  21 //  Prodnr:
  22 //  Updated:       Tue Jun  2 06:12:37 2014
  23 //  Contact:       http://ttcn.ericsson.se
  24 //
  25 ////////////////////////////////////////////////////////////////////////////////
  26 //      Generated from file(s):
  27 //      - complex_restriction_with_use.xsd
  28 //                      /* xml version = "1.0" encoding = "UTF-8" */
  29 //                      /* targetnamespace = "http://www.example.org/complex-restriction-with-use/e" */
  30 ////////////////////////////////////////////////////////////////////////////////
  31 //     Modification header(s):
  32 //-----------------------------------------------------------------------------
  33 //  Modified by:
  34 //  Modification date:
  35 //  Description:
  36 //  Modification contact:
  37 //------------------------------------------------------------------------------
  38 ////////////////////////////////////////////////////////////////////////////////
  39
  40
  41 module http_www_example_org_complex_restriction_with_use {
  42
  43
  44 import from XSD all;
  45
  46
  47 /* The base type is: */
  48
  49
  50 type record PurchaseOrderType
  51 {
  52         XSD.Date finishDate optional,
  53         XSD.Date orderDate optional,
  54         XSD.Date shipDate optional,
  55         XSD.String shipTo,
  56         XSD.String billTo optional,
  57         XSD.String items
  58 }
  59 with {
  60   variant (finishDate) "attribute";
  61   variant (orderDate) "attribute";
  62   variant (shipDate) "attribute";
  63 };
  64
  65
  66 /* The restricting type is: */
  67
  68
  69 type record RestrictedPurchaseOrderType
  70 {
  71         XSD.Date finishDate optional,
  72         XSD.Date shipDate,
  73         XSD.String shipTo,
  74         XSD.String billTo,
  75         XSD.String items
  76 }
  77 with {
  78   variant (finishDate) "attribute";
  79   variant (shipDate) "attribute";
  80 };
  81
  82
  83 type Testsuite_1 Testsuite
  84 with {
  85   variant "name as uncapitalized";
  86   variant "element";
  87 };
  88
  89
  90 type record Testsuite_1
  91 {
  92         XSD.Decimal time optional,
  93         record {
  94         } properties
  95 }
  96 with {
  97   variant "name as 'testsuite'";
  98   variant (time) "attribute";
  99 };
 100
 101
 102 type record Testsuites
 103 {
 104         record {
 105                 XSD.Decimal time,
 106                 record {
 107                 } properties
 108         } testsuite
 109 }
 110 with {
 111   variant "name as uncapitalized";
 112   variant "element";
 113   variant (testsuite.time) "attribute";
 114 };
 115
 116
 117 }
 118 with {
 119   encode "XML";
 120   variant "namespace as 'http://www.example.org/complex-restriction-with-use'";
 121   variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
 122 }