<> <> <> 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.