olaf 2004/08/04 12:23:54 PDT Modified files: src/hattools HatDetect.hs Ident.hs LowLevel.hs Makefile animnode.c artutils.c artutils.h detectutils.c hat-check.c hat-names.c list.c list.h nodehash.c observeutils.c Log: Modified hat-trans and hat-lib to write extended positions into trace file (a second integer for the end position after that of the begin position). Modified hat-tools to work with the new file format. File format has now a new version 2.04, separate from the Hat version. Note that the additional end line and column of a position are still ignored by all tools. Couldn't really test hat-detect and hat-anim, because they only seem to work in special cases (that has not changed through the modification). Revision Changes Path 1.27 +1 -0 hat/src/hattools/HatDetect.hs 1.7 +8 -0 hat/src/hattools/Ident.hs 1.19 +8 -0 hat/src/hattools/LowLevel.hs 1.65 +1 -1 hat/src/hattools/Makefile 1.3 +5 -2 hat/src/hattools/animnode.c 1.22 +77 -9 hat/src/hattools/artutils.c 1.12 +10 -0 hat/src/hattools/artutils.h 1.3 +1 -0 hat/src/hattools/detectutils.c 1.25 +9 -5 hat/src/hattools/hat-check.c 1.15 +3 -0 hat/src/hattools/hat-names.c 1.2 +1 -1 hat/src/hattools/list.c 1.2 +1 -1 hat/src/hattools/list.h 1.2 +2 -2 hat/src/hattools/nodehash.c 1.44 +3 -0 hat/src/hattools/observeutils.c