Changeset [7c29484dc2c66b9afc90f23782049eacf5e1c6ec] by Douglas Creager
April 26th, 2008 @ 12:00 AM
Adding comments to CSP₀ scripts
This patch adds support for comments in CSP₀ scripts. They use the
same syntax as in Perl or Python; they start with a “#” and continue
to the end of the line. I've also added comments to many of the
existing test cases.
Lighthouse: [#1 state:resolved]
Committed by Douglas Creager
- M TODO
- M src/parser/scanner.cc
- M tests/csp/00-aparallel1.csp0
- M tests/csp/00-aparallel2.csp0
- M tests/csp/00-aparallel3.csp0
- M tests/csp/00-extchoice1.csp0
- M tests/csp/00-extchoice2.csp0
- M tests/csp/00-extchoice3.csp0
- M tests/csp/00-extchoice4.csp0
- M tests/csp/00-hide1.csp0
- M tests/csp/00-hide2.csp0
- M tests/csp/00-hide3.csp0
- M tests/csp/00-hide4.csp0
- M tests/csp/00-intchoice1.csp0
- M tests/csp/00-intchoice2.csp0
- M tests/csp/00-interleave1.csp0
- M tests/csp/00-interleave2.csp0
- M tests/csp/00-interleave3.csp0
- M tests/csp/00-interleave4.csp0
- M tests/csp/00-interleave5.csp0
- M tests/csp/00-interrupt1.csp0
- M tests/csp/00-interrupt2.csp0
- M tests/csp/00-interrupt2.normal-output
- M tests/csp/00-interrupt2.output
- M tests/csp/00-interrupt2.prenormal-output
- M tests/csp/00-iparallel1.csp0
- M tests/csp/00-iparallel2.csp0
- M tests/csp/00-iparallel3.csp0
- M tests/csp/00-iparallel4.csp0
- M tests/csp/00-prefix.csp0
- M tests/csp/00-rename1.csp0
- M tests/csp/00-rename2.csp0
- M tests/csp/00-rename3.csp0
- M tests/csp/00-seqcomp1.csp0
- M tests/csp/00-seqcomp2.csp0
- M tests/csp/02-mem-aparallel1.csp0
- M tests/csp/02-mem-extchoice1.csp0
- M tests/csp/02-mem-hide1.csp0
- M tests/csp/02-mem-intchoice1.csp0
- M tests/csp/02-mem-interleave1.csp0
- M tests/csp/02-mem-interrupt1.csp0
- M tests/csp/02-mem-iparallel1.csp0
- M tests/csp/02-mem-prefix1.csp0
- M tests/csp/02-mem-rename1.csp0
- M tests/csp/02-mem-seqcomp1.csp0
- M tests/csp/05-rec-aparallel1.csp0
- M tests/csp/05-rec-extchoice1.csp0
- M tests/csp/05-rec-extchoice2.csp0
- M tests/csp/05-rec-hide1.csp0
- M tests/csp/05-rec-intchoice1.csp0
- M tests/csp/05-rec-interleave1.csp0
- M tests/csp/05-rec-interrupt1.csp0
- M tests/csp/05-rec-iparallel1.csp0
- M tests/csp/05-rec-prefix1.csp0
- M tests/csp/05-rec-rename1.csp0
- M tests/csp/05-rec-seqcomp1.csp0
- M tests/csp/10-extchoice-intchoice.csp0
- M tests/csp/10-intchoice-extchoice.csp0
- M tests/csp/80-roscoe-02.csp0
- M tests/refinement/00-basic1.csp0
- M tests/refinement/00-basic2.csp0
- M tests/refinement/00-basic3.csp0
- M tests/refinement/00-basic4.csp0
- M tests/refinement/80-roscoe-p40-a.csp0
- M tests/refinement/80-roscoe-p40-b.csp0
- M tests/refinement/80-roscoe-p52-a.csp0
- M tests/refinement/80-roscoe-p52-b.csp0
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.