aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/ddfs_master/gs_util.hrl
blob: d579e9a7d731e4beb582f9e14bbcf47701b4a3f7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
% This is a set of type utilities to be used when spec-cing the
% callbacks of a gen_server implementation.  It should be included in
% the impl module, which needs to define the state() type.

-type gs_init()      :: {ok, state()}.
-type gs_reply(T)    :: {reply, (T), state()}.
-type gs_noreply()   :: {noreply, state()}.
-type gs_noreply_t() :: {noreply, state(), non_neg_integer()}.
-type gs_stop(T)     :: {stop, (T), state()}.

% Generic utilities.

-type server() :: pid() | atom() | {atom(), node()}.
-type from()   :: {pid(), term()}.

-type dbg_state_msg() :: dbg_get_state.