Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
6d3cb3a2
Commit
6d3cb3a2
authored
Dec 14, 2015
by
yoogx
Browse files
* File test for issue #56
parent
f7d55312
Changes
6
Hide whitespace changes
Inline
Side-by-side
tests/MANIFEST
View file @
6d3cb3a2
...
...
@@ -292,5 +292,6 @@ tests/github/issue_47/test.aadl
tests/github/issue_50/test.aadl
tests/github/issue_50/test2.aadl
tests/github/issue_55/test.aadl
tests/github/issue_56/test.aadl
tests/github/issue_56/testFeatureGroup.aadl
tests/root_system/test.aadl
tests/github/issue_56/MANIFEST
0 → 100644
View file @
6d3cb3a2
AADL_VERSION=-aadlv2
OCARINA_FLAGS=-disable-annexes=all
tests/github/issue_56/test.aadl
0 → 100644
View file @
6d3cb3a2
package
Test
public
subprogram
foo
end
foo
;
FEATURE
GROUP
G1
FEATURES
RI
:
REQUIRES
SUBPROGRAM
ACCESS
foo
;
PI
:
PROVIDES
SUBPROGRAM
ACCESS
foo
;
END
G1
;
end
Test
;
tests/github/issue_56/test.aadl.out
0 → 100644
View file @
6d3cb3a2
tests/github/issue_56/testFeatureGroup.aadl
0 → 100644
View file @
6d3cb3a2
PACKAGE testfeaturegroup
PUBLIC
SYSTEM top
END top;
SYSTEM IMPLEMENTATION top.i
SUBCOMPONENTS
s1 : SYSTEM s1;
s2 : SYSTEM s2;
CONNECTIONS
c1 : FEATURE GROUP s1.fg <-> s2.fg;
END top.i;
FEATURE GROUP sg1
FEATURES
f1 : PROVIDES SUBPROGRAM ACCESS spg;
f2 : REQUIRES SUBPROGRAM ACCESS spg;
END sg1;
SYSTEM s1
FEATURES
fg : FEATURE GROUP sg1;
END s1;
FEATURE GROUP sg2
FEATURES
f1 : REQUIRES SUBPROGRAM ACCESS spg;
f2 : PROVIDES SUBPROGRAM ACCESS spg;
END sg2;
SYSTEM s2
FEATURES
fg : FEATURE GROUP sg2;
END s2;
SUBPROGRAM spg
END spg;
END testfeaturegroup;
tests/github/issue_56/testFeatureGroup.aadl.out
0 → 100644
View file @
6d3cb3a2
testFeatureGroup.aadl:12:03: s1.fg (entity reference) and s2.fg (entity reference) do not have compatible types
Cannot analyze AADL specifications
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment