From fac13d49baf22a2fa6183bd865bb1728549a4816 Mon Sep 17 00:00:00 2001 From: ChadliaJerad Date: Fri, 10 Mar 2023 16:32:52 -0800 Subject: [PATCH] Fix tracing options so that they appear in targetConfig --- .../src/org/lflang/federated/generator/FedGenerator.java | 1 + .../src/org/lflang/federated/launcher/FedLauncherFactory.java | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/org.lflang/src/org/lflang/federated/generator/FedGenerator.java b/org.lflang/src/org/lflang/federated/generator/FedGenerator.java index a96c1d17a2..df84bc343c 100644 --- a/org.lflang/src/org/lflang/federated/generator/FedGenerator.java +++ b/org.lflang/src/org/lflang/federated/generator/FedGenerator.java @@ -244,6 +244,7 @@ public void createLauncher( } else { launcher = FedLauncherFactory.getLauncher( federates.get(0), // FIXME: This would not work for mixed-target programs. + targetConfig, fileConfig, errorReporter ); diff --git a/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java b/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java index c92cea1807..641ca7c71d 100644 --- a/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java +++ b/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java @@ -15,10 +15,11 @@ public class FedLauncherFactory { public static FedLauncher getLauncher ( FederateInstance federate, + TargetConfig targetConfig, FedFileConfig fileConfig, ErrorReporter errorReporter ) { - return getLauncher(Target.fromDecl(federate.target), federate.targetConfig, fileConfig, errorReporter); + return getLauncher(Target.fromDecl(federate.target), targetConfig, fileConfig, errorReporter); } /**