Address idea warnings

This commit is contained in:
Tony Garnock-Jones 2023-10-28 18:57:39 +02:00
parent 9e971de6b0
commit d91bb6dc02
1 changed files with 2 additions and 4 deletions

View File

@ -13,9 +13,7 @@ import static java.lang.Integer.parseInt;
public class Main extends Entity { public class Main extends Entity {
public static void main(String[] args) throws InterruptedException { public static void main(String[] args) throws InterruptedException {
Actor.convenientLogging(); Actor.convenientLogging();
new Actor().daemonize().scheduleTurn(t -> { new Actor().daemonize().scheduleTurn(t -> new Main(parseInt(args[0]), parseInt(args[1])).boot(t));
new Main(parseInt(args[0]), parseInt(args[1])).boot(t);
});
Actor.awaitAll(); Actor.awaitAll();
} }
@ -54,7 +52,7 @@ public class Main extends Entity {
@Override @Override
public void message_(Turn turn, Object body) { public void message_(Turn turn, Object body) {
if (body instanceof IForwarder.HandleMessage op) { if (body instanceof IForwarder.HandleMessage) {
this._remainingToReceive--; this._remainingToReceive--;
if (this._remainingToReceive == 0) { if (this._remainingToReceive == 0) {
double delta = (System.currentTimeMillis() - this._startTime) / 1000.0; double delta = (System.currentTimeMillis() - this._startTime) / 1000.0;