<> <> <> <> <> <> DIRECTORY YggEnvironment, YggInternal; YggFileControl: CEDAR DEFINITIONS = BEGIN <> CommitPhase1: PROCEDURE [trans: YggInternal.TransHandle] RETURNS [readOnly: BOOLEAN]; <> <> CommitPhase2: PROCEDURE [trans, newTrans: YggInternal.TransHandle]; <> Abort: PROCEDURE [trans: YggInternal.TransHandle]; <> <> CallBeforeUpdatePass: PROCEDURE; <> CallAfterUpdatePass: PROCEDURE; <> <> Initialize: PROCEDURE; <> RegisterVolumeGroup: PROCEDURE [volumeGroupID: YggEnvironment.VolumeGroupID, volumes: LIST OF YggEnvironment.VolumeID]; <> <> END. <> <> <<>>