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
29
30
31
32
33
34
35
|
-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.
|