lio-0.9.2.2: Labeled IO Information Flow Control Library (Index - G)

lio-0.9.2.2: Labeled IO Information Flow Control Library

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
/
\
All

Index - G

Gate	LIO.Gate, LIO
gate	LIO.Gate, LIO
getClearance	LIO.Core, LIO
getDirectoryContents	LIO.Handle
getDirectoryContentsP	LIO.Handle
getLabel	LIO.Core, LIO
getLIOStateTCB	LIO.TCB
getPathLabelTCB	LIO.FS.TCB
getRootDirTCB	LIO.FS.TCB
glb	LIO.Label, LIO
guardAlloc	LIO.Core, LIO
guardAllocP	LIO.Core, LIO
guardWrite	LIO.Core, LIO
guardWriteP	LIO.Core, LIO