presentation -> investigation; LEV in Python

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@929 ab42f6e0-554d-0410-b580-99e487e6eeb2
grammarware · Feb 1, 2011 · 196bbda · 196bbda
1 parent b45c416
commit 196bbda
Show file tree

Hide file tree

Showing 45 changed files with 87 additions and 1 deletion.
diff --git a/topics/export/ebnf/export.py b/topics/export/ebnf/export.py
@@ -8,7 +8,7 @@
 
 if __name__ == "__main__":
 	if len(sys.argv) != 3:
-		print 'This tool extracts a Rascal grammar.'
+		print 'This tool generates a BNF representation for any given BGF grammar.'
 		print 'Usage:'
 		print '      bgf2bnf <bgf-input> <bnf-output>'
 		sys.exit(1)

diff --git a/topics/investigation/lev/Makefile b/topics/investigation/lev/Makefile
@@ -0,0 +1,7 @@
+test:
+	cp ../../convergence/fl/snapshot/*.bgf tests/
+	cp ../../convergence/java/snapshot/*.bgf tests/
+	ls -1 tests/*.bgf | xargs -n1 ./testperform
+
+clean:
+	rm -f tests/*.bgf tests/*.out
diff --git a/topics/investigation/lev/levels.py b/topics/investigation/lev/levels.py
@@ -0,0 +1,56 @@
+#!/usr/local/bin/python
+# -*- coding: utf-8 -*-
+import os
+import sys
+sys.path.append('../../../shared/python')
+import slpsns
+import BGF
+import elementtree.ElementTree as ET
+
+calls = {}
+
+if __name__ == "__main__":
+	# |>*
+	if len(sys.argv) != 2:
+		#print 'This tool generates a BNF representation for any given BGF grammar.'
+		print 'Usage:'
+		print '      bgf2bnf <bgf-input> <bnf-output>'
+		sys.exit(1)
+	bgf = BGF.Grammar()
+	bgf.parse(sys.argv[1])
+	for p in bgf.prods:
+		if p.nt not in calls.keys():
+			calls[p.nt] = []
+		for n in p.expr.wrapped.getXml().findall('.//nonterminal'):
+			if n.text not in calls[p.nt]:
+				calls[p.nt].append(n.text)
+	#for n in calls.keys():
+	#	print n,'▻',calls[n]
+	#print '--------------------'
+	for n in calls.keys():
+		for x in calls[n]:
+			if x not in calls.keys():
+				calls[x] = []
+			for y in calls[x]:
+				if y not in calls[n]:
+					calls[n].append(y)
+		calls[n].sort()
+	#for n in calls.keys():
+	#	print n,'▻*',calls[n]
+	#print '--------------------'
+	unassigned = calls.keys()
+	levels = []
+	while len(unassigned)>0:
+		nt = unassigned[0]
+		levels.append([])
+		levels[-1].append(nt)
+		unassigned = unassigned[1:]
+		for n in calls[nt]:
+			if nt in calls[n]:
+				levels[-1].append(n)
+				if n in unassigned:
+					unassigned.remove(n)
+	print 'LEV =',len(levels)
+	#for l in levels:
+	#	print l
+	sys.exit(0)
diff --git a/topics/investigation/lev/testperform b/topics/investigation/lev/testperform
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+echo [Test Case] `basename $1`
+./levels.py $1 > $1.out || exit -1
+diff $1.out $1.baseline
diff --git a/topics/investigation/lev/tests/antlr.bgf.baseline b/topics/investigation/lev/tests/antlr.bgf.baseline
@@ -0,0 +1 @@
+LEV = 7
diff --git a/topics/investigation/lev/tests/dcg.bgf.baseline b/topics/investigation/lev/tests/dcg.bgf.baseline
@@ -0,0 +1 @@
+LEV = 7
diff --git a/topics/investigation/lev/tests/ecore.bgf.baseline b/topics/investigation/lev/tests/ecore.bgf.baseline
@@ -0,0 +1 @@
+LEV = 5
diff --git a/topics/investigation/lev/tests/ecore2.bgf.baseline b/topics/investigation/lev/tests/ecore2.bgf.baseline
@@ -0,0 +1 @@
+LEV = 6
diff --git a/topics/investigation/lev/tests/fl_ldf.bgf.baseline b/topics/investigation/lev/tests/fl_ldf.bgf.baseline
@@ -0,0 +1 @@
+LEV = 5
diff --git a/topics/investigation/lev/tests/impl1.bgf.baseline b/topics/investigation/lev/tests/impl1.bgf.baseline
@@ -0,0 +1 @@
+LEV = 83
diff --git a/topics/investigation/lev/tests/impl2.bgf.baseline b/topics/investigation/lev/tests/impl2.bgf.baseline
@@ -0,0 +1 @@
+LEV = 41
diff --git a/topics/investigation/lev/tests/impl3.bgf.baseline b/topics/investigation/lev/tests/impl3.bgf.baseline
@@ -0,0 +1 @@
+LEV = 35
diff --git a/topics/investigation/lev/tests/jaxb.bgf.baseline b/topics/investigation/lev/tests/jaxb.bgf.baseline
@@ -0,0 +1 @@
+LEV = 9
diff --git a/topics/investigation/lev/tests/ldf.bgf.baseline b/topics/investigation/lev/tests/ldf.bgf.baseline
@@ -0,0 +1 @@
+LEV = 5
diff --git a/topics/investigation/lev/tests/om.bgf.baseline b/topics/investigation/lev/tests/om.bgf.baseline
@@ -0,0 +1 @@
+LEV = 8
diff --git a/topics/investigation/lev/tests/read1.bgf.baseline b/topics/investigation/lev/tests/read1.bgf.baseline
@@ -0,0 +1 @@
+LEV = 97
diff --git a/topics/investigation/lev/tests/read2.bgf.baseline b/topics/investigation/lev/tests/read2.bgf.baseline
@@ -0,0 +1 @@
+LEV = 68
diff --git a/topics/investigation/lev/tests/read3.bgf.baseline b/topics/investigation/lev/tests/read3.bgf.baseline
@@ -0,0 +1 @@
+LEV = 75
diff --git a/topics/investigation/lev/tests/sdf.bgf.baseline b/topics/investigation/lev/tests/sdf.bgf.baseline
@@ -0,0 +1 @@
+LEV = 7
diff --git a/topics/investigation/lev/tests/txl.bgf.baseline b/topics/investigation/lev/tests/txl.bgf.baseline
@@ -0,0 +1 @@
+LEV = 7
diff --git a/topics/investigation/lev/tests/xml.bgf.baseline b/topics/investigation/lev/tests/xml.bgf.baseline
@@ -0,0 +1 @@
+LEV = 7
diff --git a/topics/investigation/lev/tests/xsd.bgf.baseline b/topics/investigation/lev/tests/xsd.bgf.baseline
@@ -0,0 +1 @@
+LEV = 7
diff --git a/topics/presentation/metrics/Makefile → topics/investigation/metrics/Makefile b/topics/presentation/metrics/Makefile → topics/investigation/metrics/Makefile
diff --git a/...cs/presentation/metrics/bgf-overview.xslt → ...s/investigation/metrics/bgf-overview.xslt b/...cs/presentation/metrics/bgf-overview.xslt → ...s/investigation/metrics/bgf-overview.xslt
diff --git a/topics/presentation/metrics/bottom.xpath → topics/investigation/metrics/bottom.xpath b/topics/presentation/metrics/bottom.xpath → topics/investigation/metrics/bottom.xpath
diff --git a/...cs/presentation/metrics/listbottoms.xpath → ...s/investigation/metrics/listbottoms.xpath b/...cs/presentation/metrics/listbottoms.xpath → ...s/investigation/metrics/listbottoms.xpath
diff --git a/topics/presentation/metrics/listtops.xpath → topics/investigation/metrics/listtops.xpath b/topics/presentation/metrics/listtops.xpath → topics/investigation/metrics/listtops.xpath
diff --git a/...s/presentation/metrics/nonterminals.xpath → .../investigation/metrics/nonterminals.xpath b/...s/presentation/metrics/nonterminals.xpath → .../investigation/metrics/nonterminals.xpath
diff --git a/...cs/presentation/metrics/perxbgfcommand.xq → ...s/investigation/metrics/perxbgfcommand.xq b/...cs/presentation/metrics/perxbgfcommand.xq → ...s/investigation/metrics/perxbgfcommand.xq
diff --git a/...cs/presentation/metrics/productions.xpath → ...s/investigation/metrics/productions.xpath b/...cs/presentation/metrics/productions.xpath → ...s/investigation/metrics/productions.xpath
diff --git a/topics/presentation/metrics/top.xpath → topics/investigation/metrics/top.xpath b/topics/presentation/metrics/top.xpath → topics/investigation/metrics/top.xpath
diff --git a/...resentation/metrics/transformations.xpath → ...vestigation/metrics/transformations.xpath b/...resentation/metrics/transformations.xpath → ...vestigation/metrics/transformations.xpath
diff --git a/topics/presentation/subgrammar/Makefile → topics/investigation/subgrammar/Makefile b/topics/presentation/subgrammar/Makefile → topics/investigation/subgrammar/Makefile
diff --git a/topics/presentation/subgrammar/subgrammar.py → ...cs/investigation/subgrammar/subgrammar.py b/topics/presentation/subgrammar/subgrammar.py → ...cs/investigation/subgrammar/subgrammar.py
diff --git a/topics/presentation/subgrammar/testperform → topics/investigation/subgrammar/testperform b/topics/presentation/subgrammar/testperform → topics/investigation/subgrammar/testperform
diff --git a/...ation/subgrammar/tests/Apply.baseline.bgf → ...ation/subgrammar/tests/Apply.baseline.bgf b/...ation/subgrammar/tests/Apply.baseline.bgf → ...ation/subgrammar/tests/Apply.baseline.bgf
diff --git a/...on/subgrammar/tests/Argument.baseline.bgf → ...on/subgrammar/tests/Argument.baseline.bgf b/...on/subgrammar/tests/Argument.baseline.bgf → ...on/subgrammar/tests/Argument.baseline.bgf
diff --git a/...tion/subgrammar/tests/Binary.baseline.bgf → ...tion/subgrammar/tests/Binary.baseline.bgf b/...tion/subgrammar/tests/Binary.baseline.bgf → ...tion/subgrammar/tests/Binary.baseline.bgf
diff --git a/...tation/subgrammar/tests/Expr.baseline.bgf → ...gation/subgrammar/tests/Expr.baseline.bgf b/...tation/subgrammar/tests/Expr.baseline.bgf → ...gation/subgrammar/tests/Expr.baseline.bgf
diff --git a/...on/subgrammar/tests/Fragment.baseline.bgf → ...on/subgrammar/tests/Fragment.baseline.bgf b/...on/subgrammar/tests/Fragment.baseline.bgf → ...on/subgrammar/tests/Fragment.baseline.bgf
diff --git a/...on/subgrammar/tests/Function.baseline.bgf → ...on/subgrammar/tests/Function.baseline.bgf b/...on/subgrammar/tests/Function.baseline.bgf → ...on/subgrammar/tests/Function.baseline.bgf
diff --git a/.../subgrammar/tests/IfThenElse.baseline.bgf → .../subgrammar/tests/IfThenElse.baseline.bgf b/.../subgrammar/tests/IfThenElse.baseline.bgf → .../subgrammar/tests/IfThenElse.baseline.bgf
diff --git a/...ion/subgrammar/tests/Literal.baseline.bgf → ...ion/subgrammar/tests/Literal.baseline.bgf b/...ion/subgrammar/tests/Literal.baseline.bgf → ...ion/subgrammar/tests/Literal.baseline.bgf
diff --git a/...ntation/subgrammar/tests/Ops.baseline.bgf → ...igation/subgrammar/tests/Ops.baseline.bgf b/...ntation/subgrammar/tests/Ops.baseline.bgf → ...igation/subgrammar/tests/Ops.baseline.bgf
diff --git a/...ion/subgrammar/tests/Program.baseline.bgf → ...ion/subgrammar/tests/Program.baseline.bgf b/...ion/subgrammar/tests/Program.baseline.bgf → ...ion/subgrammar/tests/Program.baseline.bgf