Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare revisions
    • Locked files
  • Issues 99
    • Issues 99
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 6
    • Merge requests 6
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
    • Test cases
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Model experiments
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #300

CIF may produce false warning for globally disabled event that is monitored

While working on #298 (closed) I noticed the following. Consider the following specification:

group def D():
    event a;
end

automaton def A(D x):
    alphabet x.a;
    monitor x.a;
    location l1:
        initial;
end

X: D();
Y: D();
B: A(X);

It has the following warning:

The alphabet of automaton "A" globally disables event "D.a", as the event is not used on any of the edges of the automaton.

Which is incorrect. The warning should be:

Automaton "A" monitors event "D.a", but the event is not used on any of the edges of the automaton.

The problem is in AutScope, line 398. There we check whether eventRef is contained within monitorSet. However, eventRef is unwrapped whereas the events within monitorSet are wrapped.

Edited Feb 01, 2022 by Ferdie Reijnen
Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent