search

loonwerks / AMASE

This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
BSD 3-Clause "New" or "Revised" License
6 stars 4 forks source link

AGREE NestedDotID error #14

Open randerous opened 3 years ago

randerous commented 3 years ago

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 commented 3 years ago

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.