Sharpen the component refusal errors
When a component can not fulfill the interface inevitable
promise to come up with an out event; sharpen the (list of) component refusal
errors to only the one that is in focus.
In the next screenshot, the api.DisabledByServiceModeExit
is the grand suspect. I changed my interface to on inevitable: DisabledByServiceModeExit;
, but before this autonomous event was on optional:..
It seems my component can not guarantee the inevitability. So the solution was to revert the on inevitable:
back to on optional:
.
However the Dezyne verifier came with the complete list of all 'on optionals' and 'on inevitables' out events. This difficults the user to diagnose the verification situation.
Please sharpen it to showing only the 'component refusal: api.DisabledByServiceModeExit` in this case.