aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/para/myqueue_params.erl
blob: 8d766b780466e6a70c7e3c56ad09139b256fe5c0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-module(myqueue_params).

-export([new/0, in/2]).

-record(myqueue_params, {myqueue = myqueue:new() :: myqueue:myqueue(integer())}).

-type myqueue_params() :: #myqueue_params{myqueue ::
                                          myqueue:myqueue(integer())}.
-spec new() -> myqueue_params().
new() ->
    #myqueue_params{myqueue=myqueue:new()}.

-spec in(integer(), myqueue_params()) -> myqueue_params().
in(Item, #myqueue_params{myqueue=Q} = P) when is_integer(Item) ->
    P#myqueue_params{myqueue=myqueue:in(Item, Q)}.