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_list_integer_e.ttcn | |
| 13 | // Description: | |
| 14 | // References: | |
| 15 | // Rev: | |
| 16 | // Prodnr: | |
| 17 | // Updated: Thu Sep 5 17:35:03 2013 | |
| 18 | // Contact: http://ttcn.ericsson.se | |
| 19 | // | |
| 20 | //////////////////////////////////////////////////////////////////////////////// | |
| 21 | // Generated from file(s): | |
| 22 | // - XmlTest_list_integer.xsd | |
| 23 | // /* xml version = "1.0" */ | |
| 24 | // /* targetnamespace = "www.XmlTest.org/list_integer" */ | |
| 25 | //////////////////////////////////////////////////////////////////////////////// | |
| 26 | // Modification header(s): | |
| 27 | //----------------------------------------------------------------------------- | |
| 28 | // Modified by: | |
| 29 | // Modification date: | |
| 30 | // Description: | |
| 31 | // Modification contact: | |
| 32 | //------------------------------------------------------------------------------ | |
| 33 | //////////////////////////////////////////////////////////////////////////////// | |
| 34 | ||
| 35 | ||
| 36 | module www_XmlTest_org_list_integer_e { | |
| 37 | ||
| 38 | ||
| 39 | import from XSD all; | |
| 40 | ||
| 41 | ||
| 42 | /* This documentum tests based on | |
| 43 | XML Schema Part 0: Primer Second Edition, | |
| 44 | XML Schema Part 2 / 4.1.2.2 */ | |
| 45 | ||
| 46 | ||
| 47 | type record of XSD.Integer IntegerList | |
| 48 | with { | |
| 3f84031e | 49 | variant "list"; |
| 970ed795 EL |
50 | }; |
| 51 | ||
| 52 | ||
| 53 | type IntegerList IntegerListOpt length(0 .. 1); | |
| 54 | ||
| 55 | ||
| 56 | type IntegerList IntegerListLength length(3); | |
| 57 | ||
| 58 | ||
| 59 | } | |
| 60 | with { | |
| 3f84031e | 61 | encode "XML"; |
| 62 | variant "namespace as 'www.XmlTest.org/list_integer' prefix 'ns18'"; | |
| 63 | variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'"; | |
| 970ed795 | 64 | } |