Symbolic Debugger

KEY is written in the "C" programming language because of all of the mathematical and pointer manipulations that need to take place. An excellent symbolic debugger for PC-based "C" is available. However, the finished system is easily ported back to the VAX environment. 

One solution is to provide a symbolic debugger style interface to the structural simulator. Such an interface would allow the user to set break points and examine values in terms of the ISPS specification which the user provided and presumably understands. The interface would use the linking information provided by CORAL to translate... 

Watches. By default, the watch window contains all C symbols (global and local variables, arguments) as supplied by the C debugger. In case of foreach, this means the it expression is not available, but the two generated variables —it and c are. This is exactly the wrong way the watch window should show —it as it and hide c. The code below shows the implementation in foreach ... 

---