search

osate / osate2

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

BA: Property constant not accepted as behavior_time #2668

Closed brlarson closed 3 years ago

brlarson commented 3 years ago

Summary When a property constant is used as behavior_time, an error marker appears when it shouldn't

Expected behavior No error marker from

  T1_PACE_AFTER_LRL: va,sav,pav-[on dispatch timeout #PP::Lower_Rate_Limit_Interval ]->va

Actual behavior get error marker: extraneous input ']->' expecting {'.', IDENT}

Steps To Reproduce

In DDD_i.aadl (attached to previous issue) remove the port list from a completion_relative_timeout_catch.

However, there should have been a different error marker because property set PP was not included in the with clause of the package. Evidently, proper import of the property set is not checked, much less that the constant's value is appropriate for behavior_time.

brlarson commented 3 years ago

Above is missing a unit identifier.

  T1_PACE_AFTER_LRL: va,sav,pav-[on dispatch timeout #PP::Lower_Rate_Limit_Interval s]->va

works fine