Wed Aug 1 07:18:01 PDT 2001 thorsten * - modification to hatinterface.c: Apply further (and final) restrictions for the detection of application results. Now, function getResult should detect all cases of nodes, which do not have a result. - observe.c: Algorithm now finds really all (hopefully) applications of the given identifier. Even recursive applications, refering to a node somewhere forward in the trace file are now found. Problems with partial applications have now all (?) been solved, see correction of the "getResult" function. - detect.c: Enhanced algorithm to allow recursive/partial applications to be recognised correctly. They are now to be found at the correct position within the EDT. - hat-detect.c: Redex Trail browser (hat-trail) may now be launched from hat-detect. By answering a question with "r", the java tool is launched and the rhs or lhs of the equation shown in hat-detect can be traced. M ./src/hattools/detect.c -19 +64 M ./src/hattools/detect.h -1 +1 M ./src/hattools/hat-checki.c -4 +10 M ./src/hattools/hat-detect.c -32 +20 M ./src/hattools/hat-observe.c -28 +64 M ./src/hattools/hatinterface.c -7 +60 M ./src/hattools/hatinterface.h -1 +4 M ./src/hattools/observeutils.c -19 +166 M ./src/hattools/observeutils.h +11