wip

Author: hmottestad

tools/workbench/src/main/java/org/eclipse/rdf4j/workbench/commands/AddServlet.java

@@ -78,13 +78,19 @@ protected void doPost(WorkbenchRequest req, HttpServletResponse resp, String xsl
 			logger.warn(exc.toString(), exc);
 			TupleResultBuilder builder = getTupleResultBuilder(req, resp, resp.getOutputStream());
 			builder.transform(xslPath, "add.xsl");
-			builder.start("error-message", "baseURI", CONTEXT, "Content-Type", ISOLATION_LEVEL_PARAM);
+			builder.start("error-message", "baseURI", CONTEXT, "Content-Type", ISOLATION_LEVEL_PARAM,
+					ISOLATION_LEVEL_OPTION, ISOLATION_LEVEL_OPTION_LABEL);
 			builder.link(List.of(INFO));
 			String baseURI = req.getParameter("baseURI");
 			String context = req.getParameter(CONTEXT);
 			String contentType = req.getParameter("Content-Type");
 			String isolationLevel = req.getParameter(ISOLATION_LEVEL_PARAM);
-			builder.result(exc.getMessage(), baseURI, context, contentType, isolationLevel);
+			builder.result(exc.getMessage(), baseURI, context, contentType, isolationLevel, null, null);
+			for (String option : determineIsolationLevels()) {
+				String optionLabel = isolationLevelLabel(option);
+				String selectedIsolation = option.equals(isolationLevel) ? isolationLevel : null;
+				builder.result(null, null, null, null, selectedIsolation, option, optionLabel);
+			}
 			builder.end();
 		}
 	}

tools/workbench/src/test/java/org/eclipse/rdf4j/workbench/commands/AddServletTest.java

@@ -178,6 +178,36 @@ void doPostIncludesIsolationLevelBindingInErrorResponse() throws Exception {
 				.contains(">READ_COMMITTED<");
 	}
 
+	@Test
+	void doPostErrorIncludesIsolationLevelOptions() throws Exception {
+		AddServlet servlet = new RecordingAddServlet();
+
+		WorkbenchRequest request = mock(WorkbenchRequest.class);
+		when(request.getParameter("baseURI")).thenReturn("http://example/base");
+		when(request.getParameter("Content-Type")).thenReturn(null);
+		when(request.isParameterPresent("context")).thenReturn(false);
+		when(request.isParameterPresent("url")).thenReturn(false);
+		when(request.getContentParameter()).thenReturn(new ByteArrayInputStream(new byte[0]));
+		when(request.getContentFileName()).thenReturn("data.ttl");
+		when(request.getParameter("transaction-setting__org.eclipse.rdf4j.common.transaction.IsolationLevel"))
+				.thenReturn("SNAPSHOT");
+
+		HttpServletResponse response = mock(HttpServletResponse.class);
+		RecordingServletOutputStream outputStream = new RecordingServletOutputStream();
+		when(response.getOutputStream()).thenReturn(outputStream);
+
+		assertThatCode(() -> servlet.doPost(request, response, "transformations")).doesNotThrowAnyException();
+
+		String output = outputStream.asString();
+		assertThat(output)
+				.contains("<binding name='isolation-level-option'>")
+				.contains("<binding name='isolation-level-option-label'>")
+				.contains(">READ_COMMITTED<")
+				.contains(">SNAPSHOT<")
+				.contains(">Read Committed<")
+				.contains(">Snapshot<");
+	}
+
 	@Test
 	void serviceEmitsSelectedIsolationLevelBinding() throws Exception {
 		AddServlet servlet = new RecordingAddServlet();