Sync with 5.4.2

[deliverable/titan.core.git] / regression_test / XML / XmlWorkflow / XmlTest_expectedTtcns / www_example_org_type_substitution_mod1_e.ttcn

/*******************************************************************************
* Copyright (c) 2000-2015 Ericsson Telecom AB
*
* XSD to TTCN-3 Translator version: CRL 113 200/5 R3A                       
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*******************************************************************************/
//
//  File:          www_example_org_type_substitution_mod1_e.ttcn
//  Description:
//  References:
//  Rev:
//  Prodnr:
//  Updated:       Tue Nov 17 14:10:37 2014
//  Contact:       http://ttcn.ericsson.se
//
////////////////////////////////////////////////////////////////////////////////
//	Generated from file(s):
//	- type_substitution_mod1_e.xsd
//			/* xml version = "1.0" encoding = "UTF-8" */
//			/* targetnamespace = "www.example.org/type/substitution/mod1/e" */
////////////////////////////////////////////////////////////////////////////////
//     Modification header(s):
//-----------------------------------------------------------------------------
//  Modified by:
//  Modification date:
//  Description:
//  Modification contact:
//------------------------------------------------------------------------------
////////////////////////////////////////////////////////////////////////////////


module www_example_org_type_substitution_mod1 {


import from XSD all;


import from www_example_org_type_substitution_mod2 all;


/* SUBSTITUTABLE PARENT TYPE */


/* type substitutiongroup generated, because has elemet declaration */


type record ParentType
{
	record of XSD.String foo_list,
	XSD.String bar
}
with {
  variant "abstract";
  variant (foo_list) "untagged";
  variant (foo_list[-]) "name as 'foo'";
};


type RestrictedType_derivations RestrictedTypeElem
with {
  variant "element";
};


/* type substitutiongroup generated, because has elemet declaration */


type record RestrictedType
{
	record length(1 .. infinity) of XSD.String foo_list,
	XSD.String bar
}
with {
  variant "name as uncapitalized";
  variant (foo_list) "untagged";
  variant (foo_list[-]) "name as 'foo'";
};


/* type substitutiongroup generated, because the parent has elemet declaration */


type record RestrictedType2
{
	record length(2 .. infinity) of XSD.String foo_list,
	XSD.String bar
}
with {
  variant "name as uncapitalized";
  variant (foo_list) "untagged";
  variant (foo_list[-]) "name as 'foo'";
};


/* Added to restrictedtype_derivations */


type record RestrictedType2_1
{
	record length(2 .. 5) of XSD.String foo_list,
	XSD.String bar
}
with {
  variant "name as 'restrictedType2.1'";
  variant (foo_list) "untagged";
  variant (foo_list[-]) "name as 'foo'";
};


/* No type substitutiongroup generated, because the parent lacks elemet declaration */


type record RestrictedType3
{
	record length(3 .. infinity) of XSD.String foo_list,
	XSD.String bar
}
with {
  variant "name as uncapitalized";
  variant (foo_list) "untagged";
  variant (foo_list[-]) "name as 'foo'";
};


type ExtendedType_derivations ExtendedElement
with {
  variant "name as uncapitalized";
  variant "element";
};


type union ParentType_derivations
{
	ParentType parentType,
	ExtendedType extendedType,
	RestrictedExtendedType restrictedExtendedType,
	RestrictedType restrictedType,
	RestrictedType2 restrictedType2,
	RestrictedType2_1 restrictedType2_1,
	RestrictedType3 restrictedType3
}
with {
  variant "useType";
  variant (parentType) "name as capitalized";
  variant (parentType) "abstract";
  variant (extendedType) "block";
  variant (restrictedType2_1) "name as 'restrictedType2.1'";
};


type union RestrictedType_derivations
{
	RestrictedType restrictedType,
	RestrictedType2 restrictedType2,
	RestrictedType2_1 restrictedType2_1,
	RestrictedType3 restrictedType3
}
with {
  variant "name as uncapitalized";
  variant "useType";
  variant (restrictedType2_1) "name as 'restrictedType2.1'";
};


}
with {
  encode "XML";
  variant "namespace as 'www.example.org/type/substitution/mod1' prefix 'tys'";
  variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
}