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
|
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
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
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
get_error : function ( stanza_t ) : stanza_error_type, stanza_error_condition, string, stanza_t
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
|
