From 4232958c1d1f98f9b68fb1510ed05b3b10e04697 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 24 Feb 2023 15:11:10 +0100
Subject: [PATCH] Replace use of deprecated getNextTransitions overload
---
src/main/java/de/prob2/jupyter/commands/BrowseCommand.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java b/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java
index 36d89b6..3cfea0f 100644
--- a/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java
@@ -75,7 +75,8 @@ public final class BrowseCommand implements Command {
sb.append("\nVariables: ");
sb.append(listToString(lm.getVariableNames()));
sb.append("\nOperations: ");
- final List<Transition> sortedTransitions = new ArrayList<>(trace.getNextTransitions(true, FormulaExpand.TRUNCATE));
+ final List<Transition> sortedTransitions = new ArrayList<>(trace.getNextTransitions());
+ trace.getStateSpace().evaluateTransitions(sortedTransitions, FormulaExpand.EXPAND);
// Sort transitions by ID to get a consistent ordering.
// Transition IDs are strings, but they almost always contain numbers.
sortedTransitions.sort(Comparator.comparing(Transition::getId, new AlphanumericComparator()));
--
GitLab