Re-add CQLLexer#main
[cql-java-moved-to-github.git] / test / regression / README
index 59aa84b..0d7b96b 100644 (file)
@@ -1,6 +1,11 @@
-$Id: README,v 1.3 2002-11-20 01:15:15 mike Exp $
 
-cql-java's regression-testing framework
+If you just don't want to think about it
+----------------------------------------
+
+Just use "make" to run regression tests.
+
+
+CQL-Java's regression-testing framework
 ---------------------------------------
 
 "queries.raw" is the file of test queries as provided by Rob.
@@ -12,34 +17,37 @@ cql-java's regression-testing framework
 "mkanswers" uses a trusted CQL compiler to generate corresponding XCQL.
     "01/01.xcql", "01/02.xcql" etc. are the compiled XCQL queries.
 
-All of the files described to this point are included in the
-distribution, with the "trusted" outpout produced by my own compiler,
-and used to for regression testing of new versions.  But you're
-welcome to "rm -r sections" and rebuild it to contain the trusted
-compiler output of your choice.
+Apart from the CQL files, all of the files described to this point are
+included in the distribution, with the "trusted" XCQL output produced
+by my own compiler, and used for regression testing of new versions.
+The CQL files are re-created from "queries.raw" as required.  But
+you're welcome to "make refclean" and rebuild it with mkanswers, to
+contain the trusted compiler output of your choice.
 
-"runtests" compares the output of a CQL compiler with existing XCQL
-files.  In general, use this to compare the results of your own build
-of cql-java with those of my build.  (I'll use it to test new
-versions, and people who've written other compilers can use it to test
-their code.)
+"runtests" compares the output of a nominated CQL compiler with
+existing XCQL files.  Most often, you'll use this to compare the
+results of your own build of CQL-Java with those of my build.  I'll
+use it to test new versions, and people who've written other compilers
+can use it to test their code.  (The code of "runtests" and
+"mkanswers" is worryingly similar: they should probably be the same
+program invoked with different command-line arguments.)
 
 "Makefile" controls the building of all this.  You'll need to edit it
 if you want to use different compilers and suchlike from what's
 written into it, so it may be easier to run the tests by hand -- but
 it's a useful reference for the kinds of commands you might need,
-anyway.  In general, "make" will run the regression tests, and "make
-reference" will rebuild the reference results should you wish to do
-that.
+anyway.  In general, "make" will run the regression tests, creating
+whatever CQL and/or XCQL files it needs; if you do "make refclean"
+first, then the next "make" will rebuild the reference results.
 
 So, for example, if you think Rob Sanderson's parser, CQLParser.py, is
-reliable, and you want to test my parser, cql-java's CQLParser class,
+reliable, and you want to test my parser, CQL-Java's CQLParser class,
 against its results, do this:
 
-       rm -rf sections
+       make refclean
        ./mktests queries.raw
        ./mkanswers CQLParser.py
-       ./runtests CQLParser ./xmlpp.pl
+       ./runtests ../../bin/CQLParser ./xmlpp.pl
 
 The second argument to ./runtests is the name of a program to use to
 normalise XML, so that the trusted output and the output being tested
@@ -49,3 +57,36 @@ use "cat" as the second argument.)  xmlpp.pl is a fine XML
 pretty-printer from DecisionSoft, found at
        http://software.decisionsoft.com/tools.html
 
+"showtest" can be used to run a single test showing more details of
+what goes wrong, if anything.  You don't need it as part of the
+regression test, but it's useful when debugging.
+
+Finally, "runcanon" checks that each of the queries when compiled and
+decompiled back to CQL (i.e. canonicalised) remains identical when
+recompiled and redecompiled.
+
+
+Appendix: queries that should fail
+----------------------------------
+
+The following queries are included in Rob's master list, in a final
+section called "Invalid searches [should error]".  They are all
+expected to fail in various ways.  I've taken them out of
+"queries.raw" because it's uninteresting, not to mention rather
+disturbing, to watch compilers fail.  More important, I think, to
+demonstrate correct behaviour for the known-to-work queries.
+
+>
+===
+cat or
+index any 
+index any/wrong term
+a prox/wrong b
+()
+(a
+index any fish)
+(cat any dog or ())
+title = ("illegal parentheses")
+"quoted" any "illegal quotes"
+> illegal="urn:missingQuery"
+"fish" and > illegal="urn:invalidPrefixLocation" "chips"