Software / code / prosody
Annotate
teal-src/util/timer.d.tl @ 12746:7eabf8d78978
util.roles: Return nil if the role has no explicit policy (fixes inheritance)
Previously, if the first inherited role had no opinion, it returned false and
prevented further consultation of other inherited roles.
This bug was found thanks to the implementation of missing test cases
identified through mutation testing.
| author | Matthew Wild <mwild1@gmail.com> |
|---|---|
| date | Fri, 07 Oct 2022 16:58:08 +0100 |
| parent | 12624:7eca6c919d5e |
| rev | line source |
|---|---|
|
12624
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
1 local record util_timer |
|
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
2 record task end |
|
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
3 type timer_callback = function (number) : number |
|
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
4 add_task : function ( number, timer_callback, any ) : task |
|
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
5 stop : function ( task ) |
|
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
6 reschedule : function ( task, number ) : task |
|
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
7 end |
|
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
8 return util_timer |
