lio-0.11.4.1: Labeled IO Information Flow Control Library

Index - G

GateLIO.Delegate, LIO
gateLIO.Delegate, LIO
GenericPrivDesc 
1 (Type/Class)LIO.Error
2 (Data Constructor)LIO.Error
getClearanceLIO.Core, LIO
getLabelLIO.Core, LIO
getLIOStateTCBLIO.TCB
glbLIO.Label, LIO
guardAllocLIO.Core, LIO
guardAllocPLIO.Core, LIO
guardGateLIO.Delegate, LIO
GuardIOLIO.TCB.LObj
guardIOTCBLIO.TCB.LObj
guardWriteLIO.Core, LIO
guardWritePLIO.Core, LIO