lio-0.11.6.0: 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
getClearance 
1 (Function)LIO.Core, LIO
2 (Function)LIO.Core.Trans
getLabel 
1 (Function)LIO.Core, LIO
2 (Function)LIO.Core.Trans
getLIOStateTCBLIO.TCB
glbLIO.Label, LIO
guardAlloc 
1 (Function)LIO.Core, LIO
2 (Function)LIO.Core.Trans
guardAllocP 
1 (Function)LIO.Core, LIO
2 (Function)LIO.Core.Trans
guardGateLIO.Delegate, LIO
GuardIOLIO.TCB.LObj
guardIOTCBLIO.TCB.LObj
guardWrite 
1 (Function)LIO.Core, LIO
2 (Function)LIO.Core.Trans
guardWriteP 
1 (Function)LIO.Core, LIO
2 (Function)LIO.Core.Trans