Documentation

The documentation for the runtime library is provided as HTML split files or as full PDF doc-uments. The HTML split files can be view with a HTML browser. To view the PDF files a PDF reader needs to be available.

The support files archive contains the following documentation:

05_run          # Runtime Library
+--- 10_docu # Documentation
| +--- 00_android # User Manual Android
| +--- 01_swing # User Manual Swing
| +--- 02_reference # Language Reference
| +--- 03_interface # Programming Interface
| +--- 04_installation # Installation Guide
| +--- 05_frequent # Frequent Predicates
 +--- 15_stdy # Studies
+--- 06_bench # Benchmark Results
+--- 07_compliance # Compliance Results
 +--- 08_deploy # Deployment Methods
10_dev # Development Environment
 +--- 10_docu # Documentation
+--- 00_android # User Manual Android
+--- 01_swing # User Manual Swing
+--- 02_reference # Language Reference
+--- 03_interface # Programming Interface
+--- 04_installation # Installation Guide

The full PDF documents are located in the files called package.pdf in the above directories.

Kommentare