<> <> <> DIRECTORY CamelotRecoverable, FS; CamelotRecoverableImpl: CEDAR PROGRAM IMPORTS FS EXPORTS CamelotRecoverable = BEGIN <<>> CamelotRecoverableFile: PUBLIC FS.OpenFile; CamelotLogFile: PUBLIC FS.OpenFile; RestartFile: PUBLIC FS.OpenFile; <<>> <> Init: PROC = { CamelotRecoverableFile _ FS.Open[name: "///CamelotRecoverableFile/TestFile", lock: write]; CamelotLogFile _ FS.Open[name: "///CamelotRecoverableFile/LogFile", lock: write]; RestartFile _ FS.Open[name: "///CamelotRecoverableFile/RestartFile", lock: write]; }; Init[]; END. <<>>