Annotate

spec/scansion/uptime.scs @ 11432:113f3912c7cb

util: Add Teal interface definition files Enables writing code in Teal that is aware of the interfaces and function prototypes in these other utils. Could also be used to do type checks on Lua sources, but this tends to have a lot of noise.
author Kim Alvefur <zash@zash.se>
date Tue, 09 Mar 2021 14:36:46 +0100
parent 10731:8e2f9d0fa72d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10731
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 # XEP-0012: Last Activity / mod_uptime
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3 [Client] Romeo
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 jid: romeo@localhost
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
5 password: password
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
6
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
7 -----
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
8
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
9 Romeo connects
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
10
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
11 Romeo sends:
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
12 <iq id='a' type='get' to='localhost'>
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
13 <query xmlns='jabber:iq:last'/>
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
14 </iq>
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
15
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
16 Romeo receives:
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
17 <iq type='result' id='a' from='localhost'>
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
18 <query xmlns='jabber:iq:last' seconds='0'/>
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
19 </iq>
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
20
8e2f9d0fa72d mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff changeset
21 Romeo disconnects