[cvs-nhc98] patch applied (hat): - modification to hatinterface.c:

[Malcolm Wallace]

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