Summary
The AADL Navigator no longer shows error markers on elements in expanded AADL model files.
This used to work in previous versions.
Steps To Reproduce
- Paste model below into AADL editor and save it as P.aadl.
- Expand P.aadl file in AADL navigator
- The file contains error markers on flow implementations for
fl
- No error markers on flows in the AADL navigator
package P
public
thread T
features
i: in data port;
o: out data port;
flows
fl: flow path i -> o;
end T;
thread implementation T.i
calls
seq: {
cl: subprogram SP;
};
connections
pc1: parameter i -> cl.pi;
pc2: parameter cl.po -> o;
flows
-- cannot specify flow through called subprogram
-- both of the following are not allowed
fl: flow path i -> pc1 -> cl -> pc2 -> o;
fl: flow path i -> pc1 -> cl.fp -> pc2 -> o;
end T.i;
subprogram SP
features
pi: in parameter;
po: out parameter;
flows
fp: flow path pi -> po;
end SP;
end P;
Screenshots
OSATE 2.9.0:

OSATE 2.9.1:

Desktop (please complete the following information):
- OSATE Version: 2.9.1
- Operating System: Linux, Windows
Summary
The AADL Navigator no longer shows error markers on elements in expanded AADL model files.
This used to work in previous versions.
Steps To Reproduce
flScreenshots

OSATE 2.9.0:
OSATE 2.9.1:

Desktop (please complete the following information):