callGate | LIO.Gate, LIO |
canFlowTo | LIO.Label, LIO |
canFlowToP | LIO.Privs, LIO |
CanFlowToViolation | LIO.Core, LIO |
catchLIO | LIO.Core, LIO |
catchLIOP | LIO.Core, LIO |
catchTCB | LIO.TCB |
Clause | |
1 (Type/Class) | LIO.DCLabel.Core, LIO.DCLabel |
2 (Data Constructor) | LIO.DCLabel.Core |
clause | LIO.DCLabel.Core, LIO.DCLabel |
ClearanceViolation | LIO.Core, LIO |
Component | LIO.DCLabel.Core, LIO.DCLabel |
createDirectory | LIO.Handle |
createDirectoryP | LIO.Handle |
createDirectoryTCB | LIO.FS.TCB |
createFileTCB | LIO.FS.TCB |
CurrentLabelViolation | LIO.Core, LIO |