From 26337b94e6539bb18374c504121daf5045a24284 Mon Sep 17 00:00:00 2001 From: Norayr Chilingarian Date: Wed, 6 Nov 2013 14:42:28 +0400 Subject: [PATCH] ulmEvents fixed, beautified Former-commit-id: 015afee491e557aa2f80007e6d9b0a17fe64e23a --- src/lib/ulm/ulmEvents.Mod | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/lib/ulm/ulmEvents.Mod b/src/lib/ulm/ulmEvents.Mod index 9d58c10d..605dced8 100644 --- a/src/lib/ulm/ulmEvents.Mod +++ b/src/lib/ulm/ulmEvents.Mod @@ -39,7 +39,7 @@ MODULE ulmEvents; - IMPORT Objects := ulmObjects, Priorities := ulmPriorities, Services := ulmServices, SYS := ulmSYSTEM, SYSTEM; + IMPORT Objects := ulmObjects, Priorities := ulmPriorities, Services := ulmServices, SYS := ulmSYSTEM; TYPE EventType* = POINTER TO EventTypeRec; @@ -316,12 +316,13 @@ MODULE ulmEvents; *) VAR b : BOOLEAN; (* noch *) tmphandler : EventHandler; - i,j : LONGINT; + (*i,j : LONGINT;*) BEGIN - i := SYSTEM.VAL(LONGINT, handler); + (*i := SYSTEM.VAL(LONGINT, handler);*) tmphandler := NilHandler; - j := SYSTEM.VAL(LONGINT, tmphandler); - b := i # j; + (*b := tmphandler = handler;*) + (*j := SYSTEM.VAL(LONGINT, tmphandler); + b := i # j;*) b := handler # tmphandler; (*ASSERT (handler # NilHandler);*) ASSERT(b);