regression_test/XML/XmlWorkflow/XmlTest_expectedTtcns/www_XmlTest_org_integer_MaxExcl_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_XmlTest_org_integer_withMaxExcl_e.ttcn
  13 //  Description:
  14 //  References:
  15 //  Rev:
  16 //  Prodnr:
  17 //  Updated:       Thu Oct 29 15:46:36 2009
  18 //  Contact:       http://ttcn.ericsson.se
  19 //
  20 ////////////////////////////////////////////////////////////////////////////////
  21 //
  22 //      Generated from file(s):
  23 //
  24 //      - XmlTest_integer_withMaxExcl.xsd
  25 //                      /* xml version = "1.0" */
  26 //                      /* targetnamespace = "www.XmlTest.org/integer_withMaxExcl" */
  27 //
  28 ////////////////////////////////////////////////////////////////////////////////
  29
  30
  31 module www_XmlTest_org_integer_withMaxExcl_e {
  32
  33
  34 import from XSD all;
  35
  36
  37 /* This documentum tests based on
  38       XML Schema Part 0: Primer Second Edition,
  39       2.3 Simple Types and
  40       Appendix B
  41       XML Schema Part 2: Datatypes Second Edition
  42       3 Built-in Datatypes */
  43
  44
  45 type XSD.Integer IntegerWithNegMaxExcl (-infinity..-201);
  46
  47
  48 type XSD.Integer IntegerWithZeroMaxExcl (-infinity.. -1);
  49
  50
  51 type XSD.Integer IntegerWithPosMaxExcl (-infinity..313);
  52
  53 }
  54 with {
  55   encode "XML";
  56   variant "namespace as 'www.XmlTest.org/integer_withMaxExcl' prefix 'ns'";
  57   variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
  58 }