From f3ca3362ae4c7ef7580db417d696364f7b361510 Mon Sep 17 00:00:00 2001 From: yoogx Date: Sat, 21 Nov 2015 16:15:04 +0100 Subject: [PATCH] * Adjust checks for parsing refinement of connections For issue #55 --- .../aadl/ocarina-fe_aadl-parser-components-connections.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb b/src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb index 3e95420a..6e73a0d5 100644 --- a/src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb +++ b/src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb @@ -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; -- GitLab