d44e3c4f |
1 | /****************************************************************************** |
2 | * Copyright (c) 2000-2016 Ericsson Telecom AB |
3abe9331 |
3 | * |
d44e3c4f |
4 | * XSD to TTCN-3 Translator |
3abe9331 |
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 |
d44e3c4f |
10 | * |
11 | * Contributors: |
12 | * Balasko, Jeno |
13 | * Szabo, Bence Janos |
14 | * |
15 | ******************************************************************************/ |
3abe9331 |
16 | // |
17 | // File: http_www_example_org_complex_restriction_with_use_e.ttcn |
18 | // Description: |
19 | // References: |
20 | // Rev: |
21 | // Prodnr: |
22 | // Updated: Tue Jun 2 06:12:37 2014 |
23 | // Contact: http://ttcn.ericsson.se |
24 | // |
25 | //////////////////////////////////////////////////////////////////////////////// |
26 | // Generated from file(s): |
27 | // - complex_restriction_with_use.xsd |
28 | // /* xml version = "1.0" encoding = "UTF-8" */ |
29 | // /* targetnamespace = "http://www.example.org/complex-restriction-with-use/e" */ |
30 | //////////////////////////////////////////////////////////////////////////////// |
31 | // Modification header(s): |
32 | //----------------------------------------------------------------------------- |
33 | // Modified by: |
34 | // Modification date: |
35 | // Description: |
36 | // Modification contact: |
37 | //------------------------------------------------------------------------------ |
38 | //////////////////////////////////////////////////////////////////////////////// |
39 | |
40 | |
41 | module http_www_example_org_complex_restriction_with_use { |
42 | |
43 | |
44 | import from XSD all; |
45 | |
46 | |
47 | /* The base type is: */ |
48 | |
49 | |
50 | type record PurchaseOrderType |
51 | { |
52 | XSD.Date finishDate optional, |
53 | XSD.Date orderDate optional, |
54 | XSD.Date shipDate optional, |
55 | XSD.String shipTo, |
56 | XSD.String billTo optional, |
57 | XSD.String items |
58 | } |
59 | with { |
3f84031e |
60 | variant (finishDate) "attribute"; |
61 | variant (orderDate) "attribute"; |
62 | variant (shipDate) "attribute"; |
3abe9331 |
63 | }; |
64 | |
65 | |
66 | /* The restricting type is: */ |
67 | |
68 | |
69 | type record RestrictedPurchaseOrderType |
70 | { |
71 | XSD.Date finishDate optional, |
72 | XSD.Date shipDate, |
73 | XSD.String shipTo, |
74 | XSD.String billTo, |
75 | XSD.String items |
76 | } |
77 | with { |
3f84031e |
78 | variant (finishDate) "attribute"; |
79 | variant (shipDate) "attribute"; |
3abe9331 |
80 | }; |
81 | |
82 | |
83 | type Testsuite_1 Testsuite |
84 | with { |
3f84031e |
85 | variant "name as uncapitalized"; |
86 | variant "element"; |
3abe9331 |
87 | }; |
88 | |
89 | |
90 | type record Testsuite_1 |
91 | { |
92 | XSD.Decimal time optional, |
93 | record { |
94 | } properties |
95 | } |
96 | with { |
3f84031e |
97 | variant "name as 'testsuite'"; |
98 | variant (time) "attribute"; |
3abe9331 |
99 | }; |
100 | |
101 | |
102 | type record Testsuites |
103 | { |
104 | record { |
105 | XSD.Decimal time, |
106 | record { |
107 | } properties |
108 | } testsuite |
109 | } |
110 | with { |
3f84031e |
111 | variant "name as uncapitalized"; |
112 | variant "element"; |
113 | variant (testsuite.time) "attribute"; |
3abe9331 |
114 | }; |
115 | |
116 | |
117 | } |
118 | with { |
3f84031e |
119 | encode "XML"; |
120 | variant "namespace as 'http://www.example.org/complex-restriction-with-use'"; |
121 | variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'"; |
3abe9331 |
122 | } |