ComCompose

This structure provides the sequential composition of commands.

Signature of ComCompose

List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void

SIGNATURE ComCompose[first,second]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

SORT first second

IMPORT Com[first]  ONLY com ans
       Com[second] ONLY com

Com ; Cont constructs a command which first executes Com then calls the continuation Cont with the result of the execution. Com1 ; Com2 is a shortcut for Com1 ; (\\ _ . Com2).

FUN ; : com[first] ** (ans[first] -> com[second]) -> com[second]
FUN ; : com[first] ** com[second]                 -> com[second]

Com & Cont constructs a command which first executes Com. If the answer is okay, the continuation is called with the answers data, otherwise the failure answer is yielded.

FUN & : com[first] ** (first -> com[second])      -> com[second]
FUN & : com[first] ** com[second]                 -> com[second]

next node: ComConv,
prev node: Com,
up to node: Subsystem Commands