checkModel support for state machines

Related to the discussion in ticket:4570 Belonging to [master]: - OpenModelica/OMCompiler#1916
OpenModelica · Oct 17, 2017 · 98136a9 · 98136a9
1 parent 6c085bb
commit 98136a9
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Compiler/FrontEnd/CheckModel.mo b/Compiler/FrontEnd/CheckModel.mo
@@ -274,6 +274,14 @@ algorithm
     case DAE.CONSTRAINT()
       then inArg;
 
+    // flat state machine section
+    case DAE.FLAT_SM(dAElist = daeElts)
+      then List.fold(daeElts, countVarEqnSize, inArg);
+
+    // a state/mode component in a state machine
+    case DAE.SM_COMP(dAElist = daeElts)
+      then List.fold(daeElts, countVarEqnSize, inArg);
+
     else
       equation
         // show only on failtrace!