aboutsummaryrefslogtreecommitdiffstats
path: root/lib/tools/test/cover_SUITE_data/d.erl
blob: b1d8ebd62e68d1bcdc9e6c05ea36294f28743601 (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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
-module(d).

-export([start/0, stop/0]).
-export([store/2, store/3, move/2,
	 location/1, who_are_at/1, who_are_older/1,
	 size/0]).
-export([init/0]). % spawn

-record(person, {name, age :: integer(), location, moved=false :: boolean()}).

%%%----------------------------------------------------------------------
%%% User interface functions
%%%----------------------------------------------------------------------

%%% start() -> pid()
start() ->
    spawn(?MODULE, init, []).

%%% stop()
stop() ->
    arne ! stop.

%%% store(Name, Location) ->
%%% store(Name, Age, Location) -> ok | {error,Reason}
%%%   Name = Location = atom()
%%%   Age = integer()
%%%   Reason = not_started | no_response | {internal_error,term()}
store(Name, Location) ->
    store(Name, ?AGE, Location).
store(Name, Age, Location) when atom(Name), integer(Age), atom(Location) ->
    send({store, Name, Age, Location}).

%%% move(OldLocation, NewLocation) -> Names | {error,Reason}
%%%   OldLocation = NewLocation = atom()
%%%   Names = [Name]
%%%     Name = atom()
%%%   Reason = not_started | no_response | {internal_error,term()}
move(OldLocation, NewLocation) ->
    send({move, OldLocation, NewLocation}).

%%% location(Name) -> Location | no_such_person | {error,Reason}
%%%   Name = atom()
%%%   Reason = not_started | no_response | {internal_error,term()}
location(Name) when atom(Name) ->
    send({location, Name}).

%%% who_are_at(Location) -> Names | {error,Reason}
%%%   Location = atom()
%%%   Names = [Name]
%%%     Name = atom()
%%%   Reason = not_started | no_response | {internal_error,term()}
who_are_at(Location) when atom(Location) ->
    send({who_are_at, Location}).

%%% who_are_older(Age) -> Names | {error,Reason}
%%%   Age = integer()
%%%   Names = [Name]
%%%     Name = atom()
%%%   Reason = not_started | no_response | {internal_error,term()}
who_are_older(Age) when integer(Age) ->
    send({who_are_older, Age}).

%%% size() -> N | {error,Reason}
%%%   N = integer()
%%%   Reason = not_started | no_response | {internal_error,term()}
size() ->
    send(size).

%%%----------------------------------------------------------------------
%%% Main loop
%%%----------------------------------------------------------------------
send(Request) ->
    Pid = whereis(arne),
    if
	Pid==undefined ->
	    {error, not_started};
	true ->
	    send(Pid, Request)
    end.
send(Pid, Request) ->
    Pid ! {request, self(), Request},
    receive
	{reply, Reply} ->
	    Reply
    after
	1000 ->
	    {error, no_response}
    end.
		
init() ->
    register(arne, self()),
    loop([]).

loop(Db) ->
    receive
	stop ->
	    true;
	{request, From, Request} ->
	    case catch handle(Request, Db) of
		{reply, Reply, NewDb} ->
		    From ! {reply, Reply},
		    loop(NewDb);
		{'EXIT', Reason} ->
		    From ! {reply, {error, {internal_error, Reason}}},
		    loop(Db)
	    end
    end.

%%%----------------------------------------------------------------------
%%% DB functionality
%%%----------------------------------------------------------------------
handle({store, Name, Age, Location}, Db) ->
    {reply, ok, [#person{name=Name, age=Age, location=Location} | Db]};
handle({move, OldLocation, NewLocation}, Db) ->
    {Names, NewDb} = move(OldLocation, NewLocation, Db, [], []),
    {reply, Names, NewDb};
handle({location, Name}, Db) ->
    case lists:keysearch(Name, #person.name, Db) of
	{value, #person{location=Location}} when atom(Location) ->
	    {reply, Location, Db};
	false ->
	    {reply, no_such_name, Db}
    end;
handle({who_are_at, Location}, Db) ->
    Result = lists:foldl(fun(Person, Names) ->
				 case Person#person.location of
				     Location ->
					 [Person#person.name | Names];
				     _OtherLocation ->
					 Names
				 end
			 end,
			 [],
			 Db),
    {reply, Result, Db};
handle({who_are_older, Old}, Db) ->
    Result = [Name || {person,Name,Age,Location} <- Db,
		   Age>Old],
    {reply, Result, Db};
handle(size, Db) ->
    Result = count(Db, 0), {reply, Result, Db}.

count([H|T], N) ->
    count(T, N+1);
count([], N) ->
    N.

move(OldLoc, NewLoc, [#person{location=OldLoc} = Person|T], Db, Names) ->
    NewPerson = Person#person{location=NewLoc,
			      moved=true},
    NewNames = [Person#person.name|Names],
    move(OldLoc, NewLoc, T, [NewPerson|Db], NewNames);
move(OldLoc, NewLoc, [Person|T], Db, Names) ->
    move(OldLoc, NewLoc, T, [Person|Db], Names);
move(OldLoc, NewLoc, [], Db, Names) ->
    {lists:reverse(Names), lists:reverse(Db)}.