Support for Arduino platforms

org.lflang/src/org/lflang/TargetConfig.java

@@ -260,6 +260,10 @@ public class TargetConfig {
      */
     public boolean exportToYaml = false;
 
+    public boolean microSecondGranularity = false;
+
+    public short timerSize = 64;
+
 
     /** Rust-specific configuration. */
     public final RustTargetConfig rust = new RustTargetConfig();

org.lflang/src/org/lflang/TargetProperty.java

@@ -1322,6 +1322,7 @@ public String toString() {
      */
     public enum Platform {
         AUTO,
+        ARDUINO("Arduino"),
         LINUX("Linux"),
         MAC("Darwin"),
         WINDOWS("Windows");

org.lflang/src/org/lflang/generator/c/CCompiler.java

@@ -26,6 +26,7 @@
 package org.lflang.generator.c;
 
 import java.io.IOException;
+import java.lang.annotation.Target;
 import java.nio.file.Path;
 import java.nio.file.Paths;
 import java.util.ArrayList;
@@ -38,6 +39,7 @@
 import org.lflang.generator.LFGeneratorContext;
 import org.lflang.util.FileUtil;
 import org.lflang.util.LFCommand;
+import org.lflang.TargetProperty.Platform;;
 
 /**
  * Responsible for creating and executing the necessary native command to compile code that is generated
@@ -160,7 +162,7 @@ public LFCommand compileCCommand(
             boolean noBinary
     ) {
 
-        String cFilename = getTargetFileName(fileToCompile, CppMode);
+        String cFilename = getTargetFileName(fileToCompile, CppMode, targetConfig);
 
         Path relativeSrcPath = fileConfig.getOutPath().relativize(
             fileConfig.getSrcGenPath().resolve(Paths.get(cFilename)));
@@ -233,8 +235,11 @@ public LFCommand compileCCommand(
      * In C++ mode, the compiler produces .cpp files instead
      * of .c files and uses a C++ compiler to compiler the code.
      */
-    static String getTargetFileName(String fileName, boolean CppMode) {
-        if (CppMode) {
+    static String getTargetFileName(String fileName, boolean CppMode, TargetConfig targetConfig) {
+        if(targetConfig.platform == Platform.ARDUINO) {
+            return fileName + ".ino";
+        }
+        else if (CppMode) {
             // If the C++ mode is enabled, use a .cpp extension
             return fileName + ".cpp";
         }

org.lflang/src/org/lflang/generator/c/CCoreFilesUtils.java

@@ -39,6 +39,13 @@ public static List<String> getCTargetSrc() {
         );
     }
 
+    public static List<String> getArduinoTargetHeaders() {
+        return List.of(
+            "Arduino.h",
+            "core/platform/lf_arduino_support.c"
+        );
+    }
+
     public static List<String> getCTargetHeader() {
         return List.of(
             "include/ctarget/ctarget.h"
@@ -93,6 +100,8 @@ private static List<String> getPlatformFiles() {
             "platform/lf_macos_support.h",
             "platform/lf_windows_support.c",
             "platform/lf_windows_support.h",
+            "platform/lf_arduino_support.c",
+            "platform/lf_arduino_support.h",
             "platform/lf_linux_support.c",
             "platform/lf_linux_support.h"
         );

org.lflang/src/org/lflang/generator/c/CGenerator.java

@@ -545,7 +545,7 @@ public void doGenerate(Resource resource, LFGeneratorContext context) {
             generateCodeForCurrentFederate(lfModuleName);
 
             // Derive target filename from the .lf filename.
-            var cFilename = CCompiler.getTargetFileName(lfModuleName, this.CCppMode);
+            var cFilename = CCompiler.getTargetFileName(lfModuleName, this.CCppMode, this.targetConfig);
             var targetFile = fileConfig.getSrcGenPath() + File.separator + cFilename;
             try {
                 if (isFederated) {
@@ -1085,7 +1085,14 @@ private void pickCompilePlatform() {
         if (targetConfig.platform != Platform.AUTO) {
             osName = targetConfig.platform.toString();
         }
-        if (osName.contains("mac") || osName.contains("darwin")) {
+
+        if (osName.contains("arduino")) {
+            if (mainDef != null) {
+                targetConfig.compileAdditionalSources.add(
+                     "core" + File.separator + "platform" + File.separator + "lf_arduino_support.c"
+                );
+            }
+        } else if (osName.contains("mac") || osName.contains("darwin")) {
             if (mainDef != null && !targetConfig.useCmake) {
                 targetConfig.compileAdditionalSources.add(
                      "core" + File.separator + "platform" + File.separator + "lf_macos_support.c"

org.lflang/src/org/lflang/generator/c/CMainGenerator.java

@@ -5,6 +5,7 @@
 import org.lflang.TargetConfig;
 import org.lflang.generator.CodeBuilder;
 import org.lflang.util.StringUtil;
+import org.lflang.TargetProperty.Platform;
 
 public class CMainGenerator {
     private TargetConfig targetConfig;
@@ -36,6 +37,16 @@ public String generateCode() {
      * Generate the `main` function.
      */
     private String generateMainFunction() {
+        if (targetConfig.platform == Platform.ARDUINO) {
+            return String.join("\n",
+            "// Arduino setup() and loop() functions",
+            "void setup() {",
+                "Serial.begin(9600); //TODO: Add configuration for Baud Rate", 
+                "lf_reactor_c_main(0, NULL);",
+            "}",
+            "void loop() {}"
+            );
+        }
         return String.join("\n",
             "int main(int argc, char* argv[]) {",
             "    return lf_reactor_c_main(argc, argv);",

org.lflang/src/org/lflang/generator/c/CPreambleGenerator.java

@@ -6,6 +6,7 @@
 
 import org.lflang.TargetConfig;
 import org.lflang.TargetConfig.ClockSyncOptions;
+import org.lflang.TargetProperty.Platform;
 import org.lflang.TargetProperty.ClockSyncMode;
 import org.lflang.TargetProperty.CoordinationType;
 import org.lflang.generator.CodeBuilder;
@@ -36,6 +37,11 @@ public static String generateIncludeStatements(
     ) {
         var tracing = targetConfig.tracing;
         CodeBuilder code = new CodeBuilder();
+        if(targetConfig.platform == Platform.ARDUINO) {
+            CCoreFilesUtils.getArduinoTargetHeaders().forEach(
+                it -> code.pr("#include " + StringUtil.addDoubleQuotes(it))
+            );
+        }
         CCoreFilesUtils.getCTargetHeader().forEach(
             it -> code.pr("#include " + StringUtil.addDoubleQuotes(it))
         );
@@ -70,6 +76,12 @@ public static String generateDefineDirectives(
         CodeBuilder code = new CodeBuilder();
         code.pr("#define LOG_LEVEL " + logLevel);
         code.pr("#define TARGET_FILES_DIRECTORY " + addDoubleQuotes(srcGenPath.toString()));
+
+        //TODO: Define Global Support for 32-bit and Microsecond Granularity on Reactor-C
+        if(targetConfig.platform == Platform.ARDUINO) {
+            code.pr("#define GRAN_MICRO");
+            code.pr("#define BIT_32");
+        }
         if (isFederated) {
             code.pr("#define NUMBER_OF_FEDERATES " + numFederates);
             code.pr(generateFederatedDefineDirective(coordinationType));
@@ -90,6 +102,7 @@ public static String generateDefineDirectives(
                 targetConfig.clockSyncOptions
             ));
         }
+        code.newLine();
         return code.toString();
     }
 

test/C/src/arduino/Blink.lf

@@ -0,0 +1,42 @@
+/** This example demonstrates a very simple use of protocol buffers
+ *  within a reactor. It encodes and decodes a very simple protocol
+ *  buffer definition in Person.proto. This reactor is heavily
+ *  based on the examples at https://github.com/protobuf-c/protobuf-c/wiki/Examples.
+ *  This example just packs and unpacks a message.
+ *
+ *  To run this example first install the protocol buffers compiler
+ *  from https://github.com/protocolbuffers/protobuf. It is also
+ *  available from homebrew on a Mac via
+ *
+ *       $ brew install protobuf
+ *
+ *  Building protobuf from source is slow, so avoid doing that
+ *  if possible. Next install the C plugin for protocol buffers from
+ *
+ *      https://github.com/protobuf-c/protobuf-c
+ *
+ *  The code generator assumes
+ *  that executables are installed within the PATH. On a Mac, this is
+ *  typically at /usr/local/bin.
+ */
+
+ target C { platform: "Arduino", no-compile: true, threading: false };
+
+ main reactor Blink {
+    timer t1(0, 1 sec);
+    timer t2(500 msec, 1 sec);
+     reaction(startup) {=
+         pinMode(LED_BUILTIN, OUTPUT);                   // Free the allocated serialized buffer
+     =}
+
+     reaction (t1) {=
+        digitalWrite(LED_BUILTIN, HIGH);
+        Serial.print("high");
+     =}
+
+     reaction (t2) {=
+        digitalWrite(LED_BUILTIN, LOW);
+        Serial.print("low");
+     =}
+ }
+