next node: Wait,
prev node: Signal,
up to node: Subsystem Unix


SignalConv

Signature of SignalConv

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