saeaadl / aadlv2.2

SAE AADL core language, version 2.2
1 stars 0 forks source link

Incorrect description of Activate_Entrypoint_Call_Sequence #72

Open lwrage opened 2 years ago

lwrage commented 2 years ago

The sentence If the property is specified for a provided subprogram, event port, or event data port feature, then this entrypoint is chosen when the corresponding call, event, or event data arrives instead of the compute entrypoint specified for the containing thread. should be removed. The property does not apply to subprogram access or ports.