
StructuredStreamsTest 40 FALSE {no<w4" ">need<w4" ">to<w4" ">break}
StructuredStreamsTest 40 TRUE {no<w4" ">need<m4" ">to<w4" ">wait}
StructuredStreamsTest 40 TRUE {no<w4" ">need<m10" ">to<w4" ">wait}
StructuredStreamsTest 16 TRUE{(proc<m1" ">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg4}).}
StructuredStreamsTest 10 TRUE{(proc<m1" ">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg4})}
StructuredStreamsTest 10 TRUE{(proc<m1" ">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}
StructuredStreamsTest 12 TRUE {'{(proc <m1"">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}}
StructuredStreamsTest 11 TRUE {'{(proc <m1"">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}}
StructuredStreamsTest 12 TRUE{'{(procname <m1"">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}}
StructuredStreamsTest 12 TRUE{'{(procname <m1"">{arg1<u0" ">arg2<u0" ">arg3<u0" ">arg})}}
StructuredStreamsTest 12 TRUE{violates<m1"">input<m1"">restriction}
StructuredStreamsTest 12 TRUE{also {violates<m1"">input} <m1"">restriction}
StructuredStreamsTest 12 TRUE{also {violates<m1"">input} {<m1"">restriction}}
StructuredStreamsTest 12 TRUE{doesn't {violate<m1"">input}<w0" ">{<m1"">restriction}}
StructuredStreamsTest 15 TRUE {(proc<m1" ">{arg1<w0" ">{(proc2<m1" ">{arg21<w0" ">arg22<w0" ">arg23<w0" ">arg24})}<w0" ">{(proc3<m1" ">{arg31<w0" ">arg32<w0" ">arg33<w0" ">arg34})}<w0" ">arg4})}
StructuredStreamsTest 16 TRUE {(proc<m1" ">{arg1<w0" ">{(proc2<m1" ">{arg21<w0" ">arg22<w0" ">arg23<w0" ">arg24})}<w0" ">{(proc3<m1" ">{arg31<w0" ">arg32<w0" ">arg33<w0" ">arg34})}<w0" ">arg4})}
StructuredStreamsTest 11 FALSE {23<w0" ">56{78<a0" ">789A}BCDE}
   Ê  
StructuredStreamsTests.cm
Copyright Ó 1990, 1991 by Xerox Corporation.  All rights reserved.
Spreitze, February 21, 1990 10:29 am PST
Last tweaked by Mike Spreitzer on April 6, 1990 1:01 pm PDT
 Ê'  –(cedarcode) style•NewlineDelimiter
™ šœ™Jšœ
Ïeœ7™BJ™(Icode™;—J˜ JšœÏkœ%˜CJšœžœ$˜AJšœžœ%˜BJšœžœ7˜TJšœžœ6˜SJšœžœ5˜RJšœžœ9˜VJšœžœ9˜VJšœžœ<˜YJšœžœ<˜YJšœžœ&˜CJšœžœ.˜KJšœžœ0˜MJšœžœ8˜UJšœžœ¥˜ÂJšœžœ¥˜ÂJšœžœžœ˜?— …—    "    