How to make a final composite state ?

Question

How to make a final composite state ?

fungiboletus opened this issue 5 years ago · comments

composite state Lapin init Idle {
  final state Idle {}
}

It compiles with the following warning : State Lapin is a sink state. Consider making it final or use @ignore "sink".

If I click on Make State Final it then changes it to composite state final Lapin init Idle which does not compile anymore.

ThingML version : not updated for months, perhaps it has been fixed recently.

Franck Fleurey · Answer 1 · Wed Apr 03 2019 21:05:57 GMT+0800 (China Standard Time)

I think this it is the warning / suggested fix that is misleading. Composite states cannot be final. Brice what do you think?

Brice Morin · Answer 2 · Wed Apr 03 2019 21:37:43 GMT+0800 (China Standard Time)

Well, the best would be to check the UML specs, but I also feel it is strange to have final composite states, since quite a lot can still happen with the composite state, even if there is no way to go out of it. I'll check if UML has an opinion on this, and fix this rule to only apply on atomic state (if they agree with us, or if they do not dare having an opinion)

Brice Morin · Answer 3 · Wed Apr 03 2019 22:05:04 GMT+0800 (China Standard Time)

Well, anyway, there is no way we can make composite state final given the current metamodel. So I will update this validation rule so that we are not suggesting impossible things :-)