#24 Doesn't detect state machine error

[Simon Wright]

ColdFrame doesn't detect the error of having transitions (particularly completion transitions) from a state with a <<final>> action (ie, where the instance has been deleted).

[Simon Wright]

Logged In: YES
user_id=917025

ColdFrame #0342

[Simon Wright]

Logged In: YES
user_id=917025

The trouble seems to be that the error-detection code
doesn;t handle inherited operations.

[Simon Wright]

Logged In: YES
user_id=917025
Originator: YES

Actually, it doesn't detect triggered transitions (completion transitions seem just fine).

[Simon Wright]

Logged In: YES
user_id=917025
Originator: YES

Included checks for inherited operations; but still not fixed.
Of course, it's not that something ghastly will happen, rather that the designer can't have meant this to happen!

[Simon Wright]

Fixed in r 661028a21547; Release 20140422 doesn’t detect any problematic transitions, this (later) revision detects completion transitions but not triggered ones.