projects / deliverable / titan.core.git / blame
| Commit | Line | Data |
|---|---|---|
| 970ed795 EL |
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_withMaxIncl_e.ttcn | |
| 13 | // Description: | |
| 14 | // References: | |
| 15 | // Rev: | |
| 16 | // Prodnr: | |
| 17 | // Updated: Thu Oct 29 15:46:26 2009 | |
| 18 | // Contact: http://ttcn.ericsson.se | |
| 19 | // | |
| 20 | //////////////////////////////////////////////////////////////////////////////// | |
| 21 | // | |
| 22 | // Generated from file(s): | |
| 23 | // | |
| 24 | // - XmlTest_integer_withMaxIncl.xsd | |
| 25 | // /* xml version = "1.0" */ | |
| 26 | // /* targetnamespace = "www.XmlTest.org/integer_withMaxIncl" */ | |
| 27 | // | |
| 28 | //////////////////////////////////////////////////////////////////////////////// | |
| 29 | ||
| 30 | ||
| 31 | module www_XmlTest_org_integer_withMaxIncl_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 IntegerWithNegMaxIncl (-infinity..-200); | |
| 46 | ||
| 47 | ||
| 48 | type XSD.Integer IntegerWithZeroMaxIncl (-infinity..0); | |
| 49 | ||
| 50 | ||
| 51 | type XSD.Integer IntegerWithPosMaxIncl (-infinity..314); | |
| 52 | ||
| 53 | } | |
| 54 | with { | |
| 3f84031e | 55 | encode "XML"; |
| 56 | variant "namespace as 'www.XmlTest.org/integer_withMaxIncl' prefix 'ns'"; | |
| 57 | variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'"; | |
| 970ed795 | 58 | } |