regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/attribute_in_extension_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 *   Baranyi, Botond
  14 *   Szabo, Bence Janos
  15 *
  16 ******************************************************************************/
  17 //
  18 //  File:          attribute_in_extension_e.ttcn
  19 //  Description:
  20 //  References:
  21 //  Rev:
  22 //  Prodnr:
  23 //  Updated:       Fri May 29 12:56:49 2014
  24 //  Contact:       http://ttcn.ericsson.se
  25 //
  26 ////////////////////////////////////////////////////////////////////////////////
  27 //      Generated from file(s):
  28 //      - attribute_in_extension.xsd
  29 //                      /* xml version = "1.0" */
  30 //                      /* targetnamespace = "attribute_in_extension_e" */
  31 ////////////////////////////////////////////////////////////////////////////////
  32 //     Modification header(s):
  33 //-----------------------------------------------------------------------------
  34 //  Modified by:
  35 //  Modification date:
  36 //  Description:
  37 //  Modification contact:
  38 //------------------------------------------------------------------------------
  39 ////////////////////////////////////////////////////////////////////////////////
  40
  41
  42 module attribute_in_extension {
  43
  44
  45 import from XSD all;
  46
  47
  48 type record BaseType
  49 {
  50         XSD.Integer base_variable
  51 }
  52 with {
  53   variant (base_variable) "name as 'Base-variable'";
  54 };
  55
  56
  57 type record Extending_type
  58 {
  59         record {
  60                 XSD.Integer extension_ optional,
  61                 XSD.Integer base_variable
  62         } ext
  63 }
  64 with {
  65   variant "name as 'Extending-type'";
  66   variant (ext.extension_) "name as 'extension'";
  67   variant (ext.extension_) "attribute";
  68   variant (ext.base_variable) "name as 'Base-variable'";
  69 };
  70
  71
  72 }
  73 with {
  74   encode "XML";
  75   variant "namespace as 'attribute_in_extension' prefix 'ns45'";
  76   variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
  77   variant "elementFormQualified";
  78 }