diff --git a/shared/tools/antlr2bgf b/shared/tools/antlr2bgf index 2483e387..a25c725b 100755 --- a/shared/tools/antlr2bgf +++ b/shared/tools/antlr2bgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: ANTLR2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/appendxbgf b/shared/tools/appendxbgf index 817daed2..70ed957e 100755 --- a/shared/tools/appendxbgf +++ b/shared/tools/appendxbgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: AppendXBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/asfix2btf b/shared/tools/asfix2btf index a5af7d54..62dfb0b8 100755 --- a/shared/tools/asfix2btf +++ b/shared/tools/asfix2btf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: AsFix2BTF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2bnf b/shared/tools/bgf2bnf index beae6931..6c7bc98f 100755 --- a/shared/tools/bgf2bnf +++ b/shared/tools/bgf2bnf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2BNF LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2dms b/shared/tools/bgf2dms index 576a872e..6f6be6d2 100755 --- a/shared/tools/bgf2dms +++ b/shared/tools/bgf2dms @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2DMS LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2dot b/shared/tools/bgf2dot index 2e030c98..62663b20 100755 --- a/shared/tools/bgf2dot +++ b/shared/tools/bgf2dot @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2dot LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2html b/shared/tools/bgf2html index 38002db0..05aac907 100755 --- a/shared/tools/bgf2html +++ b/shared/tools/bgf2html @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2HTML LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2rsc b/shared/tools/bgf2rsc index c257b501..9a8880f9 100755 --- a/shared/tools/bgf2rsc +++ b/shared/tools/bgf2rsc @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2Rascal LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2sdf b/shared/tools/bgf2sdf index 03e3340b..9d35a417 100755 --- a/shared/tools/bgf2sdf +++ b/shared/tools/bgf2sdf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2SDF LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2tex b/shared/tools/bgf2tex index 454a60e1..e763b870 100755 --- a/shared/tools/bgf2tex +++ b/shared/tools/bgf2tex @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2TeX LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgf2txl b/shared/tools/bgf2txl index 8ec6a9ce..b70e11e7 100755 --- a/shared/tools/bgf2txl +++ b/shared/tools/bgf2txl @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGF2TXL LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgflc b/shared/tools/bgflc index ded5757f..d5934c00 100755 --- a/shared/tools/bgflc +++ b/shared/tools/bgflc @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGFlc # Get our hands on basedir LOCAL1=${PWD} diff --git a/shared/tools/bgfover b/shared/tools/bgfover index bb1b8100..0431e2f7 100755 --- a/shared/tools/bgfover +++ b/shared/tools/bgfover @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGFover # Get our hands on basedir LOCAL1=${PWD} diff --git a/shared/tools/bgfpp b/shared/tools/bgfpp index 0246ac8c..2729eb5a 100755 --- a/shared/tools/bgfpp +++ b/shared/tools/bgfpp @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGFpp LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/bgfreformat b/shared/tools/bgfreformat index e23eb339..9c9816d2 100755 --- a/shared/tools/bgfreformat +++ b/shared/tools/bgfreformat @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BGFreformat LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/btf2bgf b/shared/tools/btf2bgf index 1e915523..2ed2e2c7 100755 --- a/shared/tools/btf2bgf +++ b/shared/tools/btf2bgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: BTF2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/btf2src b/shared/tools/btf2src index c5bbe5cf..d15db112 100755 --- a/shared/tools/btf2src +++ b/shared/tools/btf2src @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: BTF2source LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/buildtestsetxml b/shared/tools/buildtestsetxml index a4a9e43d..54819127 100755 --- a/shared/tools/buildtestsetxml +++ b/shared/tools/buildtestsetxml @@ -1,5 +1,5 @@ #!/bin/bash - +# wiki: BuildTestSetXML # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/cbgf b/shared/tools/cbgf index 1e7ffe25..92ee66b3 100755 --- a/shared/tools/cbgf +++ b/shared/tools/cbgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: ΞBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/cbgf2 b/shared/tools/cbgf2 index f732d7eb..02a3bab4 100755 --- a/shared/tools/cbgf2 +++ b/shared/tools/cbgf2 @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: ΞBGF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/cbgf2cbnf b/shared/tools/cbgf2cbnf index fa53c319..9bdc19b5 100755 --- a/shared/tools/cbgf2cbnf +++ b/shared/tools/cbgf2cbnf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: ΞBGF2ΞBNF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/cbgf2xbgf b/shared/tools/cbgf2xbgf index 563e9236..d00b0d66 100755 --- a/shared/tools/cbgf2xbgf +++ b/shared/tools/cbgf2xbgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: ΞBGF2XBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/checkbgf b/shared/tools/checkbgf index 64816c0a..28554ed1 100755 --- a/shared/tools/checkbgf +++ b/shared/tools/checkbgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: CheckBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/checkxbgf b/shared/tools/checkxbgf index fb94ebea..e9489b87 100755 --- a/shared/tools/checkxbgf +++ b/shared/tools/checkxbgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: CheckXBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/dcg2bgf b/shared/tools/dcg2bgf index b8a25aa9..7ecc0505 100755 --- a/shared/tools/dcg2bgf +++ b/shared/tools/dcg2bgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: DCG2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/ecore2bgf b/shared/tools/ecore2bgf index 7a196900..dd55d6d5 100755 --- a/shared/tools/ecore2bgf +++ b/shared/tools/ecore2bgf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: Ecore2BGF LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/edd2rsc b/shared/tools/edd2rsc index 32091de8..d1abf2c8 100755 --- a/shared/tools/edd2rsc +++ b/shared/tools/edd2rsc @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: EDD2Rascal LOCAL=${PWD} cd `dirname $0` @@ -7,7 +8,7 @@ SLPS=${PWD} cd ${LOCAL} if [ $# -ne 2 ]; then - echo "This tool pretty-prints BGF, generating an SDF." + echo "This tool generates a Rascal file based on an EBNF Dialect Definition." echo "Usage: edd2rsc " exit 1 elif [ ! -r $1 ]; then diff --git a/shared/tools/exbgf b/shared/tools/exbgf index 56a04c9e..8efacbf0 100755 --- a/shared/tools/exbgf +++ b/shared/tools/exbgf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: EXBGF LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/exbgf2xbgf b/shared/tools/exbgf2xbgf index 2891bd49..0c80b372 100755 --- a/shared/tools/exbgf2xbgf +++ b/shared/tools/exbgf2xbgf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: EBGF LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/exbgfover b/shared/tools/exbgfover index 257857a0..ea83a1be 100755 --- a/shared/tools/exbgfover +++ b/shared/tools/exbgfover @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: EBGFover # Get our hands on basedir LOCAL1=${PWD} diff --git a/shared/tools/extractover b/shared/tools/extractover index 5fe5bfd8..42854135 100755 --- a/shared/tools/extractover +++ b/shared/tools/extractover @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: ExtractOver # Get our hands on basedir LOCAL1=${PWD} diff --git a/shared/tools/findhoriz b/shared/tools/findhoriz index 4be37fdf..0ac14ac8 100755 --- a/shared/tools/findhoriz +++ b/shared/tools/findhoriz @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: FindH # Get our hands on basedir LOCAL1=${PWD} diff --git a/shared/tools/gbtf b/shared/tools/gbtf index 78d24f34..cec8ea7f 100755 --- a/shared/tools/gbtf +++ b/shared/tools/gbtf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: GBTF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/gdt b/shared/tools/gdt index 80411fb1..678e3378 100755 --- a/shared/tools/gdt +++ b/shared/tools/gdt @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: GDT # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/gdtm b/shared/tools/gdtm index e491e0fd..734678a7 100755 --- a/shared/tools/gdtm +++ b/shared/tools/gdtm @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: GDTM # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/gdts b/shared/tools/gdts index 67add61e..ae1a7328 100755 --- a/shared/tools/gdts +++ b/shared/tools/gdts @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: GDTS # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/html2bgf b/shared/tools/html2bgf index 9c0088f0..138b584f 100755 --- a/shared/tools/html2bgf +++ b/shared/tools/html2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: HTML2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/java2bgf b/shared/tools/java2bgf index fb90025c..98f02ece 100755 --- a/shared/tools/java2bgf +++ b/shared/tools/java2bgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: Java2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/lci b/shared/tools/lci index fdfe70ec..b8b7d908 100755 --- a/shared/tools/lci +++ b/shared/tools/lci @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LCI LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/ldf2bgf b/shared/tools/ldf2bgf index 852a5460..2927dc93 100755 --- a/shared/tools/ldf2bgf +++ b/shared/tools/ldf2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LDF2BGF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/ldf2html b/shared/tools/ldf2html index 652fec30..0a0537eb 100755 --- a/shared/tools/ldf2html +++ b/shared/tools/ldf2html @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LDF2HTML LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/ldf2pdf b/shared/tools/ldf2pdf index d5380142..c10fa540 100755 --- a/shared/tools/ldf2pdf +++ b/shared/tools/ldf2pdf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LDF2PDF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/ldf2set b/shared/tools/ldf2set index ba469bef..8ad82928 100755 --- a/shared/tools/ldf2set +++ b/shared/tools/ldf2set @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LDF2set # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/ldf2tex b/shared/tools/ldf2tex index 0c5939c1..f0cbb75f 100755 --- a/shared/tools/ldf2tex +++ b/shared/tools/ldf2tex @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LDF2TeX LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/ldinc b/shared/tools/ldinc index 603724d6..70a2d66a 100755 --- a/shared/tools/ldinc +++ b/shared/tools/ldinc @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LDinclude # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/lll2bgf b/shared/tools/lll2bgf index e312375d..ad5b552d 100755 --- a/shared/tools/lll2bgf +++ b/shared/tools/lll2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: LLL2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/mergebgf b/shared/tools/mergebgf index d507b6ca..6630e8d3 100755 --- a/shared/tools/mergebgf +++ b/shared/tools/mergebgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: MergeBGF # Get our hands on basedir LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/nigdt b/shared/tools/nigdt index 27bc3582..c448ffbe 100755 --- a/shared/tools/nigdt +++ b/shared/tools/nigdt @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: Grammar Diff Tool # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/normbgf b/shared/tools/normbgf index f62b7290..662abfeb 100755 --- a/shared/tools/normbgf +++ b/shared/tools/normbgf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: NormBGF if [ $# -ne 2 ]; then echo "This tool normalizes a BGF by performing an intentionally vacuous grammar transformation with normalization." diff --git a/shared/tools/pdf2bgf b/shared/tools/pdf2bgf index 184d32dc..fdbd1412 100755 --- a/shared/tools/pdf2bgf +++ b/shared/tools/pdf2bgf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: PDF2BGF # Get our hands on basedir LOCAL1=${PWD} diff --git a/shared/tools/plotbgf b/shared/tools/plotbgf index b219a7af..86aa6616 100755 --- a/shared/tools/plotbgf +++ b/shared/tools/plotbgf @@ -1,4 +1,6 @@ #!/bin/sh +# wiki: PlotBGF + LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/py2bgf b/shared/tools/py2bgf index 48d41b88..fb13eb93 100755 --- a/shared/tools/py2bgf +++ b/shared/tools/py2bgf @@ -1,4 +1,5 @@ #!/bin/sh +# wiki: Py2BGF LOCAL=${PWD} cd `dirname $0` diff --git a/shared/tools/repp b/shared/tools/repp index 57a75a59..378d7702 100755 --- a/shared/tools/repp +++ b/shared/tools/repp @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: repp # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/rsc2bgf b/shared/tools/rsc2bgf index 5b1590f2..3804bee6 100755 --- a/shared/tools/rsc2bgf +++ b/shared/tools/rsc2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: Rascal2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/rscd2bgf b/shared/tools/rscd2bgf index 6c1b2528..f8432c69 100755 --- a/shared/tools/rscd2bgf +++ b/shared/tools/rscd2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: RascalDataType2BGF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/rscs2bgf b/shared/tools/rscs2bgf index 5b13121a..be3017e8 100755 --- a/shared/tools/rscs2bgf +++ b/shared/tools/rscs2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: RascalSyntax2BGF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/sdf2bgf b/shared/tools/sdf2bgf index 35b6a0a2..2bf44306 100755 --- a/shared/tools/sdf2bgf +++ b/shared/tools/sdf2bgf @@ -1,5 +1,5 @@ #!/bin/bash - +# wiki: SDF2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/showbgf b/shared/tools/showbgf index b7882726..c8fff4cb 100755 --- a/shared/tools/showbgf +++ b/shared/tools/showbgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: ShowBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/showg b/shared/tools/showg index da9bfd2f..eb2ff6ad 100755 --- a/shared/tools/showg +++ b/shared/tools/showg @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: ShowG # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/showpnf b/shared/tools/showpnf index 3539f75b..b6051984 100755 --- a/shared/tools/showpnf +++ b/shared/tools/showpnf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: ShowPNF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/showrootprods b/shared/tools/showrootprods index 3d7dc4ce..14db3117 100755 --- a/shared/tools/showrootprods +++ b/shared/tools/showrootprods @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: ShowRootProds LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/showt b/shared/tools/showt index eb7ee4bb..0d8e56c0 100755 --- a/shared/tools/showt +++ b/shared/tools/showt @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: ShowT # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/showx b/shared/tools/showx index 05d7cba5..f9d17859 100755 --- a/shared/tools/showx +++ b/shared/tools/showx @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: ShowX # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/showxbgf b/shared/tools/showxbgf index 34cca0fc..e48c6390 100755 --- a/shared/tools/showxbgf +++ b/shared/tools/showxbgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: ShowXBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/showxsd b/shared/tools/showxsd index 1f22ed48..f07ee310 100755 --- a/shared/tools/showxsd +++ b/shared/tools/showxsd @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: ShowXSD # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/spec2bgf b/shared/tools/spec2bgf index 760933a8..865fed7d 100755 --- a/shared/tools/spec2bgf +++ b/shared/tools/spec2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: Spec2BGF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/subgrammar b/shared/tools/subgrammar index 0160798c..44b761d3 100755 --- a/shared/tools/subgrammar +++ b/shared/tools/subgrammar @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: SubGrammar LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/tdt b/shared/tools/tdt index 7143d452..8c099753 100755 --- a/shared/tools/tdt +++ b/shared/tools/tdt @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: TDT # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/tnb b/shared/tools/tnb index b31acddb..762cc30e 100755 --- a/shared/tools/tnb +++ b/shared/tools/tnb @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: TnB LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/tokenover b/shared/tools/tokenover index f620ac97..388c6fd2 100755 --- a/shared/tools/tokenover +++ b/shared/tools/tokenover @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: TokenOverview # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/txl2bgf b/shared/tools/txl2bgf index 15f24f35..488dad44 100755 --- a/shared/tools/txl2bgf +++ b/shared/tools/txl2bgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: TXL2BGF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/validate b/shared/tools/validate index ea3432fe..0f421469 100755 --- a/shared/tools/validate +++ b/shared/tools/validate @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: validate # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xbgf b/shared/tools/xbgf index 1750ab69..840560f5 100755 --- a/shared/tools/xbgf +++ b/shared/tools/xbgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: XBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xbgf2cbgf b/shared/tools/xbgf2cbgf index 001a39b7..e96242ea 100755 --- a/shared/tools/xbgf2cbgf +++ b/shared/tools/xbgf2cbgf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGF2ΞBGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xbgf2html b/shared/tools/xbgf2html index 34920834..ae8dd00c 100755 --- a/shared/tools/xbgf2html +++ b/shared/tools/xbgf2html @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGF2HTML if [ ! -r $1 ]; then echo "Oops: $1 not found or not readable." exit 1 diff --git a/shared/tools/xbgf2tex b/shared/tools/xbgf2tex index 69eb7b48..de5c730b 100755 --- a/shared/tools/xbgf2tex +++ b/shared/tools/xbgf2tex @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGF2TeX LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/xbgf2xbnf b/shared/tools/xbgf2xbnf index 890ff96e..8d245ad3 100755 --- a/shared/tools/xbgf2xbnf +++ b/shared/tools/xbgf2xbnf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGF2XBNF LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/xbgfi b/shared/tools/xbgfi index 16fcb3e4..eb2c1b2a 100755 --- a/shared/tools/xbgfi +++ b/shared/tools/xbgfi @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGFinfo # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xbgflc b/shared/tools/xbgflc index 0bc943e9..fda7e2c3 100755 --- a/shared/tools/xbgflc +++ b/shared/tools/xbgflc @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGFlc # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xbgfover b/shared/tools/xbgfover index ecb13bb2..5b28ce6d 100755 --- a/shared/tools/xbgfover +++ b/shared/tools/xbgfover @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGFover # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xbgfs b/shared/tools/xbgfs index 7e856f35..75c77d0a 100755 --- a/shared/tools/xbgfs +++ b/shared/tools/xbgfs @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XBGFsliced # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xbtf b/shared/tools/xbtf index 900f65d6..94c29f4d 100755 --- a/shared/tools/xbtf +++ b/shared/tools/xbtf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: XBTF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xldf b/shared/tools/xldf index 4677a355..ee3b304b 100755 --- a/shared/tools/xldf +++ b/shared/tools/xldf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: XLDF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xlll b/shared/tools/xlll index 4316c59c..367801cc 100755 --- a/shared/tools/xlll +++ b/shared/tools/xlll @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XLLL LOCAL=${PWD} cd `dirname $0` cd ../.. diff --git a/shared/tools/xml2btf b/shared/tools/xml2btf index b17b71f9..8618998c 100755 --- a/shared/tools/xml2btf +++ b/shared/tools/xml2btf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: XML2BTF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xsd2bgf b/shared/tools/xsd2bgf index 80033c6e..7b71afc5 100755 --- a/shared/tools/xsd2bgf +++ b/shared/tools/xsd2bgf @@ -1,5 +1,5 @@ #! /bin/sh - +# wiki: XSD2BGF # Get our hands on basedir LOCAL1=${PWD} cd `dirname $0` diff --git a/shared/tools/xsd2ldf b/shared/tools/xsd2ldf index 943487d2..48c81699 100755 --- a/shared/tools/xsd2ldf +++ b/shared/tools/xsd2ldf @@ -1,5 +1,5 @@ #!/bin/sh - +# wiki: XSD2LDF # Get our hands on the languedoc basedir LOCAL=${PWD} cd `dirname $0` diff --git a/topics/documents/wiki/genHome.py b/topics/documents/wiki/genHome.py index 8b748138..50dc47f4 100755 --- a/topics/documents/wiki/genHome.py +++ b/topics/documents/wiki/genHome.py @@ -4,20 +4,23 @@ h = [ 'Concepts, languages, techniques', 'Tools, libraries, functions', - 'Transformation operators' + 'Transformation operators', + 'Grammar mutations' ] c = [ ['BGF','XBGF','ΞBGF','EXBGF','MegaL','LDF','XLDF','EDD', - 'ANF','LCI','BTF','LCF','Rascal','Prolog','XML','XSD','Factorial Language','Java Language Specification'] + 'ANF|Abstract Normal Form','LCI','BTF','LCF','Rascal','Prolog','XML','XSD','Factorial Language','Java Language Specification'] , - ['ANTLR2BGF', 'AppendXBGF', 'AsFix2BTF', 'BGF2BNF', 'BGF2DMS', 'BGF2dot', 'BGF2HTML', 'BGF2Rsc', 'BGF2SDF', 'BGF2TeX', 'BGF2TXL', 'BGFlc', 'BGFover', 'BGFpp', 'BGFreformat', 'BTF2BGF', 'BTF2src', 'BuildTestSetXml', 'CBGF', 'CBGF2', 'CBGF2CBNF', 'CBGF2XBGF', 'CheckBGF', 'CheckXBGF', 'DCG2BGF', 'Ecore2BGF', 'EDD2Rsc', 'EXBGF', 'EXBGF2XBGF', 'EXBGFover', 'ExtractOver', 'FindHoriz', 'GBTF', 'GDT', 'GDTM', 'GDTS', 'HTML2BGF', 'Java2BGF', 'LCI', 'LDF2BGF', 'LDF2HTML', 'LDF2PDF', 'LDF2SET', 'LDF2TEX', 'LDinc', 'LLL2BGF', 'MergeBGF', 'NIGDT', 'NormBGF', 'PDF2BGF', 'PlotBGF', 'Py2BGF', 'REPP', 'Rsc2BGF', 'RscD2BGF', 'RscS2BGF', 'SDF2BGF', 'ShowBGF', 'ShowG', 'ShowPNF', 'ShowRootProds', 'ShowT', 'ShowX', 'ShowXBGF', 'ShowXSD', 'Spec2BGF', 'SubGrammar', 'TDT', 'TnB', 'TokenOver', 'TXL2BGF', 'Validate', 'XBGF', 'XBGF2CBGF', 'XBGF2HTML', 'XBGF2TeX', 'XBGF2XBNF', 'XBGFI', 'XBGFlc', 'XBGFover', 'XBGFS', 'XBTF', 'XLLL', 'XML2BTF', 'XSD2BGF', 'XSD2LDF'] + ['ANTLR2BGF', 'AppendXBGF', 'AsFix2BTF', 'BGF2BNF', 'BGF2DMS', 'BGF2dot', 'BGF2HTML', 'BGF2Rascal', 'BGF2SDF', 'BGF2TeX', 'BGF2TXL', 'BGFlc', 'BGFover', 'BGFpp', 'BGFreformat', 'BTF2BGF', 'BTF2src', 'BuildTestSetXml', 'CBGF', 'CBGF2', 'CBGF2CBNF', 'CBGF2XBGF', 'CheckBGF', 'CheckXBGF', 'DCG2BGF', 'Ecore2BGF', 'EDD2Rascal', 'EXBGF', 'EXBGF2XBGF', 'EXBGFover', 'ExtractOver', 'FindH', 'GBTF', 'GDT|Grammar Diff Tool', 'HTML2BGF', 'Java2BGF', 'LCI', 'LDF2BGF', 'LDF2HTML', 'LDF2PDF', 'LDF2SET', 'LDF2TEX', 'LDinc', 'LLL2BGF', 'MergeBGF', 'NIGDT', 'NormBGF', 'PDF2BGF', 'PlotBGF', 'Py2BGF', 'REPP', 'Rascal2BGF', 'RascalDataType2BGF', 'RascalSyntax2BGF', 'SDF2BGF', 'ShowBGF', 'ShowG', 'ShowPNF', 'ShowRootProds', 'ShowT', 'ShowX', 'ShowXBGF', 'ShowXSD', 'Spec2BGF', 'TDT', 'TnB', 'TokenOverview', 'TXL2BGF', 'Validate', 'XBGF', 'XBGF2CBGF', 'XBGF2HTML', 'XBGF2TeX', 'XBGF2XBNF', 'XBGFinfo', 'XBGFlc', 'XBGFover', 'XBGFsliced', 'XBTF', 'XLLL', 'XML2BTF', 'XSD2BGF', 'XSD2LDF'] , - ['Abridge', 'Abstractize', 'AddH', 'AddV', 'Anonymize', 'Appear', 'Chain', 'Concretize', 'Deanonymize', 'Define', 'Designate', 'Detour', 'Deyaccify', 'Disappear', 'Distribute', 'Downgrade', 'Dump', 'Eliminate', 'Equate', 'Extract', 'Factor', 'Fold', 'Horizontal', 'Import', 'Inject', 'Inline', 'Introduce', 'LAssoc', 'Massage', 'Narrow', 'Permute', 'Project', 'RAssoc', 'Redefine', 'Remove', 'RemoveH', 'RemoveV', 'RenameT', 'RenameL', 'RenameN', 'RenameS', 'Replace', 'Undefine', 'Unfold', 'Unite', 'Unlabel', 'Upgrade', 'Vertical', 'Widen', 'Yaccify'] + ['abridge', 'abstractize', 'addH', 'addV', 'anonymize', 'appear', 'chain', 'concretize', 'deanonymize', 'define', 'designate', 'detour', 'deyaccify', 'disappear', 'distribute', 'downgrade', 'dump', 'eliminate', 'equate', 'extract', 'factor', 'fold', 'horizontal', 'importG', 'inject', 'inline', 'introduce', 'lassoc', 'massage', 'narrow', 'permute', 'project', 'rassoc', 'redefine', 'remove', 'removeH', 'removeV', 'renameT', 'renameL', 'renameN', 'renameS', 'replace', 'undefine', 'unfold', 'unite', 'unlabel', 'upgrade', 'vertical', 'widen', 'yaccify','bypass','concatT','splitT','splitN'] + , + ['RetireTs', 'RetireSs', 'RetireLs', 'Enforce naming', 'Reroot2top', 'Retire top', 'SubGrammar', 'AllV', 'AllH', 'AllD', 'AllDV', 'AllDeyacc', 'Retire lazy', 'ANF|Abstract Normal Form', 'FoldG', 'Retire seplists', 'Retire iterations', 'Inline chains'] ] l = len(h) -w = [max(len(h[i])+4,max(map(len,c[i]))) for i in range(0,l)] +w = [4+max(len(h[i]),max(map(len,c[i]))) for i in range(0,l)] c = map(sorted,c) d = max(map(len,c)) diff --git a/topics/documents/wiki/texts b/topics/documents/wiki/texts index 52ce4840..7c0a129a 160000 --- a/topics/documents/wiki/texts +++ b/topics/documents/wiki/texts @@ -1 +1 @@ -Subproject commit 52ce4840de606b9efc4ecdb3401704d304c00f84 +Subproject commit 7c0a129a86ac6ec52c4550ab6432f9e032c7447c diff --git a/topics/documents/wiki/updFiles.py b/topics/documents/wiki/updFiles.py index 30099390..8102a375 100755 --- a/topics/documents/wiki/updFiles.py +++ b/topics/documents/wiki/updFiles.py @@ -7,6 +7,7 @@ maps = {} +# traversing Rascal sources for root, dirs, filenames in os.walk('/Users/zaytsev/projects/slps/shared/rascal/src/'): for f in filter(lambda x:x.endswith('.rsc'),filenames): rd = open(os.path.join(root,f),'r') @@ -20,6 +21,20 @@ maps[g] = [os.path.join(root, f).split('projects/slps/')[1]] rd.close() +# traversing command line tools +for root, dirs, filenames in os.walk('/Users/zaytsev/projects/slps/shared/tools/'): + for f in filenames: + rd = open(os.path.join(root,f),'r') + txt = ''.join(rd.readlines()) + if txt.find('# wiki: ')>-1: + for where in txt.split('# wiki: ')[1].split('\n')[0].split(','): + g = where[0].upper()+where[1:] + if g in maps.keys(): + maps[g].append(os.path.join(root, f).split('projects/slps/')[1]) + else: + maps[g] = [os.path.join(root, f).split('projects/slps/')[1]] + rd.close() + for aff in maps.keys(): links = [] after = []