1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
local record lib
type children_iter = function ( stanza_t ) : stanza_t
type childtags_iter = function () : stanza_t
type maptags_cb = function ( stanza_t ) : stanza_t
enum stanza_error_type
"auth"
"cancel"
"continue"
"modify"
"wait"
end
enum stanza_error_condition
"bad-request"
"conflict"
"feature-not-implemented"
"forbidden"
"gone"
"internal-server-error"
"item-not-found"
"jid-malformed"
"not-acceptable"
"not-allowed"
"not-authorized"
"policy-violation"
"recipient-unavailable"
"redirect"
"registration-required"
"remote-server-not-found"
"remote-server-timeout"
"resource-constraint"
"service-unavailable"
"subscription-required"
"undefined-condition"
"unexpected-request"
end
record stanza_t
name : string
attr : { string : string }
{ stanza_t | string }
tags : { stanza_t }
query : function ( stanza_t, string ) : stanza_t
body : function ( stanza_t, string, { string : string } ) : stanza_t
text_tag : function ( stanza_t, string, string, { string : string } ) : stanza_t
tag : function ( stanza_t, string, { string : string } ) : stanza_t
text : function ( stanza_t, string ) : stanza_t
up : function ( stanza_t ) : stanza_t
at_top : function ( stanza_t ) : boolean
reset : function ( stanza_t ) : stanza_t
add_direct_child : function ( stanza_t, stanza_t )
add_child : function ( stanza_t, stanza_t )
remove_children : function ( stanza_t, string, string ) : stanza_t
get_child : function ( stanza_t, string, string ) : stanza_t
get_text : function ( stanza_t ) : string
get_child_text : function ( stanza_t, string, string ) : string
get_child_attr : function ( stanza_t, string, string ) : string
get_child_with_attr : function ( stanza_t, string, string, string, function (string) : boolean ) : string
child_with_name : function ( stanza_t, string, string ) : stanza_t
child_with_ns : function ( stanza_t, string, string ) : stanza_t
children : function ( stanza_t ) : children_iter, stanza_t, integer
childtags : function ( stanza_t, string, string ) : childtags_iter
maptags : function ( stanza_t, maptags_cb ) : stanza_t
find : function ( stanza_t, string ) : stanza_t | string
top_tag : function ( stanza_t ) : string
pretty_print : function ( stanza_t ) : string
pretty_top_tag : function ( stanza_t ) : string
-- FIXME Represent util.error support
get_error : function ( stanza_t ) : stanza_error_type, stanza_error_condition, string, stanza_t
add_error : function ( stanza_t, stanza_error_type, stanza_error_condition, string, string )
indent : function ( stanza_t, integer, string ) : stanza_t
end
record serialized_stanza_t
name : string
attr : { string : string }
{ serialized_stanza_t | string }
end
record message_attr
["xml:lang"] : string
from : string
id : string
to : string
type : message_type
enum message_type
"chat"
"error"
"groupchat"
"headline"
"normal"
end
end
record presence_attr
["xml:lang"] : string
from : string
id : string
to : string
type : presence_type
enum presence_type
"error"
"probe"
"subscribe"
"subscribed"
"unsubscribe"
"unsubscribed"
end
end
record iq_attr
["xml:lang"] : string
from : string
id : string
to : string
type : iq_type
enum iq_type
"error"
"get"
"result"
"set"
end
end
stanza : function ( string, { string : string } ) : stanza_t
is_stanza : function ( any ) : boolean
preserialize : function ( stanza_t ) : serialized_stanza_t
deserialize : function ( serialized_stanza_t ) : stanza_t
clone : function ( stanza_t, boolean ) : stanza_t
message : function ( message_attr, string ) : stanza_t
iq : function ( iq_attr ) : stanza_t
reply : function ( stanza_t ) : stanza_t
error_reply : function ( stanza_t, stanza_error_type, stanza_error_condition, string, string ) : stanza_t
presence : function ( presence_attr ) : stanza_t
xml_escape : function ( string ) : string
pretty_print : function ( string ) : string
end
return lib
|
