home *** CD-ROM | disk | FTP | other *** search
- eos="eos";
- //channel ch1,ch2;
- ch1=channel();
- ch2=channel();
- task source(right) {right!2;right!3;right!4;right!eos;};
- task sink(left;x) {left?x;while (x!=eos) {print x;left?x;}};
- task copy(left,right;x) {left?x;while(x!=eos) {right!x;left?x;}
- right!eos;};
- task main() {start source(ch1); start copy(ch1,ch2);start sink(ch2);};
- end
-