From c7f529c60c946421fb5f6540c4633a8370560c9e Mon Sep 17 00:00:00 2001 From: SebastianEbert <sebastian.ebert@tu-dresden.de> Date: Mon, 10 Jul 2023 14:25:59 +0200 Subject: [PATCH] simplification of callbacks --- .../inf/st/pnml/engine/example/SensoricsNode.java | 7 ------- .../de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java | 7 +++++++ 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java b/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java index a97e3c5..84234ea 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java +++ b/src/main/java/de/tudresden/inf/st/pnml/engine/example/SensoricsNode.java @@ -16,13 +16,6 @@ public class SensoricsNode extends DiNeRosNode { @Override protected void nodeLoop() {} - @NotNull - private TransitionSelectionResult fireRandomEnabledTransition(List<Transition> enabledTransitions) { - FiringSelectionSuccess fsc = new FiringSelectionSuccess(); - fsc.setTransition(enabledTransitions.get(new Random().nextInt(enabledTransitions.size()))); - return fsc; - } - @Override protected TransitionSelectionResult onChange(List<Transition> enabledTransitions) { return enabledTransitions.size() == 0 ? diff --git a/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java b/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java index 9dc60a9..f9fe15d 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java +++ b/src/main/java/de/tudresden/inf/st/pnml/engine/ros/DiNeRosNode.java @@ -379,6 +379,13 @@ public abstract class DiNeRosNode extends AbstractNodeMain { return null; } + @NotNull + protected TransitionSelectionResult fireRandomEnabledTransition(List<Transition> enabledTransitions) { + FiringSelectionSuccess fsc = new FiringSelectionSuccess(); + fsc.setTransition(enabledTransitions.get(new Random().nextInt(enabledTransitions.size()))); + return fsc; + } + public boolean isServerInstancePlace(Place place) { return responsePlaceToInstance.containsKey(place); } -- GitLab