Contents
Index
lio-fs-0.0.0.1: Labeled File System interface for LIO
Index
appendFile
LIO.FS.Simple
appendFileP
LIO.FS.Simple
createBinaryFileTCB
LIO.FS.TCB
createDirectory
LIO.FS.Simple
createDirectoryP
LIO.FS.Simple
createDirectoryTCB
LIO.FS.TCB
createFileTCB
LIO.FS.TCB
evalDCWithRoot
LIO.FS.Simple.DCLabel
evalLIOWithRoot
LIO.FS.Simple
FSError
LIO.FS.TCB
,
LIO.FS.Simple
FSIllegalFileName
LIO.FS.TCB
,
LIO.FS.Simple
FSLabelCorrupt
LIO.FS.TCB
,
LIO.FS.Simple
FSObjNeedLabel
LIO.FS.TCB
,
LIO.FS.Simple
FSRootCorrupt
LIO.FS.TCB
,
LIO.FS.Simple
FSRootExists
LIO.FS.TCB
,
LIO.FS.Simple
FSRootInvalid
LIO.FS.TCB
,
LIO.FS.Simple
FSRootNeedLabel
LIO.FS.TCB
,
LIO.FS.Simple
FSRootNoExist
LIO.FS.TCB
,
LIO.FS.Simple
getDirectoryContents
LIO.FS.Simple
getDirectoryContentsP
LIO.FS.Simple
getPathLabelTCB
LIO.FS.TCB
getRootDirTCB
LIO.FS.TCB
initFSTCB
LIO.FS.TCB
labelOfFile
LIO.FS.Simple
labelOfFileP
LIO.FS.Simple
mkFSTCB
LIO.FS.TCB
readFile
LIO.FS.Simple
readFileP
LIO.FS.Simple
removeDirectory
LIO.FS.Simple
removeDirectoryP
LIO.FS.Simple
removeFile
LIO.FS.Simple
removeFileP
LIO.FS.Simple
setFSTCB
LIO.FS.TCB
setPathLabelTCB
LIO.FS.TCB
tryDCWithRoot
LIO.FS.Simple.DCLabel
tryLIOWithRoot
LIO.FS.Simple
writeFile
LIO.FS.Simple
writeFileP
LIO.FS.Simple