aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/predef.erl
blob: c2364fd1c25b717ee149d1407d14b2edddea2315 (plain) (tree)


































































                                                                     
-module(predef).

-export([array/1, dict/1, digraph/1, digraph2/1, gb_set/1, gb_tree/1,
         queue/1, set/1, tid/0, tid2/0]).

-export_type([array/0, digraph/0, gb_set/0]).

%% Before R17B local re-definitions of pre-defined opaque types were
%% ignored but did not generate any warning.
-opaque array() :: atom().
-opaque digraph() :: atom().
-opaque gb_set() :: atom().
-type dict() :: atom().
-type gb_tree() :: atom().
-type queue() :: atom().
-type set() :: atom().
-type tid() :: atom().

-spec array(array()) -> array:array().

array(A) ->
    array:relax(A).

-spec dict(dict()) -> dict:dict().

dict(D) ->
    dict:store(1, a, D).

-spec digraph(digraph()) -> [digraph:edge()].

digraph(G) ->
    digraph:edges(G).

-spec digraph2(digraph:graph()) -> [digraph:edge()].

digraph2(G) ->
    digraph:edges(G).

-spec gb_set(gb_set()) -> gb_sets:set().

gb_set(S) ->
    gb_sets:balance(S).

-spec gb_tree(gb_tree()) -> gb_trees:tree().

gb_tree(S) ->
    gb_trees:balance(S).

-spec queue(queue()) -> queue:queue().

queue(Q) ->
    queue:reverse(Q).

-spec set(set()) -> sets:set().

set(S) ->
    sets:union([S]).

-spec tid() -> tid().

tid() ->
    ets:new(tid, []).

-spec tid2() -> ets:tid().

tid2() ->
    ets:new(tid, []).