DIRECTORY DefaultRemoteNames, Rope USING [ROPE]; DefaultRemoteNamesImpl: CEDAR MONITOR EXPORTS DefaultRemoteNames = BEGIN DefaultNames: TYPE = DefaultRemoteNames.DefaultNames; DefaultNamesRep: TYPE = DefaultRemoteNames.DefaultNamesRep; ROPE: TYPE = Rope.ROPE; initState: DefaultNames _ NEW[DefaultNamesRep _ [ systemHost: "[Indigo]", userHost: "[Ivy]", current: "[Indigo]", previous: "[Indigo]" ]]; currentState: DefaultNames _ initState; Get: PUBLIC ENTRY PROC RETURNS [DefaultNames] = { RETURN [currentState]; }; Set: PUBLIC ENTRY PROC [new: DefaultNames] = { IF new = NIL THEN currentState _ initState ELSE currentState _ new; }; END. @DefaultRemoteNamesImpl.mesa Copyright c 1984 by Xerox Corporation. All rights reserved. Russ Atkinson, July 11, 1984 8:07:13 pm PDT Gets the current default names. No error checking is performed, so the caller is presumed to be both honest and careful. If new = NIL, the defaults are rest to the initial state. ĘF˜šœ™Jšœ Īmœ1™