KenyaEclipse User Guide

If concepts occurring in this manual are not sufficiently explained, please use the Eclipse Workbench User Guide to complement.

I    Prerequisites and Installation

II    The Kenya Perspective

III    Getting started

Creating a Kenya Project

Creating a new Kenya file

IV    The Kenya/Java editor

Editor Layout

Problem view

V    Running and Debugging your code

Running

What happens when we run the thing?

Debugging

Breakpoints - what was that about tracing instructions?

The Debug Perspective

Resume, Stop, Step

The Console View..

Changing launch settings and specifying arguments.

VI        Bad Style – the Style Guidance Module.

Configuring the module.

VII       Advanced Editor features.

Occurrence Highlighting.

Code assistance (auto completion)

Parameter Hints.

Source editing.

Refactoring.

VIII      Known Issues - Troubleshooting.