Fixed bug when giving integer values to startTime and stopTime.

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

Compiler/Ceval.rml

@@ -2036,13 +2036,15 @@ relation calculate_simulation_settings: (Env.Env,Exp.Exp,
   rule  ceval(env,filenameprefix,true,SOME(st),NONE,msg) 
 	  => (Values.STRING(prefix_str),SOME(st)) &
           ceval(env,starttime,true,SOME(st),NONE,msg) 
-	  => (Values.REAL(starttime_r),SOME(st)) &
+	  => (starttime_v,SOME(st)) &
 	   ceval(env,stoptime,true,SOME(st),NONE,msg) 
-	  => (Values.REAL(stoptime_r),SOME(st)) &
+	  => (stoptime_v,SOME(st)) &
 	   ceval(env,interval,true,SOME(st),NONE,msg) 
 	  => (Values.INTEGER(interval_i),SOME(st)) &
 	   ceval(env,method,true,SOME(st),NONE,msg) 
 	  => (Values.STRING(method_str),SOME(st)) &
+	  Values.value_real(starttime_v) => starttime_r &
+	  Values.value_real(stoptime_v) => stoptime_r &
 	 int_real(interval_i) => interval_r &
 	 Util.string_append_list([prefix_str,"_init.txt"]) => init_filename 
         ---------------------------------

Compiler/Values.rml

@@ -90,6 +90,7 @@ with "Absyn.rml"
   relation unparse_values: (Value list) => string
   relation reverseMatrix: (Value ) => Value
   relation value_neg: (Value) => Value 
+  relation value_real: (Value) => real	  
   relation exp_value: Exp.Exp => Value 
   relation write_ptolemyplot_dataset: (string,Value,string list,string) => int
 end
@@ -412,6 +413,21 @@ relation exp_value: Exp.Exp => Value =
   axiom	exp_value Exp.BCONST(i) => BOOL(i)
 end
 
+(** relation: value_real
+ **
+ ** Return the real value of a Value. If the value is an integer,
+ ** it is cast to a real.
+ **)
+
+relation value_real: (Value) => real =
+
+  axiom	value_real(REAL(r)) => r
+
+  rule	int_real(i) => r
+	---------------------
+	value_real(INTEGER(i)) => r
+end
+
 (** relation: value_neg
  ** author: PA
  **