- Added check that the first argument to reinit is a subtype of Real.

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@11834 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

Author: perost

Compiler/FrontEnd/InstSection.mo

@@ -739,6 +739,7 @@ algorithm
     case (cache,env,ih,mod,pre,csets,ci_state,SCode.EQ_REINIT(cref = cr,expReinit = e2,info = info),initial_,impl,graph)
       equation 
         (cache,SOME((e1_1 as DAE.CREF(cr_1,t),tprop1,_))) = Static.elabCref(cache,env, cr, impl,false,pre,info) "reinit statement" ;
+        checkReinitType(t, cr_1, info);
         (cache, e1_1, tprop1) = Ceval.cevalIfConstant(cache, env, e1_1, tprop1, impl, info);
         (cache,e2_1,tprop2,_) = Static.elabExp(cache,env, e2, impl,NONE(),true,pre,info);
         (cache, e2_1, tprop2) = Ceval.cevalIfConstant(cache, env, e2_1, tprop2, impl, info);
@@ -852,6 +853,37 @@ algorithm
   end matchcontinue;
 end instEquationCommonWork;
 
+protected function checkReinitType
+  "Checks that the base type of the given type is Real, otherwise it prints an
+   error message that the first argument to reinit must be a subtype of Real."
+  input DAE.Type inType;
+  input DAE.ComponentRef inCref;
+  input Absyn.Info inInfo;
+algorithm
+  _ := matchcontinue(inType, inCref, inInfo)
+    local
+      DAE.Type ty;
+      String cref_str;
+
+    case (_, _, _)
+      equation
+        ty = Types.arrayElementType(inType);
+        true = Types.isReal(ty);
+      then
+        ();
+
+    else
+      equation
+        cref_str = ComponentReference.printComponentRefStr(inCref);
+        Error.addSourceMessage(Error.REINIT_MUST_BE_REAL,
+          {cref_str}, inInfo);
+      then
+        fail();
+
+  end matchcontinue;
+end checkReinitType;
+
+
 /*protected function checkTupleCallEquation "Check if the two expressions make up a proper tuple function call.
 Returns the error on failure."
   input Absyn.Exp left;

Compiler/Util/Error.mo

@@ -591,6 +591,8 @@ public constant Message FINAL_COMPONENT_OVERRIDE = MESSAGE(222, TRANSLATION(), E
   "Trying to override final component %s with modifier %s\n");
 public constant Message NOTIFY_NOT_LOADED = MESSAGE(223, SCRIPTING(), NOTIFICATION(),
   "Automatically loaded package %s %s due to uses annotation.");
+public constant Message REINIT_MUST_BE_REAL = MESSAGE(224, TRANSLATION(), ERROR(),
+  "The first argument to reinit must be a subtype of Real in reinit of %s.");
 
 public constant Message UNBOUND_PARAMETER_WARNING = MESSAGE(500, TRANSLATION(), WARNING(),
   "Parameter %s has neither value nor start value, and is fixed during initialization (fixed=true)");