aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/invalid_specs/invalid_spec1.erl
blob: 06ab2f9a22b8a4183e016fe1f85a7d93628c6f6f (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
-module(invalid_spec1).

-export([get_plan_dirty/1]).

-spec get_plan_dirty([string()]) -> {{atom(), any()}, [atom()]}.

get_plan_dirty(ClassL) ->
    get_plan_dirty(ClassL, [], []).

get_plan_dirty([], Res, FoundClassList) ->
    {Res,FoundClassList};
get_plan_dirty([Class|ClassL], Res, FoundClassList) ->
    ClassPlan = list_to_atom(Class ++ "_plan"),
    case catch mnesia:dirty_all_keys(ClassPlan) of
        {'EXIT',_} ->
            get_plan_dirty(ClassL, Res, FoundClassList);
        [] ->
            get_plan_dirty(ClassL, Res, FoundClassList);
        KeyL ->
            ClassAtom = list_to_atom(Class),
            Res2 =
                lists:foldl(fun(Key, Acc) ->
                                   [{ClassAtom,Key}|Acc]
                            end,
                            Res,
                            KeyL),
            get_plan_dirty(ClassL, Res2, [ClassAtom|FoundClassList])
    end.