diff options
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE_data/src/my_queue/my_queue_use.erl')
-rw-r--r-- | lib/dialyzer/test/opaque_tests_SUITE_data/src/my_queue/my_queue_use.erl | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE_data/src/my_queue/my_queue_use.erl b/lib/dialyzer/test/opaque_tests_SUITE_data/src/my_queue/my_queue_use.erl deleted file mode 100644 index 98f9972c1e..0000000000 --- a/lib/dialyzer/test/opaque_tests_SUITE_data/src/my_queue/my_queue_use.erl +++ /dev/null @@ -1,35 +0,0 @@ --module(my_queue_use). - --export([ok1/0, ok2/0, wrong1/0, wrong2/0, wrong3/0, wrong4/0, wrong5/0]). - -ok1() -> - my_queue_adt:is_empty(my_queue_adt:new()). - -ok2() -> - Q0 = my_queue_adt:new(), - Q1 = my_queue_adt:add(42, Q0), - {42, Q2} = my_queue_adt:dequeue(Q1), - my_queue_adt:is_empty(Q2). - -wrong1() -> - my_queue_adt:is_empty([]). - -wrong2() -> - Q0 = [], - my_queue_adt:add(42, Q0). - -wrong3() -> - Q0 = my_queue_adt:new(), - Q1 = my_queue_adt:add(42, Q0), - [42|Q2] = Q1, - Q2. - -wrong4() -> - Q0 = my_queue_adt:new(), - Q1 = my_queue_adt:add(42, Q0), - Q1 =:= []. - -wrong5() -> - Q0 = my_queue_adt:new(), - {42, Q2} = my_queue_adt:dequeue([42|Q0]), - Q2. |