regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/www_ericsson_com_is_isco_IsTypes_R4L06_R4AF11_e.ttcn

   1 /*******************************************************************************
   2 * Copyright 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 //
  12 //  File:          www_ericsson_com_is_isco_IsTypes_R4L06_R4AF11_e.ttcn
  13 //  Description:
  14 //  References:
  15 //  Rev:
  16 //  Prodnr:
  17 //  Updated:       Thu Jan 28 15:35:13 2010
  18 //  Contact:       http://ttcn.ericsson.se
  19 //
  20 ////////////////////////////////////////////////////////////////////////////////
  21 //
  22 //      Generated from file(s):
  23 //
  24 //      - IsTypes.xsd
  25 //                      /* xml version = "1.0" encoding = "UTF-8" */
  26 //                      /* targetnamespace = "http://www.ericsson.com/is/isco/IsTypes/R4L06/R4AF11" */
  27 //
  28 ////////////////////////////////////////////////////////////////////////////////
  29
  30
  31 module www_ericsson_com_is_isco_IsTypes_R4L06_R4AF11_e {
  32
  33
  34 import from XSD all;
  35
  36
  37 import from tail_f_com_ns_confd_1_0 all;
  38
  39
  40 type enumerated DummyEmptyType
  41 {
  42         x
  43 }
  44 with {
  45   variant "text 'x' as ''";
  46 };
  47
  48
  49 /* A MAC address
  50         in the form v1:v2:v3:v4:v5:v6 where v1 ... v6 is a
  51         hexadecimal number in the range 00 to FF. */
  52 type XSD.Token MacAddress (pattern "[A-F0-9][A-F0-9]?:[A-F0-9][A-F0-9]?:[A-F0-9][A-F0-9]?:[A-F0-9][A-F0-9]?:[A-F0-9][A-F0-9]?:[A-F0-9][A-F0-9]?");
  53
  54
  55 /* An IPv4 address
  56         in the form v1.v2.v3.v4 where v1 ... v4 is a
  57         decimal number in the range 0 to 255. */
  58 type XSD.Token IpAddress (pattern "(25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9]?[0-9]).(25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9]?[0-9]).(25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9]?[0-9]).(25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9]?[0-9])");
  59
  60
  61 /* Datatype for an integer according to SNMPv2 definition of
  62       unsigned32. */
  63 type XSD.Integer Unsigned32 (0 .. 4294967295);
  64
  65
  66 }
  67 with {
  68   encode "XML";
  69   variant "namespace as 'http://www.ericsson.com/is/isco/IsTypes/R4L06/R4AF11' prefix 'ist'";
  70   variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
  71   variant "elementFormQualified";
  72 }