1 /*******************************************************************************
2 * Copyright (c) 2000-2015 Ericsson Telecom AB
4 * XSD to TTCN-3 Translator version: CRL 113 200/4 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_not_a_number_minex_inf_maxex_inf_e.ttcn
17 // Updated: Tue Jul 6 13:41:30 2014
18 // Contact: http://ttcn.ericsson.se
20 ////////////////////////////////////////////////////////////////////////////////
21 // Generated from file(s):
22 // - not_a_number_minex_inf_maxex_-inf.xsd
23 // /* xml version = "1.0" encoding = "UTF-8" */
24 // /* targetnamespace = "www.example.org/not_a_number/minex_inf/maxex_-inf/e" */
25 ////////////////////////////////////////////////////////////////////////////////
26 // Modification header(s):
27 //-----------------------------------------------------------------------------
31 // Modification contact:
32 //------------------------------------------------------------------------------
33 ////////////////////////////////////////////////////////////////////////////////
36 module www_example_org_not_a_number_minex_inf_maxex_inf {
42 type XSD.Float E9e ( not_a_number )
44 variant "name as uncapitalized";
48 type XSD.Float E9e_2 ( not_a_number )
50 variant "name as uncapitalized";
54 type union Union_maxeclusive_NaN
60 variant "name as uncapitalized";
63 variant (alt_) "name as ''";
64 variant (alt_1) "name as ''";
71 variant "namespace as 'www.example.org/not_a_number/minex_inf/maxex_-inf'";
72 variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";