/******************************************************************************
* Copyright (c) 2000-2016 Ericsson Telecom AB
*
* XSD to TTCN-3 Translator
*
* 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
*
* Contributors:
*   Balasko, Jeno
*   Szabo, Bence Janos
*
******************************************************************************/
//
//  File:          http_www_example_org_complex_restriction_with_use_e.ttcn
//  Description:
//  References:
//  Rev:
//  Prodnr:
//  Updated:       Tue Jun  2 06:12:37 2014
//  Contact:       http://ttcn.ericsson.se
//
////////////////////////////////////////////////////////////////////////////////
//	Generated from file(s):
//	- complex_restriction_with_use.xsd
//			/* xml version = "1.0" encoding = "UTF-8" */
//			/* targetnamespace = "http://www.example.org/complex-restriction-with-use/e" */
////////////////////////////////////////////////////////////////////////////////
//     Modification header(s):
//-----------------------------------------------------------------------------
//  Modified by:
//  Modification date:
//  Description:
//  Modification contact:
//------------------------------------------------------------------------------
////////////////////////////////////////////////////////////////////////////////


module http_www_example_org_complex_restriction_with_use {


import from XSD all;


/* The base type is: */


type record PurchaseOrderType
{
	XSD.Date finishDate optional,
	XSD.Date orderDate optional,
	XSD.Date shipDate optional,
	XSD.String shipTo,
	XSD.String billTo optional,
	XSD.String items
}
with {
  variant (finishDate) "attribute";
  variant (orderDate) "attribute";
  variant (shipDate) "attribute";
};


/* The restricting type is: */


type record RestrictedPurchaseOrderType
{
	XSD.Date finishDate optional,
	XSD.Date shipDate,
	XSD.String shipTo,
	XSD.String billTo,
	XSD.String items
}
with {
  variant (finishDate) "attribute";
  variant (shipDate) "attribute";
};


type Testsuite_1 Testsuite
with {
  variant "name as uncapitalized";
  variant "element";
};


type record Testsuite_1
{
	XSD.Decimal time optional,
	record {
	} properties
}
with {
  variant "name as 'testsuite'";
  variant (time) "attribute";
};


type record Testsuites
{
	record {
		XSD.Decimal time,
		record {
		} properties
	} testsuite
}
with {
  variant "name as uncapitalized";
  variant "element";
  variant (testsuite.time) "attribute";
};


}
with {
  encode "XML";
  variant "namespace as 'http://www.example.org/complex-restriction-with-use'";
  variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
}