![]() ![]() |
||||
|
||||
OSATE 1.2 runs under Eclipse 3.1.2 and EMF 2.1.2.
OSATE 1.2 has been integrated with the graphical editor TOPCASED 0.8 using GEF 3.1.1.
The AADL Builder updates the aadl file when the aaxl file is changed and vice versa. In other
words, changes made in the text editor become visible in the object editor and the graphical
editor, and changes in the object editor or graphical editor become visible in the text editor.
OSATE now only generates .aaxl files for those .aadl files that do not have name/numeric
resolution errors. This ensures that all .aaxl files have legal references to other objects. If there
are syntax errors and the aaxl file exists it is tagged as its source having syntax errors. The
AADL Navigator then hides such aaxl files.
Replaced the "Clean up instances" action with the "Reinstantiate All Models" action. This
action rebuilds all the instance models in the workspace, removing any whose system
implementation no longer exists.
Added action “Check Model Semantics” under the “Analyses/Semantic Checks”menu to
allows the user to invoke semantic checking manually on aaxl files. The semantic checker is
also automatically invoked by the builder when an .aadl file has been written and parsed, or
when an .aaxl file has been written by the graphical or object editor.
Added debugging actions: "Reload Resource Set" which forces all the XML models to be
reloaded, and "Check For Unresolved Proxies" which looks for unresolved proxies (i.e., Xpath
reference errors) in XML models. “Check Model Sanity” checks aaxl files for consistent use
of references. These actions are useful when importing aaxl files from external sources, e.g.,
AADL XML files that have been generated by another tool.
The object editor includes navigation actions in its context menu to go to the source or
destination of connections, to the classifier of subcomponents & ports, and to the declaration
corresponding to an object in the instance model.
Added ability to move between the three editors by going to the current selection in each
(“Goto AADL diagram”, “Goto AADL Text”, and “Goto AADL Diagram”).
Added an "AADL" perspective.
Added an "AADL Navigator" view that hides "." files, that hides aaxl files if the corresponding
aadl file has syntax errors, and that decorates icons to indicate whether the resource has
warnings or errors.
Added "convert to AADL text file" as export wizard.
Added "convert to MetaH" as export wizard.
Bug Fixes:
Fixed a bugs in the parser (incomplete XML structures in case of unresolvable names,
recognize changes to the standard property sets or change in their location), unparser (handling
of refined connection declarations), instance model generator (generation of data/bus access
connections, generation of connections involving port groups). For a full list of bug fixes see
Bugzilla.
Changes to the OSATE API:
Renamed AadlEditor to AadlTextEditor to avoid confusion with AADLEditor as the graphical
editor.
Changed ParseErrorReporter to only have LocationReference-based reporting methods. This
means the parseError() method has been renamed to error() and the semanticError() method
has been removed. Instead, there is a new AnalysisToParseErrorReporterAdapter class that is
used with AnalysisErrorReporterManagers. This class allows errors to be reported relative to
AObjects, but actually reports relative to the text position in the source text file by using a
ParseErrorReporter under the hood. Additional changes to ParseErrorReporter and
ParseErrorReporterManager were also made to make them more similar in structure to
AnalysisErrorReporter and AnalysisErrorReporterManager. A side-effect of these changes is
that resolveAnnex() method in AnnexResolver now takes an AnalysisErrorReporterManager
instead of a ParseErrorReporterManager.
The above changes also mean that the resolveAnnex() method in AnnexResolver now takes an
AnalysisErrorReporterManager instead of a ParseErrorReporterManager.
Semantic checker has been separated from name resolver to allow its use on object models
created by the graphical editor or AADL object editor. |
||||