User's Manual: Kahina for QType

Unfortunately, the documentation is still somewhat sparse, but this is going to improve soon.

Getting Started

• Installation?

Core Concepts

• Parsing Steps
• Tracing
• Search and Call Tree
• Breakpoint System
• Creep, Fail and Skip Points
• Warn Points
• Chart Display

Interface Components

• Control Panel
• Tree View
• List Tree View (experimental)
• Breakpoint Editor?
• Source Code Editor?
• Message Console?
• Profiler
• Variable Bindings

Customizing Kahina

• Perspectives and Profiles
  • Default Perspectives?
  • Custom Perspectives?
  • Managing Profiles?
• Configuring Components
  • Configuring the Tree?
  • Configuring the Chart?

Technical Background

• System Architecture
• Messaging System
• Control Flow Pattern Matching via Tree Automata?