-- Copyright (C) 1982, 1983  by Xerox Corporation. All rights reserved. 
-- TimeServerLog.mesa
-- Last edited by HGM,   19-Nov-83 12:26:02
-- Last edited by Keith,  6-Feb-82 16:19:56

DIRECTORY
  System USING [GreenwichMeanTime, NetworkAddress];

TimeServerLog: DEFINITIONS =
  BEGIN

  StartLogging: PROCEDURE;

  StopLogging: PROCEDURE;

  LogClockChange: PROCEDURE [
    time: System.GreenwichMeanTime, delta: LONG INTEGER,
    whoFrom: System.NetworkAddress,
    oldError, newError, newVersion, flightTime: LONG CARDINAL];

  LogInconsistancy: PROCEDURE [
    whoWith: System.NetworkAddress,
    myTime: System.GreenwichMeanTime, myError: LONG CARDINAL,
    theirTime: System.GreenwichMeanTime, theirError: LONG CARDINAL];
    
  LogReset: PROCEDURE [whoSays, from: System.NetworkAddress];

  LogStop: PROCEDURE [whoSays: System.NetworkAddress];
  
  LogStart: PROCEDURE [whoSays: System.NetworkAddress];

  END...