[cvs-nhc98] - modification to hatinterface.c:

[Thorsten Brehm]

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.