diff options
author | Stavros Aronis <[email protected]> | 2011-04-02 18:57:42 +0300 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:15 +0200 |
commit | ca4633fd683527097451ca1398c90c87bb5c14fc (patch) | |
tree | 3d8e18c9becd4feb7d3ceb1eed24bdce2ef69dd6 /lib/dialyzer/test/opaque_tests_SUITE_data/src/my_digraph/my_digraph_adt.erl | |
parent | bc619f0cbf9555df6dfc44a499f0cd9cee8bd1be (diff) | |
download | otp-ca4633fd683527097451ca1398c90c87bb5c14fc.tar.gz otp-ca4633fd683527097451ca1398c90c87bb5c14fc.tar.bz2 otp-ca4633fd683527097451ca1398c90c87bb5c14fc.zip |
Rename suite data directories
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE_data/src/my_digraph/my_digraph_adt.erl')
-rw-r--r-- | lib/dialyzer/test/opaque_tests_SUITE_data/src/my_digraph/my_digraph_adt.erl | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE_data/src/my_digraph/my_digraph_adt.erl b/lib/dialyzer/test/opaque_tests_SUITE_data/src/my_digraph/my_digraph_adt.erl deleted file mode 100644 index 20c72aa6eb..0000000000 --- a/lib/dialyzer/test/opaque_tests_SUITE_data/src/my_digraph/my_digraph_adt.erl +++ /dev/null @@ -1,51 +0,0 @@ --module(my_digraph_adt). - --export([new/0, new/1]). - --record(my_digraph, {vtab = notable, - etab = notable, - ntab = notable, - cyclic = true :: boolean()}). - --opaque my_digraph() :: #my_digraph{}. - --type d_protection() :: 'private' | 'protected'. --type d_cyclicity() :: 'acyclic' | 'cyclic'. --type d_type() :: d_cyclicity() | d_protection(). - --spec new() -> my_digraph(). -new() -> new([]). - --spec new([atom()]) -> my_digraph(). -new(Type) -> - try check_type(Type, protected, []) of - {Access, Ts} -> - V = ets:new(vertices, [set, Access]), - E = ets:new(edges, [set, Access]), - N = ets:new(neighbours, [bag, Access]), - ets:insert(N, [{'$vid', 0}, {'$eid', 0}]), - set_type(Ts, #my_digraph{vtab=V, etab=E, ntab=N}) - catch - throw:Error -> throw(Error) - end. - --spec check_type([atom()], d_protection(), [{'cyclic', boolean()}]) -> - {d_protection(), [{'cyclic', boolean()}]}. - -check_type([acyclic|Ts], A, L) -> - check_type(Ts, A,[{cyclic,false} | L]); -check_type([cyclic | Ts], A, L) -> - check_type(Ts, A, [{cyclic,true} | L]); -check_type([protected | Ts], _, L) -> - check_type(Ts, protected, L); -check_type([private | Ts], _, L) -> - check_type(Ts, private, L); -check_type([T | _], _, _) -> - throw({error, {unknown_type, T}}); -check_type([], A, L) -> {A, L}. - --spec set_type([{'cyclic', boolean()}], my_digraph()) -> my_digraph(). - -set_type([{cyclic,V} | Ks], G) -> - set_type(Ks, G#my_digraph{cyclic = V}); -set_type([], G) -> G. |