<<>> <> <> <> <<>> <> <<>> DIRECTORY IncrementalLoad; IncrementalLoadImpl: CEDAR PROGRAM EXPORTS IncrementalLoad ~ { XRLockIncrementalLoadState: PUBLIC PROCEDURE [wait: IncrementalLoad.bool] RETURNS [IncrementalLoad.XRILError] ~ { XRLockIncrementalLoadStateMachineCode: PROCEDURE [wait: IncrementalLoad.bool] RETURNS [IncrementalLoad.XRILError] ~ TRUSTED MACHINE CODE { "XR_LockIncrementalLoadState" }; RETURN [XRLockIncrementalLoadStateMachineCode[wait: wait]]; }; XRUnlockIncrementalLoadState: PUBLIC PROCEDURE [] RETURNS [IncrementalLoad.XRILError] ~ { XRUnlockIncrementalLoadStateMachineCode: PROCEDURE [] RETURNS [IncrementalLoad.XRILError] ~ TRUSTED MACHINE CODE { "XR_UnlockIncrementalLoadState" }; RETURN [XRUnlockIncrementalLoadStateMachineCode[]]; }; XRILGetPrevFileEntry: PUBLIC PROCEDURE [ilfe: IncrementalLoad.XRILFileEntry] RETURNS [IncrementalLoad.XRILFileEntry] ~ { XRILGetPrevFileEntryMachineCode: PROCEDURE [ilfe: IncrementalLoad.XRILFileEntry] RETURNS [IncrementalLoad.XRILFileEntry] ~ TRUSTED MACHINE CODE { "XR_ILGetPrevFileEntry" }; RETURN [XRILGetPrevFileEntryMachineCode[ilfe: ilfe]]; }; XRILLookupSymEntry: PUBLIC PROCEDURE [ sym: IncrementalLoad.charStar, externOnly: IncrementalLoad.bool] RETURNS [IncrementalLoad.XRILSymEntry] ~ { XRILLookupSymEntryMachineCode: PROCEDURE [ sym: IncrementalLoad.charStar, externOnly: IncrementalLoad.bool] RETURNS [IncrementalLoad.XRILSymEntry] ~ TRUSTED MACHINE CODE { "XR_ILLookupSymEntry" }; RETURN [XRILLookupSymEntryMachineCode[sym: sym, externOnly: externOnly]]; }; XRILLookupSymEntryByValue: PUBLIC PROCEDURE [val: IncrementalLoad.unsigned] RETURNS [IncrementalLoad.XRILSymEntry] ~ { XRILLookupSymEntryByValueMachineCode: PROCEDURE [val: IncrementalLoad.unsigned] RETURNS [IncrementalLoad.XRILSymEntry] ~ TRUSTED MACHINE CODE { "XR_ILLookupSymEntryByValue" }; RETURN [XRILLookupSymEntryByValueMachineCode[val: val]]; }; XRILGetPrevSymEntry: PUBLIC PROCEDURE [ ilse: IncrementalLoad.XRILSymEntry, externOnly: IncrementalLoad.bool] RETURNS [IncrementalLoad.XRILSymEntry] ~ { XRILGetPrevSymEntryMachineCode: PUBLIC PROCEDURE [ ilse: IncrementalLoad.XRILSymEntry, externOnly: IncrementalLoad.bool] RETURNS [IncrementalLoad.XRILSymEntry] ~ TRUSTED MACHINE CODE { "XR_ILGetPrevSymEntry" }; RETURN [XRILGetPrevSymEntryMachineCode[ilse: ilse, externOnly: externOnly]]; }; XRILGetPrevSymEntryByValue: PUBLIC PROCEDURE [ilse: IncrementalLoad.XRILSymEntry] RETURNS [IncrementalLoad.XRILSymEntry] ~ { XRILGetPrevSymEntryByValueMachineCode: PROCEDURE [ ilse: IncrementalLoad.XRILSymEntry] RETURNS [IncrementalLoad.XRILSymEntry] ~ TRUSTED MACHINE CODE { "XR_ILGetPrevSymEntryByValue" }; RETURN [XRILGetPrevSymEntryByValueMachineCode[ilse: ilse]]; }; XRILGetNextSymEntryByValue: PUBLIC PROCEDURE [ilse: IncrementalLoad.XRILSymEntry] RETURNS [IncrementalLoad.XRILSymEntry] ~ { XRILGetNextSymEntryByValueMachineCode: PROCEDURE [ ilse: IncrementalLoad.XRILSymEntry] RETURNS [IncrementalLoad.XRILSymEntry] ~ TRUSTED MACHINE CODE { "XR_ILGetNextSymEntryByValue" }; RETURN [XRILGetNextSymEntryByValueMachineCode[ilse: ilse]]; }; }. <<>>