From 17c68d3b8772c718df17eb619cd7a86616c532c7 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 12 Jul 2018 13:10:10 +0200
Subject: [PATCH] Display a nicer error message if no source code info is
 available

---
 src/main/java/de/prob2/jupyter/ProBKernel.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main/java/de/prob2/jupyter/ProBKernel.java b/src/main/java/de/prob2/jupyter/ProBKernel.java
index 5aaea9e..f01fbbc 100644
--- a/src/main/java/de/prob2/jupyter/ProBKernel.java
+++ b/src/main/java/de/prob2/jupyter/ProBKernel.java
@@ -310,6 +310,10 @@ public final class ProBKernel extends BaseKernel {
 	}
 	
 	private @NotNull List<@NotNull String> formatErrorSource(final @NotNull List<@NotNull String> sourceLines, final @NotNull ErrorItem.Location location) {
+		if (sourceLines.isEmpty()) {
+			return Collections.singletonList(this.errorStyler.primary("// Source code not known"));
+		}
+		
 		final List<String> out = new ArrayList<>();
 		if (location.getStartLine() < 1 || location.getStartLine() > sourceLines.size()) {
 			out.add(this.errorStyler.secondary(String.format("Error start line %d out of bounds (1..%d)", location.getStartLine(), sourceLines.size())));
-- 
GitLab