Overview
Comment: | Simple filter for Reduce reserved words in sympar. |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
7a27d4f0c57ff668cf384caf1a036a42 |
User & Date: | geraint@users.sourceforge.net on 2001-07-23 05:16:39 |
Other Links: | branch diff | manifest | tags |
Context
2001-07-23
| ||
23:20:27 | Now only writes to type.sh and cbg.m when causality is completed. check-in: 98fff55b25 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
05:16:39 | Simple filter for Reduce reserved words in sympar. check-in: 7a27d4f0c5 user: geraint@users.sourceforge.net tags: origin/master, trunk | |
03:35:29 | Updated file structure (mtt/bin). check-in: 3d00dccbcd user: geraint@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/mtt_make_sympar from [7cd064f8ce] to [c0862769f2].
︙ | |||
9 10 11 12 13 14 15 16 17 18 19 20 21 22 | 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | + + + | # Copyright (C) 2000 by Peter J. Gawthrop ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ ## Revision 1.8 2001/07/04 06:00:12 gawthrop ## Fixed a funny with tr - changed SEPS and REPS - something to do with ^ ## ## Revision 1.7 2001/04/13 07:14:12 geraint ## Implemented lower level lbl.txt recognition of #NOT[V|P]AR ## ## Revision 1.6 2001/04/10 12:54:50 gawthrop ## Minor fixes for sensitivity versions ## ## Revision 1.5 2000/11/03 14:57:06 peterg |
︙ | |||
90 91 92 93 94 95 96 | 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 | + + + + + + + + + + + + + + + + + + + + + + | for (j=1;j<=i;j++){ printf("%s%s", comma, sysname[j]); comma=","; } printf("\n") }' < mtt_sympar.txt >$filename reserved_words=`\ cat ${MTT_LIB}/reduce/reserved_words.txt |\ awk '{printf "%s ", $0}' |\ tr [a-z] [A-Z]` sympar_words=`\ cat ${filename} |\ cut -f1 |\ awk '{printf "%s ", $0}' |\ tr [a-z] [A-Z]` flag=0 for reserved_word in ${reserved_words}; do for sympar_word in ${sympar_words}; do if [ ${sympar_word} = ${reserved_word} ]; then echo "*** MTT Error: ${sympar_word} is reserved (Reduce)" flag=1 fi done done if [ ${flag} -eq 1 ]; then exit 1; fi |
Added mttroot/mtt/lib/reduce/reserved_words.make version [098f123485].
|
Added mttroot/mtt/lib/reduce/reserved_words.txt version [727a3fd398].