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.

Sign up for GitHub

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

Jump to bottom

AGREE NestedDotID error #14

Open
randerous opened this issue Apr 16, 2021 · 1 comment
Open

AGREE NestedDotID error #14

randerous opened this issue Apr 16, 2021 · 1 comment

Comments

@randerous
Copy link

It seems that tool's xtext can't know how to access value of A.property.
Has the syntax of agree changed? I can't find anything change info about it.
I update Safety Annex to 0.9, and Ostate is 2.7.0
出错

detail
define
@randerous
Copy link
Author

Update: I try to move AGREE jars file from OSATE integrated with safety in your github release, safety0.8.2, and it works.
But the problem, to more clearly express, that is AGREE's xtext ability of recognizition of AADL's Feature Group.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@randerous