-- TimeServerDummyImpl.mesa
  -- Copyright (C) 1987  by Xerox Corporation. All rights reserved.
  -- Tim Diebert,  9-Aug-87 16:13:05, for home workstation

DIRECTORY
  TimeServerClock USING [Invalid, Read],
  TimeServerOps USING [];

TimeServerDummyImpl: MONITOR
  IMPORTS TimeServerClock
  EXPORTS TimeServerOps = BEGIN
  
  GetClockError: PUBLIC ENTRY PROCEDURE
    RETURNS [known: BOOLEAN, error: LONG CARDINAL] = {
  [accurate: known, error: error] ← TimeServerClock.Read[
    ! TimeServerClock.Invalid => RESUME]};
  
  END......