Summary
In issue saeaadl/aadlv2.2#19, the following example is reported
package issue19
public
system s
-- ...
end s;
system implementation s.i
prototypes
X: bus;
-- ...
subcomponents
b: bus X;
-- ...
end s.i;
system T
end T;
system implementation T.i
subcomponents
sub1: system s.i; -- no prototype binding
-- ...
end T.i;
end issue19;
Expected behavior
OSATE should either instantiate the model or reject it. From the original issue, it should be rejected since the prototype is not bound. The OP hints as some specific behavior OSATE implements
Actual behavior
OSATE reports a NPE
Steps To Reproduce
Summary
In issue saeaadl/aadlv2.2#19, the following example is reported
Expected behavior
OSATE should either instantiate the model or reject it. From the original issue, it should be rejected since the prototype is not bound. The OP hints as some specific behavior OSATE implements
Actual behavior
OSATE reports a NPE
Steps To Reproduce