Section 1 - Clauses, Types and Rules
In the Workbench launcher window select open debugger under the Simulate menu. then deselect the compile button and select the step button. Restart the simulation in the normal way. By clicking the do button repeatedly one can watch as SDML proceeds through the rules.
This shows the antecedents of rules in the main panel, the current bindings of variables in the bottom left and a stack of levels at the top. In the top panel one can use the command button on the mouse to advance and rewind at several levels. If one reaches an SDML error the debugger will also be displayed with the error. From the top pane you can use the command button to directly browse the offending rule, correct it by editing it, accept the new rule and then continue (with the corrected rule) by clicking on the restart button at the top left of the debugger. This will restart the simulation from the latest possible stage before the error occurred. This can make for quick correction of minor mistakes.
You can run SDML simulations in either compiled or interpreted (uncompiled) form - this is controlled by the top right button on the debugger. It looks identical from the modeller's point of view but running in compiled mode is much faster whilst running uncompiled gives slightly more debugging information.
Generated with CERN WebMaker