X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=docs%2Frunning-ant.txt;h=eec728b58e0356f8479970af60a4dae404524b79;hp=03c399d7599e9cc07b91d851e994f3bed57cb4e2;hb=3bca9a5dd50b6ccd0bdb482911f597c9182aa17d;hpb=2e2e22ae60adb1e12dc6bb922cbc55e1be2f9640

diff --git a/docs/running-ant.txt b/docs/running-ant.txt
index 03c399d..eec728b 100644
--- a/docs/running-ant.txt
+++ b/docs/running-ant.txt
@@ -4,7 +4,7 @@ Running the ant tasks
 This project supplies an ant build file.
 
 When used without parameters it will 
-- build the main tool, mjc2wsl, as well as the MicroJava compiler
+- build the main tool, mjc2wsl
 - compile all the given MicroJava samples in a temp folder
 - translated these to WSL
 - run a transformation script for all of these files 
@@ -15,7 +15,11 @@ doing some of the above taks on their own.
 
 Many of these can be given parameters, such as 
 
-ant mjc2wsl -Dfilename=temp/Rek1.obj -Dmjc2wsl.options=-q
+  ant mjc2wsl -Dfilename=temp/Rek1.obj -Dmjc2wsl.options=-q
+
+Alternatively parameters can be specified in a file named
+"custom.properties" in the root folder of the project (next 
+to "build.xml").
 
 
 General tasks
@@ -42,7 +46,10 @@ mjc2wsl - runs the tool on all obj files in "samples.temp.dir"
 MicroJava tasks
 ---------------
 
-These tasks use "compiler.class.dir"
+These tasks use "compiler.class.jar" to get the classes,
+but will also look first into "compiler.class.dir" if there
+is any override.
+
 
 mj-decode - decode the bytecode given in "filename" into
 operation names and parameteres (uses
@@ -83,6 +90,34 @@ transformations results from earlier).
 Testing tasks
 -------------
 
+There are two sets of tasks for comparing outputs of
+different versions of programs. 
+
+The fist set compares the original MicroJava code compiled
+into bytecode with the version translated into WSL (using
+mjc2wsl). These are "test-all-m" and "test-fn-m".
+
+The second set compared the translated WSL with the
+transformed version. These are "test-all-t" and "test-fn-t".
+
+In either case, the two versions of the program are run with
+inputs from the "${tests.dir}", the outputs are recordered
+and automatically compared (using customized perl scripts in
+the first version). For a given ${file.name} of the program,
+it will be run with inputs from any files that match
+"${file.name}*.txt". If there are none, then the program
+will not be tested.
+
+Obviously this could prove to be problematic if some
+programs have names that are longer versions of other
+program names (like "chars" and "chars-and-numbers", where
+any test for the later would be (wrongly!) ran for the
+former as well).
+
+
+Manual testing helper tasks
+---------------------------
+
 test-run - run sequentially the '.obj', '.wsl' and '_t.wsl'
 versions of the same program. given are "file.dir" and
 "file.name" without an extension.
@@ -91,6 +126,23 @@ test-run-samples-dir - same as above, presumes that
 "file.dir" is "samples.temp.dir".
 
 
+Metrics tasks
+-------------
+
+these tasks generate comparison outputs for transformed
+versions of WSL programs in a CSV file using the custom
+metrics script given in the `src-wsl` directory.
+
+
+Visual comparison tasks
+-----------------------
+
+currently there is a task that can generate LaTeX sources
+and compile them into a pdf showing in parralel how
+the program looks in MicroJava, bytecode, translated WSL
+and transformed WSL.
+
+
 Logging
 ------------------------------------------------------------
 
@@ -104,4 +156,6 @@ last run is always copied to "mjc2wsl.txt" (property
 wsl-transf-samples is logged in
 "transformations-TIMESTAMP.txt". The last run is always
 copied to "transformations.txt" (property
-"log.file.transformations")
\ No newline at end of file
+"log.file.transformations")
+
+similarly the testing tasks are logged.