List of Import References :
See BOOL
See Char
See Com
See DENOTATION
See Denotation
See FileSystem
See Nat
See Option
See ProcessCtrl
See Quadruple
See Real
See Seq
See Set
See Signal
See String
See Time
See UserAndGroup
See Void
SIGNATURE SignalConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT Signal ONLY signal: SORT sigmask: SORT sighandler: SORT sigaction: SORT FUN ` : signal -> denotation -- SIG... FUN ` : sigmask -> denotation -- best possible output, limited due to portability -- e.g. {SIGTERM, SIGKILL, <NONPOSIX>} -- DRAFT IMPLEMENTATION FUN ` : sighandler -> denotation -- e.g. kill(4711,SIGKILL); unlink(/tmp/foo); _exit(FAILURE) -- DRAFT IMPLEMENTATION FUN ` : sigaction -> denotation -- SIG_DFL/SIG_IGN/CATCH/HANDLE(...)
next node: Wait,
prev node: Signal,
up to node: Subsystem Unix