Main Page
From Tempo
Welcome to the Tempo Documentation Wiki
Here you will find information regarding Tempo.
Contents |
Development Tools
Setting Up Eclipse
The section TIOA Eclipse Development Setup gives general guidelines and pointers to setup eclipse properly. Note that eclipse is quite sensitive to path information and workspaces and fails to provide insightful/meaningul messages when a build phase fails because of a setup issue. We strongly advise coders to follow the guidelines above for an uneventful setup.
Setting Up for Graphical User Interface Work
The section TIOA Eclipse GUI Development Setup describes how to setup for TIOA GUI developers
Regression Testing
The section TIOA Front End Regression Testing gives all the informations on what should be done prior to commiting sizeable changes to the source code repository.
Language
The section TIOA Language documents Tempo (the language)
Source Code
Overview
The section TIOA Overview gives a brief introduction to the overall organization of the source code in Java.
We are currently relying on javadoc to produce source code documentation. The generated documentation can be read here.
Syntax
The section Grammar / Instruction Documentation documents the grammar and its relation to the Abstract Syntax Tree classes that reside in the tempo.ast Java package. The section Abstract Syntax Tree Documentation documents the AST classes themselves.
Semantics
The section Semantic Checking Documentation gives an high-level description of the architecture of the semantic analysis
Plugins
The section Plug-in Development documents the steps that must be followed to write a Tempo plug-in.
Simulator
Behavior of the Simulator plug-in
- Automaton formals are evaluated prior to the simulation, when the automaton is instantiated. The transition formals are evaluated each time the transition is executed.
PVS Translator
Setting up PVS to work with Tempo
Model Checker (UPPAAL)
To be written.
LaTeX Generator
To be written.
Release
The section preparing a tempo toolset release documents the steps that must be followed to transform the code base into a packaged user end application.
