thorsten: Wed Aug 1 16:18:02 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv1726 Modified Files: detect.c detect.h hat-checki.c hat-detect.c hat-observe.c hatinterface.c hatinterface.h observe.c observe.h Log Message: - 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.