regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/http_www_example_org_wildcards_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:          http_www_example_org_wildcards_e.ttcn
  13 //  Description:
  14 //  References:
  15 //  Rev:
  16 //  Prodnr:
  17 //  Updated:       Mon Jun  1 11:35:23 2015
  18 //  Contact:       http://ttcn.ericsson.se
  19 //
  20 ////////////////////////////////////////////////////////////////////////////////
  21 //      Generated from file(s):
  22 //      - anyattribute_optional.xsd
  23 //                      /* xml version = "1.0" encoding = "UTF-8" */
  24 //                      /* targetnamespace = "http://www.example.org/wildcards/e" */
  25 ////////////////////////////////////////////////////////////////////////////////
  26 //     Modification header(s):
  27 //-----------------------------------------------------------------------------
  28 //  Modified by:
  29 //  Modification date:
  30 //  Description:
  31 //  Modification contact:
  32 //------------------------------------------------------------------------------
  33 ////////////////////////////////////////////////////////////////////////////////
  34
  35
  36 module http_www_example_org_wildcards {
  37
  38
  39 import from XSD all;
  40
  41
  42 type E45 AnyAttrAnyNamespace
  43 with {
  44 variant "name as uncapitalized";
  45 variant "element";
  46 };
  47
  48
  49 type E45b AnyAttrThisNamespace
  50 with {
  51 variant "name as uncapitalized";
  52 variant "element";
  53 };
  54
  55
  56 type record E45
  57 {
  58         XSD.Date aa optional,
  59         XSD.String attr optional,
  60         XSD.Date bb optional,
  61         record of XSD.String attr_1 optional
  62 }
  63 with {
  64 variant "name as uncapitalized";
  65 variant (aa) "attribute";
  66 variant (attr) "attribute";
  67 variant (bb) "attribute";
  68 variant (attr_1) "anyAttributes";
  69 variant (attr_1) "name as 'attr'";
  70 };
  71
  72
  73 type record E45a
  74 {
  75         record of XSD.String attr optional
  76 }
  77 with {
  78 variant "name as uncapitalized";
  79 variant (attr) "anyAttributes except unqualified, 'http://www.example.org/wildcards'";
  80 };
  81
  82
  83 type record E45b
  84 {
  85         record of XSD.String attr optional
  86 }
  87 with {
  88 variant "name as uncapitalized";
  89 variant (attr) "anyAttributes from 'http://www.example.org/wildcards'";
  90 };
  91
  92
  93 type record E45c
  94 {
  95         record of XSD.String attr optional
  96 }
  97 with {
  98 variant "name as uncapitalized";
  99 variant (attr) "anyAttributes from unqualified,'http://www.example.org/attribute'";
 100 };
 101
 102
 103 type record E45d
 104 {
 105         record of XSD.String attr optional
 106 }
 107 with {
 108 variant "name as uncapitalized";
 109 variant (attr) "anyAttributes from 'http://www.example.org/wildcards',unqualified,'http://www.example.org/attribute'";
 110 };
 111
 112
 113 }
 114 with {
 115 encode "XML";
 116 variant "namespace as 'http://www.example.org/wildcards' prefix 'this'";
 117 variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
 118 }