5.3 Text Hover
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