Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Behavior annex plugin throws an error if subprogram call action refers to something else than a subprogram classifier #2200

Closed
Etienne13 opened this issue Feb 12, 2020 · 1 comment · Fixed by #2201
Assignees
Milestone

Comments

@Etienne13
Copy link
Contributor

@Etienne13 Etienne13 commented Feb 12, 2020

Summary

If a BA subclause contains a subprogram call action that refers to something else than a subprogram classifier (e.g. subprogram access or subprogram subcomponent) the plugin throws an error.

Steps to Reproduce

  1. create a package with the following example
  2. the BA plugin throws an error on subrogram access call
package BA_example1
public

data number
end number;

subprogram mul
features
  x : in parameter number;
  y : in parameter number;
  z : out parameter number;
end mul;

subprogram cube
features
  x : in parameter number;
  y : out parameter number;
  mul : requires subprogram access mul;
end cube;
subprogram implementation cube.ba
annex behavior_specification {**
  variables tmp : number;
  states s : initial final state;
  transitions t : s -[]-> s { mul!(x,x,tmp); mul!(tmp,x,y) };
**};
end cube.ba;

end BA_example1;

Environment

  • OSATE Version: 2.7.0
  • Operating System: Linux
@lwrage
Copy link
Contributor

@lwrage lwrage commented Feb 13, 2020

@Etienne13 Please remember to assign an estimate of 1 and a milestone to issues that will be fixed. Otherwise the issue will not show up in the release notes. See https://github.com/osate/osate2/wiki/OSATE-Development-Guidelines#managing-issues

@Etienne13 Etienne13 added this to the 2.7.1 milestone Feb 13, 2020
@lwrage lwrage changed the title Behavior annex: plugin throws an error if subprogram call action refers to something else than a subprogram lassifier Behavior annex plugin throws an error if subprogram call action refers to something else than a subprogram classifier Feb 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants