1 /******************************************************************************
2 * Copyright (c) 2000-2015 Ericsson Telecom AB
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
7 ******************************************************************************/
9 // File: http_jabber_org_protocol_pubsub_event.ttcn
14 // Updated: Sun Jan 6 13:51:49 2013
15 // Contact: http://ttcn.ericsson.se
17 ////////////////////////////////////////////////////////////////////////////////
19 // Generated from file(s):
22 // /* xml version = "1.0" encoding = "UTF-8" */
23 // /* targetnamespace = "http://jabber.org/protocol/pubsub#event" */
25 ////////////////////////////////////////////////////////////////////////////////
27 ////////////////////////////////////////////////////////////////////////////////
30 //XEP-0060: Publish-Subscribe
33 ////////////////////////////////////////////////////////////////////////////////
36 module http_jabber_org_protocol_pubsub_event {
42 import from jabber_x_data all;
45 /* xmlns:xdata='jabber:x:data' is needed to trick the converter */
48 /* The protocol documented by this schema is defined in
49 XEP-0060: http://xmpp.org/extensions/xep-0060.html */
52 /* http://xmpp.org/schemas/x-data.xsd */
58 Collection collection,
59 Configuration configuration,
63 Subscription subscription
67 variant "name as uncapitalized";
69 variant (choice) "untagged";
73 type record Collection
75 XSD.String node optional,
78 Disassociate disassociate
82 variant "name as uncapitalized";
84 variant (node) "attribute";
85 variant (choice) "untagged";
95 variant "name as uncapitalized";
97 variant (node) "attribute";
98 //variant (base) "untagged";
102 type record Disassociate
108 variant "name as uncapitalized";
110 variant (node) "attribute";
111 //variant (base) "untagged";
115 type record Configuration
117 XSD.String node optional,
123 variant "name as uncapitalized";
125 variant (node) "attribute";
126 variant (sequence) "untagged";
127 variant (sequence.x) "namespace as 'jabber:x:data' prefix 'xdata'";
134 Redirect redirect optional
137 variant "name as uncapitalized";
139 variant (node) "attribute";
147 record of Item item_list,
148 record length(1 .. infinity) of Retract retract_list
152 variant "name as uncapitalized";
154 variant (node) "attribute";
155 variant (choice) "untagged";
156 variant (choice.item_list) "untagged";
157 variant (choice.retract_list) "untagged";
163 XSD.String id optional,
164 XSD.String node optional,
165 XSD.String publisher optional,
172 variant "name as uncapitalized";
174 variant (id) "attribute";
175 variant (node) "attribute";
176 variant (publisher) "attribute";
177 variant (choice) "untagged";
178 variant (choice.elem) "anyElement except unqualified, 'http://jabber.org/protocol/pubsub#event'";
188 variant "name as uncapitalized";
190 variant (node) "attribute";
191 //variant (base) "untagged";
201 variant "name as uncapitalized";
203 variant (uri) "attribute";
204 //variant (base) "untagged";
214 variant "name as uncapitalized";
216 variant (id) "attribute";
217 //variant (base) "untagged";
221 type record Subscription
223 XSD.DateTime expiry optional,
225 XSD.String node optional,
226 XSD.String subid optional,
232 } subscription optional//,
236 variant "name as uncapitalized";
238 variant (expiry) "attribute";
239 variant (jid) "attribute";
240 variant (node) "attribute";
241 variant (subid) "attribute";
242 variant (subscription) "text 'none_' as 'none'";
243 variant (subscription) "attribute";
244 //variant (base) "untagged";
248 type enumerated Empty
253 variant "text 'x' as ''";
254 variant "name as uncapitalized";
261 variant "namespace as 'http://jabber.org/protocol/pubsub#event'";
262 variant "controlNamespace 'http://www.w3.org/2001/XMLSchema-instance' prefix 'xsi'";
263 variant "elementFormQualified";