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

/*******************************************************************************
* Copyright (c) 2000-2015 Ericsson Telecom AB
*
* XSD to TTCN-3 Translator version: CRL 113 200/4 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_seq_enumeration_restriction_e.ttcn
//  Description:
//  References:
//  Rev:
//  Prodnr:
//  Updated:       Thu Aug  6 13:54:10 2014
//  Contact:       http://ttcn.ericsson.se
//
////////////////////////////////////////////////////////////////////////////////
//	Generated from file(s):
//	- enumeration_restriction2.xsd
//			/* xml version = "1.0" encoding = "UTF-8" */
//			/* targetnamespace = "www.example.org/seq/enumeration/restriction/e" */
////////////////////////////////////////////////////////////////////////////////
//     Modification header(s):
//-----------------------------------------------------------------------------
//  Modified by:
//  Modification date:
//  Description:
//  Modification contact:
//------------------------------------------------------------------------------
////////////////////////////////////////////////////////////////////////////////


module www_example_org_seq_enumeration_restriction {


import from XSD all;


type record MatchingProblemType
{
	/* Must be "any port"! */
	enumerated {
		receive_,
		trigger_,
		getcall_,
		getreply_,
		catch_,
		check_
	} operation
}
with {
  variant (operation) "text 'catch_' as 'catch'";
  variant (operation) "text 'check_' as 'check'";
  variant (operation) "text 'getcall_' as 'getcall'";
  variant (operation) "text 'getreply_' as 'getreply'";
  variant (operation) "text 'receive_' as 'receive'";
  variant (operation) "text 'trigger_' as 'trigger'";
};


type record MatchingProblemTypeRestricted
{
	enumerated {
		red
	} operation
};


}
with {
  encode "XML";
  variant "namespace as 'www.example.org/seq/enumeration/restriction' prefix 'ns2'";
  variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
}
Commit	Line	Data
3abe9331	1	/*******************************************************************************
	2	* Copyright (c) 2000-2015 Ericsson Telecom AB
	3	*
	4	* XSD to TTCN-3 Translator version: CRL 113 200/4 R3A
	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
	10	*******************************************************************************/
	11	//
	12	// File: www_example_org_seq_enumeration_restriction_e.ttcn
	13	// Description:
	14	// References:
	15	// Rev:
	16	// Prodnr:
	17	// Updated: Thu Aug 6 13:54:10 2014
	18	// Contact: http://ttcn.ericsson.se
	19	//
	20	////////////////////////////////////////////////////////////////////////////////
	21	// Generated from file(s):
	22	// - enumeration_restriction2.xsd
	23	// /* xml version = "1.0" encoding = "UTF-8" */
	24	// /* targetnamespace = "www.example.org/seq/enumeration/restriction/e" */
	25	////////////////////////////////////////////////////////////////////////////////
	26	// Modification header(s):
	27	//-----------------------------------------------------------------------------
	28	// Modified by:
	29	// Modification date:
	30	// Description:
	31	// Modification contact:
	32	//------------------------------------------------------------------------------
	33	////////////////////////////////////////////////////////////////////////////////
	34
	35
	36	module www_example_org_seq_enumeration_restriction {
	37
	38
	39	import from XSD all;
	40
	41
	42	type record MatchingProblemType
	43	{
	44	/* Must be "any port"! */
	45	enumerated {
	46	receive_,
	47	trigger_,
	48	getcall_,
	49	getreply_,
	50	catch_,
	51	check_
	52	} operation
	53	}
	54	with {
3f84031e	55	variant (operation) "text 'catch_' as 'catch'";
	56	variant (operation) "text 'check_' as 'check'";
	57	variant (operation) "text 'getcall_' as 'getcall'";
	58	variant (operation) "text 'getreply_' as 'getreply'";
	59	variant (operation) "text 'receive_' as 'receive'";
	60	variant (operation) "text 'trigger_' as 'trigger'";
3abe9331	61	};
	62
	63
	64	type record MatchingProblemTypeRestricted
	65	{
	66	enumerated {
	67	red
	68	} operation
	69	};
	70
	71
	72	}
	73	with {
3f84031e	74	encode "XML";
	75	variant "namespace as 'www.example.org/seq/enumeration/restriction' prefix 'ns2'";
	76	variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
3abe9331	77	}