From 67f7bad7169de02250fbbba983b5e60a26c59e3e Mon Sep 17 00:00:00 2001
From: grammarware <vadim@grammarware.net>
Date: Sun, 20 Jan 2013 15:33:15 +0100
Subject: [PATCH] spell tags correctly; enforce the inverse of partOf

---
 shared/tools/exbgf2xbgf          |  2 +-
 shared/tools/exbgfover           |  2 +-
 topics/documents/wiki/genHome.py |  8 ++++----
 topics/documents/wiki/texts      |  2 +-
 topics/documents/wiki/updOf.py   | 14 ++++++++++++++
 5 files changed, 21 insertions(+), 7 deletions(-)

diff --git a/shared/tools/exbgf2xbgf b/shared/tools/exbgf2xbgf
index 0c80b372..cdeeb0de 100755
--- a/shared/tools/exbgf2xbgf
+++ b/shared/tools/exbgf2xbgf
@@ -1,5 +1,5 @@
 #!/bin/sh
-# wiki: EBGF
+# wiki: EXBGF2XBGF
 
 LOCAL=${PWD}
 cd `dirname $0`
diff --git a/shared/tools/exbgfover b/shared/tools/exbgfover
index ea83a1be..a44efcbd 100755
--- a/shared/tools/exbgfover
+++ b/shared/tools/exbgfover
@@ -1,5 +1,5 @@
 #!/bin/sh
-# wiki: EBGFover
+# wiki: EXBGFover
 
 # Get our hands on basedir
 LOCAL1=${PWD}
diff --git a/topics/documents/wiki/genHome.py b/topics/documents/wiki/genHome.py
index 07d6a013..0a02fb0e 100755
--- a/topics/documents/wiki/genHome.py
+++ b/topics/documents/wiki/genHome.py
@@ -13,13 +13,13 @@
 	['BGF','XBGF','CBGF','EXBGF','MegaL','LDF','XLDF','EDD',
 	'ANF|Abstract Normal Form','LCI','BTF','LCF','Rascal','Prolog','XML','XSD','Factorial Language','Java Language Specification','Grammarware','grammar in a broad sense','Metaprogramming','Grammar programming']
 	,
-	['ANTLR2BGF', 'AsFix2BTF', 'BGF2BNF', 'BGF2DMS', 'BGF2dot', 'BGF2HTML', 'BGF2Rascal', 'BGF2SDF', 'BGF2TeX', 'BGF2TXL', 'BTF2BGF', 'BTF2src', 'CBGF2', 'CBGF2CBNF', 'CBGF2XBGF', 'DCG2BGF', 'Ecore2BGF', 'EDD2Rascal', 'EXBGF2XBGF', 'HTML2BGF', 'Java2BGF', 'LDF2BGF', 'LDF2HTML', 'LDF2PDF', 'LDF2SET', 'LDF2TEX', 'LLL2BGF', 'PDF2BGF', 'Py2BGF', 'Rascal2BGF', 'RascalADT2BGF', 'RascalSyntax2BGF', 'SDF2BGF', 'Spec2BGF', 'TXL2BGF', 'XBGF2CBGF', 'XBGF2HTML', 'XBGF2TeX', 'XBGF2XBNF', 'XML2BTF', 'XSD2BGF', 'XSD2LDF']
+	['ANTLR2BGF', 'AsFix2BTF', 'BGF2BNF', 'BGF2DMS', 'BGF2dot', 'BGF2HTML', 'BGF2Rascal', 'BGF2SDF', 'BGF2TeX', 'BGF2TXL', 'BTF2BGF', 'BTF2source', 'CBGF2', 'CBGF2CBNF', 'CBGF2XBGF', 'DCG2BGF', 'Ecore2BGF', 'EDD2Rascal', 'EXBGF2XBGF', 'HTML2BGF', 'Java2BGF', 'LDF2BGF', 'LDF2HTML', 'LDF2PDF', 'LDF2SET', 'LDF2TEX', 'LLL2BGF', 'PDF2BGF', 'Py2BGF', 'Rascal2BGF', 'RascalADT2BGF', 'RascalSyntax2BGF', 'SDF2BGF', 'Spec2BGF', 'TXL2BGF', 'XBGF2CBGF', 'XBGF2HTML', 'XBGF2TeX', 'XBGF2XBNF', 'XML2BTF', 'XSD2BGF', 'XSD2LDF']
 	,
