[cvs-nhc98] patch applied (hat): - modification to hatinterface.c:
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:06:35 EDT 2006
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
More information about the Cvs-nhc98
mailing list