Table of Contents

1     Introduction
2    Environment Examples
2.1    Deterministic Tracing
2.2    Non-Deterministic Tracing
2.3    Advanced Tracing
2.4    Port Statistics
3     Environment Conversations
3.1     Debugger Control
3.2     Debugger Ports
3.3     Debugger Callback
3.4     Default Prompt
3.5     Interrupt Handling
3.6     Compatibility
4     Environment Syntax
4.1     Miscellaneous Definitions
5     Development Packages
5.1     Debug Package
5.2     Inspection Package
5.3     Testing Package
5.4     System Package
5.5     Notebook Package
6    Appendix Example Listings
6.1    Tracing Example
6.2    Port Statistics
Indexes
    Public Predicates
    Package Predicates
    Meta Predicates
    Closure Predicates
    Syntax Operators
References

Comments