blob: fc9c31a480971e534eaa05b61ed84a626e877cfc (
plain)
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
|
PACKET operator manager (* Autor: Thomas Berlage *)
(* Stand: 14.01.88 *)
DEFINES
operator manager,
continue :
LET
only privileged =
"Nur für Systemtasks zugelassen";
PROC operator manager (DATASPACE VAR ds, INT CONST order, phase,
TASK CONST order task) :
enable stop;
IF order task = supervisor OR order task < supervisor THEN
menue manager (ds, order, phase, order task)
ELSE
errorstop (only privileged)
END IF
END PROC operator manager;
PROC continue (TASK CONST t) :
continue (t,
PROC (DATASPACE VAR, INT CONST, INT CONST, TASK CONST) operator manager)
END PROC continue;
END PACKET operator manager;
|
