diff --git a/notebooks/tests/show.ipynb b/notebooks/tests/show.ipynb index 05235756f641a544d6d621c1f71404a3ae9fcb75..062485cc6fafeabdcd050a640c28ab48856b6068 100644 --- a/notebooks/tests/show.ipynb +++ b/notebooks/tests/show.ipynb @@ -55,26 +55,12 @@ "metadata": {}, "outputs": [ { - "data": { - "text/markdown": [ - "<table><tbody>\n", - "<tr>\n", - "<td style=\"padding:0\"></td>\n", - "<td style=\"padding:0\"></td>\n", - "</tr>\n", - "<tr>\n", - "<td style=\"padding:0\"></td>\n", - "<td style=\"padding:0\"></td>\n", - "</tr>\n", - "</tbody></table>" - ], - "text/plain": [ - "<Animation function visualisation>" - ] - }, - "execution_count": 3, - "metadata": {}, - "output_type": "execute_result" + "ename": "CommandExecutionException", + "evalue": ":show: Machine is not initialised, cannot show animation function visualisation", + "output_type": "error", + "traceback": [ + "\u001b[1m\u001b[31m:show: Machine is not initialised, cannot show animation function visualisation\u001b[0m" + ] } ], "source": [ @@ -107,26 +93,12 @@ "metadata": {}, "outputs": [ { - "data": { - "text/markdown": [ - "<table><tbody>\n", - "<tr>\n", - "<td style=\"padding:0\"></td>\n", - "<td style=\"padding:0\"></td>\n", - "</tr>\n", - "<tr>\n", - "<td style=\"padding:0\"></td>\n", - "<td style=\"padding:0\"></td>\n", - "</tr>\n", - "</tbody></table>" - ], - "text/plain": [ - "<Animation function visualisation>" - ] - }, - "execution_count": 5, - "metadata": {}, - "output_type": "execute_result" + "ename": "CommandExecutionException", + "evalue": ":show: Machine is not initialised, cannot show animation function visualisation", + "output_type": "error", + "traceback": [ + "\u001b[1m\u001b[31m:show: Machine is not initialised, cannot show animation function visualisation\u001b[0m" + ] } ], "source": [ diff --git a/src/main/java/de/prob2/jupyter/commands/ShowCommand.java b/src/main/java/de/prob2/jupyter/commands/ShowCommand.java index 1b7fa9264ce6391d2963ea4b5f473d74f6926a8e..9b84ad152b96d0970ae0ee8e5e0626cb789df0ae 100644 --- a/src/main/java/de/prob2/jupyter/commands/ShowCommand.java +++ b/src/main/java/de/prob2/jupyter/commands/ShowCommand.java @@ -44,6 +44,10 @@ public final class ShowCommand implements Command { final Trace trace = this.animationSelector.getCurrentTrace(); + if (!trace.getCurrentState().isInitialised()) { + throw new UserErrorException("Machine is not initialised, cannot show animation function visualisation"); + } + final GetImagesForMachineCommand cmd1 = new GetImagesForMachineCommand(); trace.getStateSpace().execute(cmd1); final Map<Integer, String> images = cmd1.getImages();