search

osate / osate2

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

instantiation does not resolve constant references for fields in record properties #835

Closed reteprelief closed 7 years ago

reteprelief commented 7 years ago

The ARINC653 partition schedule properties are record properties. If you assign as value of one of the field a property constant, then the property association in the instance model leaves the constant reference in. The method getModuleSchedule in GetProperties assumes an IntegerLiteral resulting in a class cast exception. windowTime = (IntegerLiteral) PropertyUtils.getRecordFieldValue(window, "duration"); According to discussions with Lutz the constant reference should be resolved to the value during instantiation.

reteprelief commented 7 years ago

also includes commit 2ec38d909711a148beb03230de63f441f67c117c checks for cyclic property constant references in record field evaluation. Done in getRecordFieldValue method.