-	['AppendXBGF', 'BGFlc', 'BGFover', 'BGFpp', 'BGFreformat', 'BuildTestSetXml', 'CBGF', 'CheckBGF', 'CheckXBGF', 'EXBGF', 'EXBGFover', 'ExtractOver', 'FindH', 'GBTF', 'GDT|Grammar Diff Tool', 'LCI', 'LDinc', 'MergeBGF', 'NIGDT', 'NormBGF', 'PlotBGF', 'REPP', 'ShowBGF', 'ShowG', 'ShowPNF', 'ShowRootProds', 'ShowT', 'ShowX', 'ShowXBGF', 'ShowXSD', 'TDT', 'TnB', 'TokenOverview', 'Validate', 'XBGF', 'XBGFinfo', 'XBGFlc', 'XBGFover', 'XBGFsliced', 'XBTF', 'XLLL']
+	['AppendXBGF', 'BGFlc', 'BGFover', 'BGFpp', 'BGFreformat', 'BuildTestSetXml', 'CBGF', 'CheckBGF', 'CheckXBGF', 'EXBGF', 'EXBGFover', 'ExtractOver', 'FindH', 'GBTF', 'GDT|Grammar Diff Tool', 'LCI', 'LDinclude', 'MergeBGF', 'NormBGF', 'PlotBGF', 'REPP', 'ShowBGF', 'ShowG', 'ShowPNF', 'ShowRootProds', 'ShowT', 'ShowX', 'ShowXBGF', 'ShowXSD', 'TDT', 'TnB', 'TokenOverview', 'Validate', 'XBGF', 'XBGFinfo', 'XBGFlc', 'XBGFover', 'XBGFsliced', 'XBTF', 'XLLL']
 	,
 	['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', 'removeH', 'removeV', 'renameT', 'renameL', 'renameN', 'renameS', 'replace', 'undefine', 'unfold', 'unite', 'unlabel', 'upgrade', 'vertical', 'widen', 'yaccify','bypass','concatT','splitT','splitN']
 	,
-	['RetireTs', 'RetireSs', 'RetireLs', 'RenameAll', 'Reroot2top', 'Retire top', 'SubGrammar', 'VerticalAll', 'HorizontalAll', 'DistributeAll', 'VerticalDistributeAll', 'AllDeyacc', 'Retire lazy', 'ANF|Abstract Normal Form', 'FoldG', 'Retire seplists', 'Retire iterations', 'UnchainAll']
+	['RetireTs', 'RetireSs', 'RetireLs', 'RenameAll', 'Reroot2top', 'RetireTop', 'SubGrammar', 'VerticalAll', 'HorizontalAll', 'DistributeAll', 'VerticalDistributeAll', 'DeyaccifyAll', 'RYaccifyAll', 'LYaccifyAll', 'Retire lazy', 'ANF|Abstract Normal Form', 'FoldG', 'Retire seplists', 'Retire iterations', 'UnchainAll']
 	]
 
 l = len(h)
@@ -39,5 +39,5 @@
 f.write('|'+'|'.join(['-'*v for v in w])+'|\n')
 for i in range(0,l):
 	while(len(c[i])<d): c[i].append('')
-f.write('\n'.join(['|'+'|'.join([c[i][j] and ('[['+c[i][j]+']]').center(w[i]) or ''.center(w[i]) for i in range(0,l)])+'|' for j in range(0,d)]).replace('CBGF','ΞBGF'))
+f.write('\n'.join(['|'+'|'.join([c[i][j] and ('[['+c[i][j]+']]').center(w[i]) or ''.center(w[i]) for i in range(0,l)])+'|' for j in range(0,d)]).replace('CBGF','ΞBGF').replace('CBNF','ΞBNF'))
 f.close()
diff --git a/topics/documents/wiki/texts b/topics/documents/wiki/texts
index 57066474..98d31c9e 160000
--- a/topics/documents/wiki/texts
+++ b/topics/documents/wiki/texts
@@ -1 +1 @@
-Subproject commit 57066474c3b875e5f8fa2710e3d2fb9eeccad164
+Subproject commit 98d31c9e06b0565e8fd36fd61d11ef7201470263
diff --git a/topics/documents/wiki/updOf.py b/topics/documents/wiki/updOf.py
index 294fd08e..1116baed 100755
--- a/topics/documents/wiki/updOf.py
+++ b/topics/documents/wiki/updOf.py
@@ -3,6 +3,8 @@
 
 import os
 
+parts = {}
+
 # * Abridge is a part of [[XBGF]]
 
 for root, dirs, filenames in os.walk('texts'):
@@ -18,9 +20,21 @@
 					print '%s claimed to be %s, fixed.' % (expect, what)
 					changed = True
 					lines[i] = '* %s is a part of %s' % (expect, lines[i].split(' is a part of ')[-1])
+				whole = lines[i].split('[[')[1].split(']]')[0]
+				if whole not in parts.keys():
+					parts[whole] = []
+				parts[whole].append(expect)
 		rd.close()
 		if changed:
 			rd = open(os.path.join(root,f),'w')
 			for line in lines:
 				rd.write(line)
 			rd.close()
+
+for big in parts.keys():
+	f = open('texts/%s.md' % big, 'r')
+	links = [p.split(']]')[0].upper() for p in ''.join(f.readlines()).split('[[')[1:]]
+	for small in parts[big]:
+		if small.upper() not in links:
+			print '%s does not refer to %s, but totally should.' % (big, small)
+	f.close()