modes: Changes target property value of clock-sync

from initial to init to prevent clash with new keyword for modes.
lf-lang · Dec 16, 2021 · dfc0547 · dfc0547
1 parent 30825eb
commit dfc0547
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/org.lflang/src/org/lflang/TargetConfig.java b/org.lflang/src/org/lflang/TargetConfig.java
@@ -60,7 +60,7 @@ public class TargetConfig {
      * The mode of clock synchronization to be used in federated programs.
      * The default is 'initial'.
      */
-    public ClockSyncMode clockSync = ClockSyncMode.INITIAL;
+    public ClockSyncMode clockSync = ClockSyncMode.INIT;
 
     /**
      * Clock sync options.

diff --git a/org.lflang/src/org/lflang/TargetProperty.java b/org.lflang/src/org/lflang/TargetProperty.java
@@ -752,7 +752,7 @@ public enum UnionType implements TargetPropertyType {
                 CoordinationType.CENTRALIZED),
         LOGGING_UNION(Arrays.asList(LogLevel.values()), LogLevel.INFO),
         CLOCK_SYNC_UNION(Arrays.asList(ClockSyncMode.values()),
-                ClockSyncMode.INITIAL),
+                ClockSyncMode.INIT),
         DOCKER_UNION(Arrays.asList(PrimitiveType.BOOLEAN, DictionaryType.DOCKER_DICT),
                 null),
         TRACING_UNION(Arrays.asList(PrimitiveType.BOOLEAN, DictionaryType.TRACING_DICT),
@@ -985,8 +985,8 @@ public String toString() {
      * @author{Edward A. Lee <eal@berkeley.edu>}
      */
     public enum ClockSyncMode {
-        OFF, INITIAL, ON;
-
+        OFF, INIT, ON; // TODO Discuss initial in now a mode keyword (same as startup) and cannot be used as target property value, thus changed it to init
+        // FIXME I could not test if this change breaks anything
 
         /**
          * Return the name in lower case.