`ogma-core`: State machine checker notifies on current state being valid, not invalid

[ivanperez-keera]

Description

The current diagram to state machine generator notifies with a trigger if the current state machines the expectation, rather than the opposite. As the most common use case of that checker is to detect invalid transitions, rather than valid ones, we want to modify the condition to check if the current state differs the expectation.

Type

• Feature: Produce code in the diagram backend for more common use case.

Additional context

None.

Requester

• Ivan Perez.

Method to check presence of bug

Not applicable (not a bug).

Expected result

When the diagram backend uses the check mode, the condition for the monitor's trigger checks if the states differ, rather than the opposite.

Desired result

When the diagram backend uses the check mode, the condition for the monitor's trigger checks if the states differ, rather than the opposite.

Proposed solution

Modify the diagram backend to use as condition that the current state and the expectation are different.

Further notes

None.

[ivanperez-keera]

Change Manager: Confirmed that the issue exists.

[ivanperez-keera]

Technical Lead: Confirmed that the issue should be addressed.

[ivanperez-keera]

Technical Lead: Issue scheduled for fixing in Ogma 1.11.0.

Fix assigned to: @ivanperez-keera .