Skip to content
GitLab
    • GitLab: the DevOps platform
    • Explore GitLab
    • Install GitLab
    • How GitLab compares
    • Get started
    • GitLab docs
    • GitLab Learn
  • Pricing
  • Talk to an expert
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
    • Switch to GitLab Next
    Projects Groups Topics Snippets
  • Register
  • Sign in
  • D dezyne-issues
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Issues 28
    • Issues 28
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
  • Deployments
    • Deployments
    • Environments
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Create a new issue
  • Jobs
  • Issue Boards
Collapse sidebar
  • dezyne
  • dezyne-issues
  • Issues
  • #61
Closed
Open
Issue created Nov 02, 2021 by Michael van de Ven@MikeFTR

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:..

image

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.

Assignee
Assign to
Time tracking