added UpdateProcessState()

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7479 8c9fc860-2736-0410-a75d-ab315db34111

source/Objects.Mod

@@ -1152,6 +1152,12 @@ BEGIN
 	END
 END TerminateThis;
 
+(* called by WMProcessInfo to obtain the current state of a running process *)
+PROCEDURE UpdateProcessState*( p: Process );	
+BEGIN
+	(*  update p.stat.{PC,BP,SP}  *)
+END UpdateProcessState;
+
 (* Finalize a process. *)
 PROCEDURE FinalizeProcess(t: ANY);
 BEGIN