You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After parsing a dequeue action applied to a reference that is not an event [data] port, the type checker fails with a NPE and therefore the aadl editor crashes.
Steps to Reproduce
open the following example
the editor fails because of an error in the BA plugin; i crashes instead of reporting an error
package test_dequeue_data_port
public
thread t
features
d_in: in data port d;
annex behavior_specification {**
variables
v: d;
states
s: initial complete final state;
transitions
s-[on dispatch]->s
{
d_in?(v);
d_in?
};
**};
end t;
data d
end d;
end test_dequeue_data_port;
Environment
OSATE Version: 2.9.0
Operating System: Ubuntu 18.04
The text was updated successfully, but these errors were encountered:
Summary
After parsing a dequeue action applied to a reference that is not an event [data] port, the type checker fails with a NPE and therefore the aadl editor crashes.
Steps to Reproduce
Environment
The text was updated successfully, but these errors were encountered: