app/flint/0.4/src/operator.manager

Raw file
Back to index

 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
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;