From d91bb6dc02f35b2ab1554438a07c85c1ff82b0ad Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 28 Oct 2023 18:57:39 +0200 Subject: [PATCH] Address idea warnings --- .../org/syndicate_lang/actors/example/example2/Main.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/test/java/org/syndicate_lang/actors/example/example2/Main.java b/src/test/java/org/syndicate_lang/actors/example/example2/Main.java index 8a326fc..d7fa77f 100644 --- a/src/test/java/org/syndicate_lang/actors/example/example2/Main.java +++ b/src/test/java/org/syndicate_lang/actors/example/example2/Main.java @@ -13,9 +13,7 @@ import static java.lang.Integer.parseInt; public class Main extends Entity { public static void main(String[] args) throws InterruptedException { Actor.convenientLogging(); - new Actor().daemonize().scheduleTurn(t -> { - new Main(parseInt(args[0]), parseInt(args[1])).boot(t); - }); + new Actor().daemonize().scheduleTurn(t -> new Main(parseInt(args[0]), parseInt(args[1])).boot(t)); Actor.awaitAll(); } @@ -54,7 +52,7 @@ public class Main extends Entity { @Override public void message_(Turn turn, Object body) { - if (body instanceof IForwarder.HandleMessage op) { + if (body instanceof IForwarder.HandleMessage) { this._remainingToReceive--; if (this._remainingToReceive == 0) { double delta = (System.currentTimeMillis() - this._startTime) / 1000.0;