We would like to thank Ramón
Jiménez of University of York for making these
enhancements to the AADL Text Editor of OSATE.
The AADL Text Editor is based on the example Java Text Editor that is made available as part
of Eclipse.
The contributions to the AADL Text Editor comprise four main new features, namely:
- Syntax and semantic checking on save: Checking the syntax and semantics of the
AADL text in the editor by parsing it and reporting errors
- Code completion: assistive support in writing AADL specifications by providing
choices to complete declarations
- Text hover: assistive support in writing or reading AADL specifications by providing
additional information over declaration elements
These features are now explained in greater detail.