app/flint/0.4/src/flint.manager

Raw file
Back to index

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
PACKET flint manager                        (* Autor: Thomas Berlage *)
                                            (* Stand: 15.01.88       *) 
  DEFINES

  continue :


PROC continue (TASK CONST t) :

  continue (t,
    PROC (DATASPACE VAR, INT CONST, INT CONST, TASK CONST) eudas manager)

END PROC continue;

END PACKET flint manager;