search

osate / osate2

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

Range values in Alisa expression language partially supported #1555

Closed reteprelief closed 5 years ago

reteprelief commented 5 years ago

Users can define a range value as a property or property constant value and then reference the property (constant) as value for a 'val' variable. However, users cannot declare the range value directly as value of a 'val' declaration. ExpectedLatencyRange : constant AADL_Project::Time_Range => 12 ms .. 20 ms;

    val ExpectedLatencyRange = #MyConstants::ExpectedLatencyRange
    val ExpectedRange = 12ms .. 20ms  -- error message on ..
lwrage commented 5 years ago

Range values must be enclosed in square brackets.