A target property for handling downstream next event tag (DNET) signal

.github/workflows/ts-tests.yml

@@ -38,8 +38,7 @@ jobs:
         if: ${{ runner.os == 'macOS' || runner.os == 'Linux' }}
       - name: Perform TypeScript tests
         run: |
-          ./gradlew targetTest -Ptarget=TypeScript
-        # -Druntime="git://github.com/lf-lang/reactor-ts.git#master"
+          ./gradlew targetTest -Ptarget=TypeScript -Druntime="git://github.com/lf-lang/reactor-ts.git#master"
       - name: Report to CodeCov
         uses: ./.github/actions/report-code-coverage
         with:

core/src/main/java/org/lflang/federated/launcher/FedLauncherGenerator.java

@@ -40,6 +40,7 @@
 import org.lflang.target.property.AuthProperty;
 import org.lflang.target.property.ClockSyncModeProperty;
 import org.lflang.target.property.ClockSyncOptionsProperty;
+import org.lflang.target.property.DNETProperty;
 import org.lflang.target.property.TracingProperty;
 import org.lflang.target.property.type.ClockSyncModeType.ClockSyncMode;
 
@@ -323,6 +324,9 @@ private String getRtiCommand(List<FederateInstance> federates, boolean isRemote)
     if (targetConfig.getOrDefault(TracingProperty.INSTANCE).isEnabled()) {
       commands.add("                        -t \\");
     }
+    if (!targetConfig.getOrDefault(DNETProperty.INSTANCE)) {
+      commands.add("                        -d \\");
+    }
     commands.addAll(
         List.of(
             "                        -n " + federates.size() + " \\",

core/src/main/java/org/lflang/target/Target.java

@@ -560,6 +560,7 @@ public void initialize(TargetConfig config) {
               CompilerProperty.INSTANCE,
               CoordinationOptionsProperty.INSTANCE,
               CoordinationProperty.INSTANCE,
+              DNETProperty.INSTANCE,
               DockerProperty.INSTANCE,
               FilesProperty.INSTANCE,
               KeepaliveProperty.INSTANCE,

core/src/main/java/org/lflang/target/property/DNETProperty.java

@@ -0,0 +1,27 @@
+package org.lflang.target.property;
+
+/**
+ * @brief Target property turning on or off the DNET signal optimization.
+ *     <p>If this target property is true, the RTI sends DNET (downstream next event tag) signals to
+ *     an upstream federate to tell the federate that sending LTC and NET signals with tags less
+ *     than the specified value is unnecessary. The default is true.
+ */
+public final class DNETProperty extends BooleanProperty {
+
+  /** Singleton target property instance. */
+  public static final DNETProperty INSTANCE = new DNETProperty();
+
+  private DNETProperty() {
+    super();
+  }
+
+  @Override
+  public Boolean initialValue() {
+    return true;
+  }
+
+  @Override
+  public String name() {
+    return "DNET";
+  }
+}