fix issue related to Conditions in SF TruthTable containing back to line

NASA-SW-VnV · Sep 17, 2020 · 35e9bf3 · 35e9bf3
1 parent 28991b9
commit 35e9bf3
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/...oLustre/+blocks/+Stateflow/@StateflowTruthTable_To_Lustre/StateflowTruthTable_To_Lustre.m b/...oLustre/+blocks/+Stateflow/@StateflowTruthTable_To_Lustre/StateflowTruthTable_To_Lustre.m
@@ -84,10 +84,14 @@
                 cond = {};
                 for j = 1 : numel(table.Decisions{i}.Conditions)
                     c = table.Decisions{i}.Conditions{j};
+                    % TODO: fix Java parser to support conditions with
+                    % '\n'. Conditions such as "~(\n..." is not supported.
+                    % Current fix: removing '\n' from conditions.
+                    c_Conditions = regexprep(c.Condition, '\n', '');
                     if strcmp(c.ConditionValue, 'T')
-                        cond{end+1} = sprintf('(%s)', c.Condition);
+                        cond{end+1} = sprintf('(%s)', c_Conditions);
                     elseif strcmp(c.ConditionValue, 'F')
-                        cond{end+1} = sprintf('~(%s)', c.Condition);
+                        cond{end+1} = sprintf('~(%s)', c_Conditions);
                     end
                 end
                 cond_str = coco_nasa_utils.MatlabUtils.strjoin(cond, ' && ');