osate / osate2

Open Source AADL2 Tool Environment
http://osate.org
Eclipse Public License 2.0
39 stars 8 forks source link

OSATE allows subprograms to have in event ports #910

Closed rinsley closed 6 years ago

rinsley commented 7 years ago

In the AS5506C standard, page 71, it lists the types of port features allowed on subprograms, which are limited to out event port and out event data port.

However, the AADL text editor does not give an error if you add an in event port to a subprogram. Example (does not cause errors in the editor):

subprogram sp
    features
        e1: in event port;
        e2: in out event port;
        e3: in event data port;
        e4: in out event data port;
end sp;
lwrage commented 6 years ago

Need to add a validation.