1 /*******************************************************************************
2 * Copyright (c) 2000-2015 Ericsson Telecom AB
4 * XSD to TTCN-3 Translator version: CRL 113 200/5 R3A
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 *******************************************************************************/
12 // File: www_example_org_type_substitution_mod1_e.ttcn
17 // Updated: Tue Nov 17 14:10:37 2014
18 // Contact: http://ttcn.ericsson.se
20 ////////////////////////////////////////////////////////////////////////////////
21 // Generated from file(s):
22 // - type_substitution_mod1_e.xsd
23 // /* xml version = "1.0" encoding = "UTF-8" */
24 // /* targetnamespace = "www.example.org/type/substitution/mod1/e" */
25 ////////////////////////////////////////////////////////////////////////////////
26 // Modification header(s):
27 //-----------------------------------------------------------------------------
31 // Modification contact:
32 //------------------------------------------------------------------------------
33 ////////////////////////////////////////////////////////////////////////////////
36 module www_example_org_type_substitution_mod1 {
42 import from www_example_org_type_substitution_mod2 all;
45 /* SUBSTITUTABLE PARENT TYPE */
48 /* type substitutiongroup generated, because has elemet declaration */
51 type record ParentType
53 record of XSD.String foo_list,
58 variant (foo_list) "untagged";
59 variant (foo_list[-]) "name as 'foo'";
63 type RestrictedType_derivations RestrictedTypeElem
69 /* type substitutiongroup generated, because has elemet declaration */
72 type record RestrictedType
74 record length(1 .. infinity) of XSD.String foo_list,
78 variant "name as uncapitalized";
79 variant (foo_list) "untagged";
80 variant (foo_list[-]) "name as 'foo'";
84 /* type substitutiongroup generated, because the parent has elemet declaration */
87 type record RestrictedType2
89 record length(2 .. infinity) of XSD.String foo_list,
93 variant "name as uncapitalized";
94 variant (foo_list) "untagged";
95 variant (foo_list[-]) "name as 'foo'";
99 /* Added to restrictedtype_derivations */
102 type record RestrictedType2_1
104 record length(2 .. 5) of XSD.String foo_list,
108 variant "name as 'restrictedType2.1'";
109 variant (foo_list) "untagged";
110 variant (foo_list[-]) "name as 'foo'";
114 /* No type substitutiongroup generated, because the parent lacks elemet declaration */
117 type record RestrictedType3
119 record length(3 .. infinity) of XSD.String foo_list,
123 variant "name as uncapitalized";
124 variant (foo_list) "untagged";
125 variant (foo_list[-]) "name as 'foo'";
129 type ExtendedType_derivations ExtendedElement
131 variant "name as uncapitalized";
136 type union ParentType_derivations
138 ParentType parentType,
139 ExtendedType_derivations extendedType,
140 RestrictedType_derivations restrictedType
144 variant (parentType) "name as capitalized";
145 variant (parentType) "abstract";
146 variant (extendedType) "block";
150 type union RestrictedType_derivations
152 RestrictedType restrictedType,
153 RestrictedType2 restrictedType2,
154 RestrictedType2_1 restrictedType2_1
157 variant "name as uncapitalized";
159 variant (restrictedType2_1) "name as 'restrictedType2.1'";
166 variant "namespace as 'www.example.org/type/substitution/mod1' prefix 'tys'";
167 variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";