StackTraceElement#getFileName of EvalException/UnresolvedException does not retrieve ids from custom id generators.
Code to reproduce:
JShell.Builder builder = JShell.builder().idGenerator(((snippet, id) -> "custom" + id));
try (JShell jShell = builder.build()) {
EvalException evalException = (EvalException) jShell.eval("throw new Error();").get(0).exception();
for (StackTraceElement ste : evalException.getStackTrace()) {
assertTrue(ste.getFileName().startsWith("custom"), "Not started with \"custom\": " + ste.getFileName());
}
}
Regression test: IdGeneratorTest#testIdInException.
Code to reproduce:
JShell.Builder builder = JShell.builder().idGenerator(((snippet, id) -> "custom" + id));
try (JShell jShell = builder.build()) {
EvalException evalException = (EvalException) jShell.eval("throw new Error();").get(0).exception();
for (StackTraceElement ste : evalException.getStackTrace()) {
assertTrue(ste.getFileName().startsWith("custom"), "Not started with \"custom\": " + ste.getFileName());
}
}
Regression test: IdGeneratorTest#testIdInException.