5. The AADL Text Editor
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.