FHA cannot be generated when using error type #38

Closed
juli1 opened this Issue Sep 6, 2013 · 2 comments

Comments

Projects
None yet
1 participant
@juli1
Contributor

juli1 commented Sep 6, 2013

When generating the FHA, nothing is generated when using an error type on the error source feature. Please have a look at the following project: https://github.com/osate/examples/tree/master/error-model/lifevest
And particularly at this file: https://github.com/osate/examples/blob/master/error-model/lifevest/visibility.aadl

On the other hand, if we use the flow identifier and a state, the FHA generation works. For example, the examples in https://github.com/osate/examples/tree/master/error-model/FHA are working but they use only the error source with a reference to the error state, not the error type.

@juli1

This comment has been minimized.

Show comment
Hide comment
@juli1

juli1 Sep 6, 2013

Contributor

Sounds to be related to the stack mechanism to retrieve properties.
Probably something around EMV2Properties in isErrorModelElementProperty or matchCIStack

Contributor

juli1 commented Sep 6, 2013

Sounds to be related to the stack mechanism to retrieve properties.
Probably something around EMV2Properties in isErrorModelElementProperty or matchCIStack

juli1 added a commit that referenced this issue Sep 8, 2013

@juli1

This comment has been minimized.

Show comment
Hide comment
@juli1

juli1 Sep 8, 2013

Contributor

Should be fixed now.

Contributor

juli1 commented Sep 8, 2013

Should be fixed now.

@juli1 juli1 closed this Sep 8, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment