Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
f3ca3362
Commit
f3ca3362
authored
Nov 21, 2015
by
yoogx
Browse files
* Adjust checks for parsing refinement of connections
For issue #55
parent
8ae73dbe
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb
View file @
f3ca3362
...
...
@@ -530,7 +530,9 @@ package body Ocarina.FE_AADL.Parser.Components.Connections is
-- Property_Associations are not defined,
-- In_Modes_And_Transitions must exist if Is_Refinement = TRUE
if
Is_Refinement
and
then
Token
/=
T_In
then
if
Aadl_Version
=
AADL_V1
and
then
Is_Refinement
and
then
Token
/=
T_In
then
DPE
(
Code
,
(
T_In
,
T_Left_Curly_Bracket
));
Skip_Tokens
(
T_Semicolon
);
return
No_Node
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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