search

loonwerks / AMASE

This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
BSD 3-Clause "New" or "Revised" License
6 stars 4 forks source link

Fault node does not support assigning fields of a record type (composite structure) #2

Closed janetlj closed 6 years ago

janetlj commented 6 years ago

The fault node currently does not support passing fields of a record type as input or output arguments of a fault node. Users have to pass the record type as a whole, and use record update expression inside the fault node definition in order to assign individual fields (e.g., fault "AILL INVERT FAIL" in https://github.com/loonwerks/AMASE/blob/develop/examples/QFCS_V3/packages/OSAS.aadl).

There should be a validator error preventing users from passing fields of a record type to a fault node in the editor before this capability is supported.

dkstewart commented 6 years ago

Record types are now supported.