scg.c: Fixed missing include for random call c code generation

kieler · Nov 5, 2024 · aef4cd4 · aef4cd4
1 parent df3b732
commit aef4cd4
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.../kieler/sccharts/processors/statebased/codegen/StatebasedCCodeSerializeHRExtensions.xtend b/.../kieler/sccharts/processors/statebased/codegen/StatebasedCCodeSerializeHRExtensions.xtend
@@ -212,10 +212,16 @@ class StatebasedCCodeSerializeHRExtensions extends SCChartsSerializeHRExtensions
     }  
 
     override dispatch CharSequence serialize(RandomCall randomCall) {
+        if (!modifications.containsEntry(INCLUDES, "<stdlib.h>")) {
+            modifications.put(INCLUDES, "<stdlib.h>")
+        }
         return "((float) rand() / RAND_MAX)"
     }
 
     override dispatch CharSequence serializeHR(RandomCall randomCall) {
+        if (!modifications.containsEntry(INCLUDES, "<stdlib.h>")) {
+            modifications.put(INCLUDES, "<stdlib.h>")
+        }
         return "((float) rand() / RAND_MAX)"
     }
 

diff --git a/...kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/c/CCodeSerializeHRExtensions.xtend b/...kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/c/CCodeSerializeHRExtensions.xtend
@@ -325,10 +325,16 @@ class CCodeSerializeHRExtensions extends CodeGeneratorSerializeHRExtensions {
     }  
 
     override dispatch CharSequence serialize(RandomCall randomCall) {
+        if (!modifications.containsEntry(INCLUDES, "<stdlib.h>")) {
+            modifications.put(INCLUDES, "<stdlib.h>")
+        }
         return "((float) rand() / RAND_MAX)"
     }
 
     override dispatch CharSequence serializeHR(RandomCall randomCall) {
+        if (!modifications.containsEntry(INCLUDES, "<stdlib.h>")) {
+            modifications.put(INCLUDES, "<stdlib.h>")
+        }
         return "((float) rand() / RAND_MAX)"
     }