<> <> <> DIRECTORY DefaultRemoteNames, Rope USING [ROPE]; DefaultRemoteNamesImpl: CEDAR MONITOR EXPORTS DefaultRemoteNames = BEGIN OPEN Rope; DefaultNames: TYPE = DefaultRemoteNames.DefaultNames; DefaultNamesRep: TYPE = DefaultRemoteNames.DefaultNamesRep; initState: DefaultNames _ NEW[DefaultNamesRep _ [ systemHost: "[Cedar]", userHost: "[User]", current: "[Cedar]", previous: "[Indigo]", registry: "pa" ]]; 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.