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

APPLIES TO (System implementation) raises error when used #35

Closed
Ellidiss opened this issue May 19, 2015 · 1 comment
Closed

APPLIES TO (System implementation) raises error when used #35

Ellidiss opened this issue May 19, 2015 · 1 comment
Assignees
Labels

Comments

@Ellidiss
Copy link
Contributor

Lets have the following AADL declarations.

A AADL model.aadl:

PACKAGE client_server_Pkg
PUBLIC
WITH AI;

SYSTEM client_server
END client_server;

SYSTEM IMPLEMENTATION client_server.others
PROPERTIES
AI::root_system => "SELECTED";
END client_server.others;

END client_server_Pkg;

A property set p1.aadl:

PROPERTY SET ai IS

Root_System : AADLSTRING
APPLIES TO (SYSTEM);
END ai;

A property set p2.aadl:

PROPERTY SET ai IS

Root_System : AADLSTRING
APPLIES TO (SYSTEM IMPLEMENTATION);
END ai;

Instantiating model.aadl+p1.aadl in Ocarina works.
Instantiating model.aadl+p2.aadl in Ocarina raises the error: " AI root_system cannot apply to client_server.others".

@yoogx yoogx added the bug label May 19, 2015
@yoogx yoogx self-assigned this May 19, 2015
yoogx added a commit that referenced this issue May 19, 2015
yoogx added a commit that referenced this issue May 19, 2015
@yoogx
Copy link
Contributor

yoogx commented May 19, 2015

Issue solved, test case now in regression test suite

@yoogx yoogx closed this as completed May 19, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant