User's Manual: Kahina for TRALE

This user manual is not complete yet, but you can check our ​HMGE 2013 paper for a description of the system's features.

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
• Signature View?
• 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?

Feature Workbench

• Installation?
• Tutorial?

Technical Background

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