The POSIX_FLAGS signature defines a generic set of operations on an abstract representation of system flags. It is included in various flag substructures of the other POSIX interfaces.
val toWord : flags -> SysWord.word
val wordTo : SysWord.word -> flags
val flags : flags list -> flags
val allSet : (flags * flags) -> bool
val anySet : (flags * flags) -> bool
flags denotes the empty set.
allSet (fl1, fl2)
trueif all of the flags in fl1 are also in fl2 (i.e., this tests for inclusion of fl1 in fl2).
anySet (fl1, fl2)
trueif any of the flags in fl1 is also in fl2 (i.e., this tests for non-empty intersection).
Posix, Posix.FileSys, Posix.IO, Posix.FileSys, SysWord
Last Modified April 9, 1996
Comments to John Reppy.
Copyright © 1997 Bell Labs, Lucent Technologies