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

/*******************************************************************************
* Copyright 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
*******************************************************************************/
//
//  File:          NoTargetNamespace_PAP_e.ttcn
//  Description:
//  References:
//  Rev:
//  Prodnr:
//  Updated:
//  Contact:       http://ttcn.ericsson.se
//
////////////////////////////////////////////////////////////////////////////////
//
//	Generated from file(s):
//
//	- PAP.xsd
//			/* xml version = "1.0" */
//			/* targetnamespace = "NoTargetNamespace" */
//
////////////////////////////////////////////////////////////////////////////////


module NoTargetNamespace_PAP_e {


import from XSD all;


type record Address
{
	XSD.AnySimpleType address_value
}
with {
  variant "name as uncapitalized";
  variant "element";
  variant (address_value) "name as 'address-value'";
  variant (address_value) "attribute";
};


type record Badmessage_response
{
	XSD.AnySimpleType bad_message_fragment optional,
	XSD.AnySimpleType code,
	XSD.AnySimpleType desc optional
}
with {
  variant "name as 'badmessage-response'";
  variant "element";
  variant (bad_message_fragment) "name as 'bad-message-fragment'";
  variant (bad_message_fragment) "attribute";
  variant (code) "attribute";
  variant (desc) "attribute";
};


type record Cancel_message
{
	XSD.AnySimpleType push_id,
	record of Address address_list
}
with {
  variant "name as 'cancel-message'";
  variant "element";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (address_list) "untagged";
};


type record Cancel_response
{
	XSD.AnySimpleType push_id,
	record length(1 .. infinity) of Cancel_result cancel_result_list
}
with {
  variant "name as 'cancel-response'";
  variant "element";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (cancel_result_list) "untagged";
};


type record Cancel_result
{
	XSD.AnySimpleType code,
	XSD.AnySimpleType desc optional,
	record of Address address_list
}
with {
  variant "name as 'cancel-result'";
  variant "element";
  variant (code) "attribute";
  variant (desc) "attribute";
  variant (address_list) "untagged";
};


type record Ccq_message
{
	XSD.AnySimpleType app_id optional,
	XSD.AnySimpleType query_id optional,
	Address address_
}
with {
  variant "name as 'ccq-message'";
  variant "element";
  variant (app_id) "name as 'app-id'";
  variant (app_id) "attribute";
  variant (query_id) "name as 'query-id'";
  variant (query_id) "attribute";
  variant (address_) "name as 'address'";
};


type record Ccq_response
{
	XSD.AnySimpleType code,
	XSD.AnySimpleType desc optional,
	XSD.AnySimpleType query_id optional,
	Address address_
}
with {
  variant "name as 'ccq-response'";
  variant "element";
  variant (code) "attribute";
  variant (desc) "attribute";
  variant (query_id) "name as 'query-id'";
  variant (query_id) "attribute";
  variant (address_) "name as 'address'";
};


type record Pap
{
	XSD.AnySimpleType product_name optional,
	union {
		Push_message push_message,
		Push_response push_response,
		Cancel_message cancel_message,
		Cancel_response cancel_response,
		Resultnotification_message resultnotification_message,
		Resultnotification_response resultnotification_response,
		Statusquery_message statusquery_message,
		Statusquery_response statusquery_response,
		Ccq_message ccq_message,
		Ccq_response ccq_response,
		Badmessage_response badmessage_response
	} choice
}
with {
  variant "name as uncapitalized";
  variant "element";
  variant (product_name) "name as 'product-name'";
  variant (product_name) "attribute";
  variant (choice) "untagged";
  variant (choice.push_message) "name as 'push-message'";
  variant (choice.push_response) "name as 'push-response'";
  variant (choice.cancel_message) "name as 'cancel-message'";
  variant (choice.cancel_response) "name as 'cancel-response'";
  variant (choice.resultnotification_message) "name as 'resultnotification-message'";
  variant (choice.resultnotification_response) "name as 'resultnotification-response'";
  variant (choice.statusquery_message) "name as 'statusquery-message'";
  variant (choice.statusquery_response) "name as 'statusquery-response'";
  variant (choice.ccq_message) "name as 'ccq-message'";
  variant (choice.ccq_response) "name as 'ccq-response'";
  variant (choice.badmessage_response) "name as 'badmessage-response'";
};


type record Progress_note
{
	XSD.AnySimpleType note optional,
	XSD.AnySimpleType stage,
	XSD.AnySimpleType time optional
}
with {
  variant "name as 'progress-note'";
  variant "element";
  variant (note) "attribute";
  variant (stage) "attribute";
  variant (time) "attribute";
};


type record Push_message
{
	XSD.AnySimpleType deliver_after_timestamp optional,
	XSD.AnySimpleType deliver_before_timestamp optional,
	XSD.AnySimpleType ppg_notify_requested_to optional,
	enumerated {
		true_,
		false_
	} progress_notes_requested optional,
	XSD.AnySimpleType push_id,
	enumerated {
		pending_only,
		all_
	} replace_method optional,
	XSD.AnySimpleType replace_push_id optional,
	XSD.AnySimpleType source_reference optional,
	record length(1 .. infinity) of Address address_list,
	Quality_of_service quality_of_service optional
}
with {
  variant "name as 'push-message'";
  variant "element";
  variant (deliver_after_timestamp) "name as 'deliver-after-timestamp'";
  variant (deliver_after_timestamp) "attribute";
  variant (deliver_before_timestamp) "name as 'deliver-before-timestamp'";
  variant (deliver_before_timestamp) "attribute";
  variant (ppg_notify_requested_to) "name as 'ppg-notify-requested-to'";
  variant (ppg_notify_requested_to) "attribute";
  variant (progress_notes_requested) "text 'false_' as 'false'";
  variant (progress_notes_requested) "text 'true_' as 'true'";
  variant (progress_notes_requested) "name as 'progress-notes-requested'";
  variant (progress_notes_requested) "defaultForEmpty as 'false'";
  variant (progress_notes_requested) "attribute";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (replace_method) "text 'all_' as 'all'";
  variant (replace_method) "text 'pending_only' as 'pending-only'";
  variant (replace_method) "name as 'replace-method'";
  variant (replace_method) "defaultForEmpty as 'all'";
  variant (replace_method) "attribute";
  variant (replace_push_id) "name as 'replace-push-id'";
  variant (replace_push_id) "attribute";
  variant (source_reference) "name as 'source-reference'";
  variant (source_reference) "attribute";
  variant (address_list) "untagged";
  variant (quality_of_service) "name as 'quality-of-service'";
};


type record Push_response
{
	XSD.AnySimpleType push_id,
	XSD.AnySimpleType reply_time optional,
	XSD.AnySimpleType sender_address optional,
	XSD.AnySimpleType sender_name optional,
	record of Progress_note progress_note_list,
	Response_result response_result
}
with {
  variant "name as 'push-response'";
  variant "element";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (reply_time) "name as 'reply-time'";
  variant (reply_time) "attribute";
  variant (sender_address) "name as 'sender-address'";
  variant (sender_address) "attribute";
  variant (sender_name) "name as 'sender-name'";
  variant (sender_name) "attribute";
  variant (progress_note_list) "untagged";
  variant (response_result) "name as 'response-result'";
};


type record Quality_of_service
{
	XSD.AnySimpleType bearer optional,
	enumerated {
		true_,
		false_
	} bearer_required optional,
	enumerated {
		confirmed,
		preferconfirmed,
		unconfirmed,
		notspecified
	} delivery_method optional,
	XSD.AnySimpleType network optional,
	enumerated {
		true_,
		false_
	} network_required optional,
	enumerated {
		high,
		medium,
		low
	} priority optional
}
with {
  variant "name as 'quality-of-service'";
  variant "element";
  variant (bearer) "attribute";
  variant (bearer_required) "text 'false_' as 'false'";
  variant (bearer_required) "text 'true_' as 'true'";
  variant (bearer_required) "name as 'bearer-required'";
  variant (bearer_required) "defaultForEmpty as 'false'";
  variant (bearer_required) "attribute";
  variant (delivery_method) "name as 'delivery-method'";
  variant (delivery_method) "defaultForEmpty as 'notspecified'";
  variant (delivery_method) "attribute";
  variant (network) "attribute";
  variant (network_required) "text 'false_' as 'false'";
  variant (network_required) "text 'true_' as 'true'";
  variant (network_required) "name as 'network-required'";
  variant (network_required) "defaultForEmpty as 'false'";
  variant (network_required) "attribute";
  variant (priority) "defaultForEmpty as 'medium'";
  variant (priority) "attribute";
};


type record Response_result
{
	XSD.AnySimpleType code,
	XSD.AnySimpleType desc optional
}
with {
  variant "name as 'response-result'";
  variant "element";
  variant (code) "attribute";
  variant (desc) "attribute";
};


type record Resultnotification_message
{
	XSD.AnySimpleType code,
	XSD.AnySimpleType desc optional,
	XSD.AnySimpleType event_time optional,
	enumerated {
		rejected,
		pending,
		delivered,
		undeliverable,
		expired,
		aborted,
		timeout_,
		cancelled,
		unknown
	} message_state,
	XSD.AnySimpleType push_id,
	XSD.AnySimpleType received_time optional,
	XSD.AnySimpleType sender_address optional,
	XSD.AnySimpleType sender_name optional,
	Address address_,
	Quality_of_service quality_of_service optional
}
with {
  variant "name as 'resultnotification-message'";
  variant "element";
  variant (code) "attribute";
  variant (desc) "attribute";
  variant (event_time) "name as 'event-time'";
  variant (event_time) "attribute";
  variant (message_state) "text 'timeout_' as 'timeout'";
  variant (message_state) "name as 'message-state'";
  variant (message_state) "attribute";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (received_time) "name as 'received-time'";
  variant (received_time) "attribute";
  variant (sender_address) "name as 'sender-address'";
  variant (sender_address) "attribute";
  variant (sender_name) "name as 'sender-name'";
  variant (sender_name) "attribute";
  variant (address_) "name as 'address'";
  variant (quality_of_service) "name as 'quality-of-service'";
};


type record Resultnotification_response
{
	XSD.AnySimpleType code,
	XSD.AnySimpleType desc optional,
	XSD.AnySimpleType push_id,
	Address address_
}
with {
  variant "name as 'resultnotification-response'";
  variant "element";
  variant (code) "attribute";
  variant (desc) "attribute";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (address_) "name as 'address'";
};


type record Statusquery_message
{
	XSD.AnySimpleType push_id,
	record of Address address_list
}
with {
  variant "name as 'statusquery-message'";
  variant "element";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (address_list) "untagged";
};


type record Statusquery_response
{
	XSD.AnySimpleType push_id,
	record length(1 .. infinity) of Statusquery_result statusquery_result_list
}
with {
  variant "name as 'statusquery-response'";
  variant "element";
  variant (push_id) "name as 'push-id'";
  variant (push_id) "attribute";
  variant (statusquery_result_list) "untagged";
};


type record Statusquery_result
{
	XSD.AnySimpleType code,
	XSD.AnySimpleType desc optional,
	XSD.AnySimpleType event_time optional,
	enumerated {
		rejected,
		pending,
		delivered,
		undeliverable,
		expired,
		aborted,
		timeout_,
		cancelled,
		unknown
	} message_state,
	record of Address address_list,
	Quality_of_service quality_of_service optional
}
with {
  variant "name as 'statusquery-result'";
  variant "element";
  variant (code) "attribute";
  variant (desc) "attribute";
  variant (event_time) "name as 'event-time'";
  variant (event_time) "attribute";
  variant (message_state) "text 'timeout_' as 'timeout'";
  variant (message_state) "name as 'message-state'";
  variant (message_state) "attribute";
  variant (address_list) "untagged";
  variant (quality_of_service) "name as 'quality-of-service'";
};


}
with {
  encode "XML";
  variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
}
Commit	Line	Data
970ed795 EL	1	/*******************************************************************************
	2	* Copyright Ericsson Telecom AB
	3	*
	4	* XSD to TTCN-3 Translator
	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: NoTargetNamespace_PAP_e.ttcn
	13	// Description:
	14	// References:
	15	// Rev:
	16	// Prodnr:
	17	// Updated:
	18	// Contact: http://ttcn.ericsson.se
	19	//
	20	////////////////////////////////////////////////////////////////////////////////
	21	//
	22	// Generated from file(s):
	23	//
	24	// - PAP.xsd
	25	// /* xml version = "1.0" */
	26	// /* targetnamespace = "NoTargetNamespace" */
	27	//
	28	////////////////////////////////////////////////////////////////////////////////
	29
	30
	31	module NoTargetNamespace_PAP_e {
	32
	33
	34	import from XSD all;
	35
	36
	37	type record Address
	38	{
	39	XSD.AnySimpleType address_value
	40	}
	41	with {
3f84031e	42	variant "name as uncapitalized";
	43	variant "element";
	44	variant (address_value) "name as 'address-value'";
	45	variant (address_value) "attribute";
970ed795 EL	46	};
	47
	48
	49	type record Badmessage_response
	50	{
	51	XSD.AnySimpleType bad_message_fragment optional,
	52	XSD.AnySimpleType code,
	53	XSD.AnySimpleType desc optional
	54	}
	55	with {
3f84031e	56	variant "name as 'badmessage-response'";
	57	variant "element";
	58	variant (bad_message_fragment) "name as 'bad-message-fragment'";
	59	variant (bad_message_fragment) "attribute";
	60	variant (code) "attribute";
	61	variant (desc) "attribute";
970ed795 EL	62	};
	63
	64
	65	type record Cancel_message
	66	{
	67	XSD.AnySimpleType push_id,
	68	record of Address address_list
	69	}
	70	with {
3f84031e	71	variant "name as 'cancel-message'";
	72	variant "element";
	73	variant (push_id) "name as 'push-id'";
	74	variant (push_id) "attribute";
	75	variant (address_list) "untagged";
970ed795 EL	76	};
	77
	78
	79	type record Cancel_response
	80	{
	81	XSD.AnySimpleType push_id,
	82	record length(1 .. infinity) of Cancel_result cancel_result_list
	83	}
	84	with {
3f84031e	85	variant "name as 'cancel-response'";
	86	variant "element";
	87	variant (push_id) "name as 'push-id'";
	88	variant (push_id) "attribute";
	89	variant (cancel_result_list) "untagged";
970ed795 EL	90	};
	91
	92
	93	type record Cancel_result
	94	{
	95	XSD.AnySimpleType code,
	96	XSD.AnySimpleType desc optional,
	97	record of Address address_list
	98	}
	99	with {
3f84031e	100	variant "name as 'cancel-result'";
	101	variant "element";
	102	variant (code) "attribute";
	103	variant (desc) "attribute";
	104	variant (address_list) "untagged";
970ed795 EL	105	};
	106
	107
	108	type record Ccq_message
	109	{
	110	XSD.AnySimpleType app_id optional,
	111	XSD.AnySimpleType query_id optional,
	112	Address address_
	113	}
	114	with {
3f84031e	115	variant "name as 'ccq-message'";
	116	variant "element";
	117	variant (app_id) "name as 'app-id'";
	118	variant (app_id) "attribute";
	119	variant (query_id) "name as 'query-id'";
	120	variant (query_id) "attribute";
	121	variant (address_) "name as 'address'";
970ed795 EL	122	};
	123
	124
	125	type record Ccq_response
	126	{
	127	XSD.AnySimpleType code,
	128	XSD.AnySimpleType desc optional,
	129	XSD.AnySimpleType query_id optional,
	130	Address address_
	131	}
	132	with {
3f84031e	133	variant "name as 'ccq-response'";
	134	variant "element";
	135	variant (code) "attribute";
	136	variant (desc) "attribute";
	137	variant (query_id) "name as 'query-id'";
	138	variant (query_id) "attribute";
	139	variant (address_) "name as 'address'";
970ed795 EL	140	};
	141
	142
	143	type record Pap
	144	{
	145	XSD.AnySimpleType product_name optional,
	146	union {
	147	Push_message push_message,
	148	Push_response push_response,
	149	Cancel_message cancel_message,
	150	Cancel_response cancel_response,
	151	Resultnotification_message resultnotification_message,
	152	Resultnotification_response resultnotification_response,
	153	Statusquery_message statusquery_message,
	154	Statusquery_response statusquery_response,
	155	Ccq_message ccq_message,
	156	Ccq_response ccq_response,
	157	Badmessage_response badmessage_response
	158	} choice
	159	}
	160	with {
3f84031e	161	variant "name as uncapitalized";
	162	variant "element";
	163	variant (product_name) "name as 'product-name'";
	164	variant (product_name) "attribute";
	165	variant (choice) "untagged";
	166	variant (choice.push_message) "name as 'push-message'";
	167	variant (choice.push_response) "name as 'push-response'";
	168	variant (choice.cancel_message) "name as 'cancel-message'";
	169	variant (choice.cancel_response) "name as 'cancel-response'";
	170	variant (choice.resultnotification_message) "name as 'resultnotification-message'";
	171	variant (choice.resultnotification_response) "name as 'resultnotification-response'";
	172	variant (choice.statusquery_message) "name as 'statusquery-message'";
	173	variant (choice.statusquery_response) "name as 'statusquery-response'";
	174	variant (choice.ccq_message) "name as 'ccq-message'";
	175	variant (choice.ccq_response) "name as 'ccq-response'";
	176	variant (choice.badmessage_response) "name as 'badmessage-response'";
970ed795 EL	177	};
	178
	179
	180	type record Progress_note
	181	{
	182	XSD.AnySimpleType note optional,
	183	XSD.AnySimpleType stage,
	184	XSD.AnySimpleType time optional
	185	}
	186	with {
3f84031e	187	variant "name as 'progress-note'";
	188	variant "element";
	189	variant (note) "attribute";
	190	variant (stage) "attribute";
	191	variant (time) "attribute";
970ed795 EL	192	};
	193
	194
	195	type record Push_message
	196	{
	197	XSD.AnySimpleType deliver_after_timestamp optional,
	198	XSD.AnySimpleType deliver_before_timestamp optional,
	199	XSD.AnySimpleType ppg_notify_requested_to optional,
	200	enumerated {
	201	true_,
	202	false_
	203	} progress_notes_requested optional,
	204	XSD.AnySimpleType push_id,
	205	enumerated {
	206	pending_only,
	207	all_
	208	} replace_method optional,
	209	XSD.AnySimpleType replace_push_id optional,
	210	XSD.AnySimpleType source_reference optional,
	211	record length(1 .. infinity) of Address address_list,
	212	Quality_of_service quality_of_service optional
	213	}
	214	with {
3f84031e	215	variant "name as 'push-message'";
	216	variant "element";
	217	variant (deliver_after_timestamp) "name as 'deliver-after-timestamp'";
	218	variant (deliver_after_timestamp) "attribute";
	219	variant (deliver_before_timestamp) "name as 'deliver-before-timestamp'";
	220	variant (deliver_before_timestamp) "attribute";
	221	variant (ppg_notify_requested_to) "name as 'ppg-notify-requested-to'";
	222	variant (ppg_notify_requested_to) "attribute";
	223	variant (progress_notes_requested) "text 'false_' as 'false'";
	224	variant (progress_notes_requested) "text 'true_' as 'true'";
	225	variant (progress_notes_requested) "name as 'progress-notes-requested'";
	226	variant (progress_notes_requested) "defaultForEmpty as 'false'";
	227	variant (progress_notes_requested) "attribute";
	228	variant (push_id) "name as 'push-id'";
	229	variant (push_id) "attribute";
	230	variant (replace_method) "text 'all_' as 'all'";
	231	variant (replace_method) "text 'pending_only' as 'pending-only'";
	232	variant (replace_method) "name as 'replace-method'";
	233	variant (replace_method) "defaultForEmpty as 'all'";
	234	variant (replace_method) "attribute";
	235	variant (replace_push_id) "name as 'replace-push-id'";
	236	variant (replace_push_id) "attribute";
	237	variant (source_reference) "name as 'source-reference'";
	238	variant (source_reference) "attribute";
	239	variant (address_list) "untagged";
	240	variant (quality_of_service) "name as 'quality-of-service'";
970ed795 EL	241	};
	242
	243
	244	type record Push_response
	245	{
	246	XSD.AnySimpleType push_id,
	247	XSD.AnySimpleType reply_time optional,
	248	XSD.AnySimpleType sender_address optional,
	249	XSD.AnySimpleType sender_name optional,
	250	record of Progress_note progress_note_list,
	251	Response_result response_result
	252	}
	253	with {
3f84031e	254	variant "name as 'push-response'";
	255	variant "element";
	256	variant (push_id) "name as 'push-id'";
	257	variant (push_id) "attribute";
	258	variant (reply_time) "name as 'reply-time'";
	259	variant (reply_time) "attribute";
	260	variant (sender_address) "name as 'sender-address'";
	261	variant (sender_address) "attribute";
	262	variant (sender_name) "name as 'sender-name'";
	263	variant (sender_name) "attribute";
	264	variant (progress_note_list) "untagged";
	265	variant (response_result) "name as 'response-result'";
970ed795 EL	266	};
	267
	268
	269	type record Quality_of_service
	270	{
	271	XSD.AnySimpleType bearer optional,
	272	enumerated {
	273	true_,
	274	false_
	275	} bearer_required optional,
	276	enumerated {
	277	confirmed,
	278	preferconfirmed,
	279	unconfirmed,
	280	notspecified
	281	} delivery_method optional,
	282	XSD.AnySimpleType network optional,
	283	enumerated {
	284	true_,
	285	false_
	286	} network_required optional,
	287	enumerated {
	288	high,
	289	medium,
	290	low
	291	} priority optional
	292	}
	293	with {
3f84031e	294	variant "name as 'quality-of-service'";
	295	variant "element";
	296	variant (bearer) "attribute";
	297	variant (bearer_required) "text 'false_' as 'false'";
	298	variant (bearer_required) "text 'true_' as 'true'";
	299	variant (bearer_required) "name as 'bearer-required'";
	300	variant (bearer_required) "defaultForEmpty as 'false'";
	301	variant (bearer_required) "attribute";
	302	variant (delivery_method) "name as 'delivery-method'";
	303	variant (delivery_method) "defaultForEmpty as 'notspecified'";
	304	variant (delivery_method) "attribute";
	305	variant (network) "attribute";
	306	variant (network_required) "text 'false_' as 'false'";
	307	variant (network_required) "text 'true_' as 'true'";
	308	variant (network_required) "name as 'network-required'";
	309	variant (network_required) "defaultForEmpty as 'false'";
	310	variant (network_required) "attribute";
	311	variant (priority) "defaultForEmpty as 'medium'";
	312	variant (priority) "attribute";
970ed795 EL	313	};
	314
	315
	316	type record Response_result
	317	{
	318	XSD.AnySimpleType code,
	319	XSD.AnySimpleType desc optional
	320	}
	321	with {
3f84031e	322	variant "name as 'response-result'";
	323	variant "element";
	324	variant (code) "attribute";
	325	variant (desc) "attribute";
970ed795 EL	326	};
	327
	328
	329	type record Resultnotification_message
	330	{
	331	XSD.AnySimpleType code,
	332	XSD.AnySimpleType desc optional,
	333	XSD.AnySimpleType event_time optional,
	334	enumerated {
	335	rejected,
	336	pending,
	337	delivered,
	338	undeliverable,
	339	expired,
	340	aborted,
	341	timeout_,
	342	cancelled,
	343	unknown
	344	} message_state,
	345	XSD.AnySimpleType push_id,
	346	XSD.AnySimpleType received_time optional,
	347	XSD.AnySimpleType sender_address optional,
	348	XSD.AnySimpleType sender_name optional,
	349	Address address_,
	350	Quality_of_service quality_of_service optional
	351	}
	352	with {
3f84031e	353	variant "name as 'resultnotification-message'";
	354	variant "element";
	355	variant (code) "attribute";
	356	variant (desc) "attribute";
	357	variant (event_time) "name as 'event-time'";
	358	variant (event_time) "attribute";
	359	variant (message_state) "text 'timeout_' as 'timeout'";
	360	variant (message_state) "name as 'message-state'";
	361	variant (message_state) "attribute";
	362	variant (push_id) "name as 'push-id'";
	363	variant (push_id) "attribute";
	364	variant (received_time) "name as 'received-time'";
	365	variant (received_time) "attribute";
	366	variant (sender_address) "name as 'sender-address'";
	367	variant (sender_address) "attribute";
	368	variant (sender_name) "name as 'sender-name'";
	369	variant (sender_name) "attribute";
	370	variant (address_) "name as 'address'";
	371	variant (quality_of_service) "name as 'quality-of-service'";
970ed795 EL	372	};
	373
	374
	375	type record Resultnotification_response
	376	{
	377	XSD.AnySimpleType code,
	378	XSD.AnySimpleType desc optional,
	379	XSD.AnySimpleType push_id,
	380	Address address_
	381	}
	382	with {
3f84031e	383	variant "name as 'resultnotification-response'";
	384	variant "element";
	385	variant (code) "attribute";
	386	variant (desc) "attribute";
	387	variant (push_id) "name as 'push-id'";
	388	variant (push_id) "attribute";
	389	variant (address_) "name as 'address'";
970ed795 EL	390	};
	391
	392
	393	type record Statusquery_message
	394	{
	395	XSD.AnySimpleType push_id,
	396	record of Address address_list
	397	}
	398	with {
3f84031e	399	variant "name as 'statusquery-message'";
	400	variant "element";
	401	variant (push_id) "name as 'push-id'";
	402	variant (push_id) "attribute";
	403	variant (address_list) "untagged";
970ed795 EL	404	};
	405
	406
	407	type record Statusquery_response
	408	{
	409	XSD.AnySimpleType push_id,
	410	record length(1 .. infinity) of Statusquery_result statusquery_result_list
	411	}
	412	with {
3f84031e	413	variant "name as 'statusquery-response'";
	414	variant "element";
	415	variant (push_id) "name as 'push-id'";
	416	variant (push_id) "attribute";
	417	variant (statusquery_result_list) "untagged";
970ed795 EL	418	};
	419
	420
	421	type record Statusquery_result
	422	{
	423	XSD.AnySimpleType code,
	424	XSD.AnySimpleType desc optional,
	425	XSD.AnySimpleType event_time optional,
	426	enumerated {
	427	rejected,
	428	pending,
	429	delivered,
	430	undeliverable,
	431	expired,
	432	aborted,
	433	timeout_,
	434	cancelled,
	435	unknown
	436	} message_state,
	437	record of Address address_list,
	438	Quality_of_service quality_of_service optional
	439	}
	440	with {
3f84031e	441	variant "name as 'statusquery-result'";
	442	variant "element";
	443	variant (code) "attribute";
	444	variant (desc) "attribute";
	445	variant (event_time) "name as 'event-time'";
	446	variant (event_time) "attribute";
	447	variant (message_state) "text 'timeout_' as 'timeout'";
	448	variant (message_state) "name as 'message-state'";
	449	variant (message_state) "attribute";
	450	variant (address_list) "untagged";
	451	variant (quality_of_service) "name as 'quality-of-service'";
970ed795 EL	452	};
	453
	454
	455	}
	456	with {
3f84031e	457	encode "XML";
3f84031e	458	variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
970ed795	459	}