By resting the mouse for a few seconds over a portion of the specification's text, the editor's
text hovering feature is activated. This feature, also provided by Eclipse, can yield the following
information depending on the hovered element:
- If the hovered element is a keyword, it is looked up in a dictionary-like structure. This
structure, based on an extensible XML file, is initially loaded with descriptions for all
70 AADL reserved words, taken from the AADL draft standard version 0.991. The
XML file includes a reference to the standard section and line number(s) the
description is taken from, to ease incremental updating of the file