itemisCREATE / statecharts

YAKINDU Statechart Tools (http://www.statecharts.org)
Eclipse Public License 1.0
176 stars 86 forks source link

Support final states in active() checks #3217

Open terfloth opened 3 years ago

terfloth commented 3 years ago

It is possible to check for active states in guards using the active() function. But the final states are not provided as options. These are simply missing in the list of state identifiers. This is the missing functional aspect, We will add those identifiers so that you can specify:

`[ active( StateA.r1._final_) && active (StateA.r2._final_)]`

This feature is derived from issue #3215.