#makeReport.n3 # #An n3 file that takes the output of tester.py, which contains a wealth of information about # n3 parser tests and what passes what, and makes a pretty html table of it. # @prefix log: . @prefix string: . @prefix n3test: . @prefix crypto: . # for md5 @prefix time: . # for localTime # #We start out with the header of the document. None of this is ever different. # "A" log:outputString """ N3 test result report: """ . # # When I ran the file . {"" time:localTime ?x} log:implies {"AB" log:outputString ?x} . # # The head of the page. This is the end of fixed stuff "B" log:outputString """

Notation3 Parser Test Results

Color Key:
	Parser parses the file, and generates the expected output. Or, on a negative test, fails to parse the file
	Parser parses the file
	Parser throws an exception on the file. Or, on a negative test, fails to throw an exception

""" . # #The beginning of the table, including its first two column headings # "C" log:outputString """ """ . # # A column for every parser. # {?parser a n3test:N3Parser; n3test:command ?y . ("D" ?y) string:concatenation ?x . ("") string:concatenation ?z} log:implies {?x log:outputString ?z} . # # The end of the table header, and beginning of the table body # "E" log:outputString """ """ . # #A row for every file. We will have to be careful to sort by file, then command # {?file a n3test:Input; log:uri ?uri; n3test:description ?a; n3test:expected ?b . ("G" ?b ?file) string:concatenation ?x . ("G" ?b ?file "zzzzzzzzzzzzzzzzz") string:concatenation ?y . ("""") string:concatenation ?z .} log:implies {?x log:outputString ?z . ?y log:outputString ""} . # # The rule if there is no reference file given, yet the parser succeeded # {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file n3test:expected "Positive" . ?file ?parser [n3test:doesNotMatch () ] . ("GPositive" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file n3test:expected "Undecided" . ?file ?parser [n3test:doesNotMatch () ] . ("GUndecided" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file n3test:expected "Negative" . ?file ?parser [n3test:doesNotMatch () ] . ("GNegative" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . # # The rule if the parser passed. # {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file n3test:expected "Positive" . ?file ?parser ?q . ?q ?r ?s . ?r a n3test:Diff . ?r n3test:diffString ?t . ?t string:equalIgnoringCase "" . ("GPositive" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file n3test:expected "Undecided" . ?file ?parser ?q . ?q ?r ?s . ?r a n3test:Diff . ?r n3test:diffString ?t . ?t string:equalIgnoringCase "" . ("GUndecided" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file n3test:expected "Negative" . ?file ?parser ?q . ?q ?r ?s . ?r a n3test:Diff . ?r n3test:diffString ?t . ?t string:equalIgnoringCase "" . ("GNegative" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . # # The rule if the parser passed, but the reference file does not match the output # A link is made to the diff, using md5 # {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file ?parser ?q . ?file n3test:expected "Positive" . ?q ?r ?s . ?r a n3test:Diff; n3test:diffString ?t; log:uri ?b . ?b crypto:md5 ?c . ?t string:notEqualIgnoringCase "" . ("GPositive" ?file ?y) string:concatenation ?x . ("") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file ?parser ?q . ?file n3test:expected "Undecided" . ?q ?r ?s . ?r a n3test:Diff; n3test:diffString ?t; log:uri ?b . ?b crypto:md5 ?c . ?t string:notEqualIgnoringCase "" . ("GUndecided" ?file ?y) string:concatenation ?x . ("") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:parses ?file . ?file ?parser ?q . ?file n3test:expected "Negative" . ?q ?r ?s . ?r a n3test:Diff; n3test:diffString ?t; log:uri ?b . ?b crypto:md5 ?c . ?t string:notEqualIgnoringCase "" . ("GNegative" ?file ?y) string:concatenation ?x . ("") string:concatenation ?z . } log:implies {?x log:outputString ?z } . # #Finally, if the parser crashed on the file # {?parser a n3test:N3Parser; n3test:command ?y; n3test:failsParsing ?file . ?file n3test:expected "Undecided" . ("GUndecided" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:failsParsing ?file . ?file n3test:expected "Positive" . ("GPositive" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . {?parser a n3test:N3Parser; n3test:command ?y; n3test:failsParsing ?file . ?file n3test:expected "Negative" . ("GNegative" ?file ?y) string:concatenation ?x . ("""""") string:concatenation ?z . } log:implies {?x log:outputString ?z } . # The end of the table # "R" log:outputString """

Test file	Description	Class	" ?y "
""" ?uri """	""" ?a "	" ?b "
				diff	diff	diff

""" . # # The diffs. They were cleaned up for inclusion in html already. # {?parser a n3test:N3Parser; n3test:parses ?file . ?file ?parser ?q . ?q n3test:isFile ?m . ?m log:uri ?n . ?q ?a ?s . ?s log:uri ?o . ?a a n3test:Diff; n3test:diffString ?diff; log:uri ?b . ?b crypto:md5 ?c . ("S" ?c) string:concatenation ?x . ("

diff from " ?n " to " ?o "

" ?diff "

") string:concatenation ?z . } log:implies {?x log:outputString ?z } . # # The end of the file # "ZZZZZZ" log:outputString """ """ .