This structure provides a side-effect function to escape from a pure functional execution into a command-based monitor whenever incoming data from a process connection has arrived or when SIGINT has occured.
List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See ProcessConnect
See Seq
See Void
SIGNATURE ProcessMonitor[env,inData,outData]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT Com[env] ONLY com:SORT
SORT env inData outData
IMPORT ProcessConnect[inData,outData] ONLY channel:SORT
FUN monitor : channel[inData,outData] ** env ** (env -> com[env])
** (env -> com[env]) -> env
-- FIXME: move to another place
FUN monitorForce : env ** (env -> com[env]) -> env
next node: ProcessConnect,
prev node: ProcessConnect,
up to node: Subsystem Opal Channel