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

Stack overflow in validator for cyclic constants #2282

Closed
joeseibel opened this issue Apr 10, 2020 · 0 comments · Fixed by #2360
Closed

Stack overflow in validator for cyclic constants #2282

joeseibel opened this issue Apr 10, 2020 · 0 comments · Fixed by #2360

Comments

@joeseibel
Copy link
Contributor

joeseibel commented Apr 10, 2020

The following model throws a StackOverflowError in PropertiesJavaValidator:

property set cycle is
  a: constant aadlinteger => cycle::b;
  b: constant aadlinteger => cycle::c;
  c: constant aadlinteger => cycle::a;
end cycle;

Stack trace segment:

at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:944)
at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:805)
at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:944)
at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:805)
at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:944)
at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:805)
at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:944)
at org.osate.xtext.aadl2.properties.validation.PropertiesJavaValidator.typeCheckPropertyValues(PropertiesJavaValidator.java:805)

Could this be related to #2222?

@lwrage lwrage added this to the 2.8.0 milestone Apr 11, 2020
joeseibel added a commit that referenced this issue Jun 9, 2020
@lwrage lwrage added the core label Jun 28, 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