| module PIPEasp_Templates { |
| |
| import from PIPEasp_PortType all; |
| import from PIPEasp_Types all; |
| |
| template (value) ASP_PExecuteBackground ts_ExecBg(charstring cmd) := { |
| command := cmd |
| } |
| |
| template (present) ASP_PStdout tr_Stdout(template (present) charstring line) := { |
| stdout := line |
| } |
| |
| template (present) ASP_PStderr tr_Stderr(template (present) charstring line) := { |
| stderr := line |
| } |
| |
| template (value) ASP_PStdin ts_Stdin(template (value) charstring line) := { |
| stdin :=line |
| } |
| |
| /* Ignore output from stderr: */ |
| altstep as_ignore_stderr(PIPEasp_PT pt) { |
| [] pt.receive(tr_Stderr(?)) { repeat; } |
| } |
| |
| } |