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 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 4
    • Merge requests 4
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #139
Closed
Open
Issue created Jul 02, 2021 by Ferdie Reijnen@freijnenDeveloper

Remove inherintence of supervisory kind for invariants.

Kindless invariants for synthesis were deprecated on the 11th of October 2015. We should no longer support it.

Synthesizing the following specification:

plant A:
  disc int[0..3] X = 3;
  location:
    initial; marked;
end

requirement R:
  location:
    initial; marked;
    invariant A.X != 2;
end

Gives the following warning.

WARNING: File "issue.cif": Semantic warning at line 10, column 19: Invariant does not specify a supervisory kind and thus implicitly inherits supervisory kind "requirement" from automaton "R". This is deprecated. Please explicitly specify the kind before the "invariant" keyword.
Edited Jul 06, 2021 by Ferdie Reijnen
Assignee
Assign to
Time tracking

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