yuanbiao
/
emqx
1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

test: add new proper types to #session{} after rebase

This commit is contained in:
Tobias Lindahl 2021-10-15 14:32:14 +02:00
parent fd71bc50ab
commit b9b8111edb
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
apps/emqx/test/emqx_proper_types.erl
View File

@ -100,6 +100,8 @@ clientinfo() ->
%% See emqx_session:session() type define %% See emqx_session:session() type define
sessioninfo() -> sessioninfo() ->
?LET(Session, {session, ?LET(Session, {session,
sessionid(), % id
boolean(), % is_persistent
subscriptions(), % subscriptions subscriptions(), % subscriptions
non_neg_integer(), % max_subscriptions non_neg_integer(), % max_subscriptions
boolean(), % upgrade_qos boolean(), % upgrade_qos
@ -114,6 +116,9 @@ sessioninfo() ->
}, },
emqx_session:info(Session)). emqx_session:info(Session)).
sessionid() ->
emqx_guid:gen().
subscriptions() -> subscriptions() ->
?LET(L, list({topic(), subopts()}), maps:from_list(L)). ?LET(L, list({topic(), subopts()}), maps:from_list(L)).