From 04e68443040c7abad84d66477e98f93bed701760 Mon Sep 17 00:00:00 2001
From: Lars-Dominik Braun <lars@6xq.net>
Date: Mon, 4 Feb 2019 13:09:03 +0100
Subject: Initial import

---
 app/flint/0.4/src/operator.manager | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 app/flint/0.4/src/operator.manager

(limited to 'app/flint/0.4/src/operator.manager')

diff --git a/app/flint/0.4/src/operator.manager b/app/flint/0.4/src/operator.manager
new file mode 100644
index 0000000..fc9c31a
--- /dev/null
+++ b/app/flint/0.4/src/operator.manager
@@ -0,0 +1,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;
+
-- 
cgit v1.2.3