File | pipe-abstractions.str |
Author | unknown |
Since | unknown |
General | |
Lines of code | 146 |
Stratego | |
Module number | 1 (0% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 9 (0% documented) |
Rule number | 8 (0% documented) |
DynamicRule number | 0 |
Strategy summary |
||
close-pipe | n/a | pipe-abstractions.str |
read-from-prog(Strategy prog, Strategy args) | n/a | pipe-abstractions.str |
read-from-prog'(Strategy prog, Strategy args) | n/a | pipe-abstractions.str |
setup-filter-pipe | n/a | pipe-abstractions.str |
stdin-from-pipe | n/a | pipe-abstractions.str |
stdout-to-pipe | n/a | pipe-abstractions.str |
write-term-to-text-pipe | n/a | pipe-abstractions.str |
write-to-prog(Strategy prog, Strategy args) | n/a | pipe-abstractions.str |
write-to-prog'(Strategy prog, Strategy args) | n/a | pipe-abstractions.str |
Rule summary |
||
close-filter-pipe(Strategy s) | n/a | pipe-abstractions.str |
exec-filter-pipe(Strategy s) | n/a | pipe-abstractions.str |
file-from-pipe | n/a | pipe-abstractions.str |
file-to-pipe | n/a | pipe-abstractions.str |
pipe-sink(Strategy prog, Strategy args) | n/a | pipe-abstractions.str |
pipe-source(Strategy prog, Strategy args) | n/a | pipe-abstractions.str |
read-term-from-pipe | n/a | pipe-abstractions.str |
spawn-filter-with-prog(Strategy prog, Strategy args) | n/a | pipe-abstractions.str |