osate/osate2-core — Issue #11: Analysis error for inherited components
Author: juli1
Created: 2011-11-01 13:09:35+00:00
State: open

The following example does not report any error while the features would be refined in the obc_current component definition :

system obc
features
link_payload : requires bus access;
link1553_platform : requires bus access bus1553;
end obc;

system implementation obc.i

end obc.i;

system obc_current extends obc
features
link_payload : requires bus access bus1553;
end obc_current;

The exact definition would be :

system obc_current extends obc
features
link_payload : refined to requires bus access bus1553;
end obc_current;