Compare commits

..

1 Commits

Author SHA1 Message Date
dependabot[bot] 5ab0cf6cbf Bump gradle/actions/dependency-submission from 6.1.0 to 6.2.0
Bumps [gradle/actions/dependency-submission](https://github.com/gradle/actions) from 6.1.0 to 6.2.0.
- [Release notes](https://github.com/gradle/actions/releases)
- [Commits](https://github.com/gradle/actions/compare/50e97c2cd7a37755bbfafc9c5b7cafaece252f6e...3f131e8634966bd73d06cc69884922b02e6faf92)

---
updated-dependencies:
- dependency-name: gradle/actions/dependency-submission
  dependency-version: 6.2.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-07-09 22:12:33 +00:00
12 changed files with 69 additions and 177 deletions
+1 -1
View File
@@ -35,6 +35,6 @@ jobs:
- name: github/codeql-action/init@v4
uses: github/codeql-action/init@54f647b7e1bb85c95cddabcd46b0c578ec92bc1a # v4
- name: gradle/actions/dependency-submission@v6
uses: gradle/actions/dependency-submission@50e97c2cd7a37755bbfafc9c5b7cafaece252f6e # v6
uses: gradle/actions/dependency-submission@3f131e8634966bd73d06cc69884922b02e6faf92 # v6
- name: gradle/actions/setup-gradle@v5
uses: gradle/actions/setup-gradle@0723195856401067f7a2779048b490ace7a47d7c # v5
+1 -1
View File
@@ -987,7 +987,7 @@ jobs:
with:
java-version: '25'
distribution: temurin
- uses: gradle/actions/dependency-submission@50e97c2cd7a37755bbfafc9c5b7cafaece252f6e # v6
- uses: gradle/actions/dependency-submission@3f131e8634966bd73d06cc69884922b02e6faf92 # v6
with:
dependency-graph-include-configurations: .*[rR]untimeClasspath|.*[cC]ompileClasspath
publish-test-results:
+4 -4
View File
@@ -29,20 +29,20 @@ graalVmSha256-windows-x64 = "fde83c5ceec2c75560c747ccd9f314f90e4cf5c5287416e67c4
#noinspection UnusedVersionCatalogEntry
graalVmSha256-windows-aarch64 = "unavailable"
ideaExtPlugin = "1.4.1"
javaPoet = "0.17.0"
javaPoet = "0.16.0"
javaxInject = "1"
jimfs = "1.3.1"
jline = "4.3.1"
jline = "4.2.1"
jmh = "1.37"
jmhPlugin = "0.7.3"
jspecify = "1.0.0"
junit = "6.1.1"
junit = "6.1.0"
# 1.7+ generates much more verbose code
kotlinPoet = "1.6.0"
kotlinStdLib = "2.2.21"
#noinspection UnusedVersionCatalogEntry
kotlinTarget = "2.2"
kotlinToolchain = "2.4.0"
kotlinToolchain = "2.3.21"
kotlinxHtml = "0.12.0"
# 1.9.0 is the last version compatible with Kotlin 2.2
kotlinxSerialization = "1.9.0"
@@ -50,6 +50,7 @@ import org.pkl.core.util.AnsiStringBuilder;
import org.pkl.core.util.EconomicMaps;
import org.pkl.core.util.IoUtils;
import org.pkl.core.util.MutableReference;
import org.pkl.core.util.Pair;
import org.pkl.core.util.SyntaxHighlighter;
import org.pkl.parser.Parser;
import org.pkl.parser.ParserError;
@@ -182,6 +183,51 @@ public class ReplServer implements AutoCloseable {
.collect(Collectors.toList());
}
/**
* Create a fake module that declares all the local properties that exist in ReplState, so that
* AstBuilder can correctly resolve variables. Additionally, return a {@link Node} with its span
* calculated in terms of this fake module.
*
* <p>This created module is never executed.
*/
private Pair<String, Node> buildSyntheticModuleText(Node syntaxNode, String srcText) {
if (syntaxNode instanceof ModuleDecl) {
return Pair.of(srcText, syntaxNode);
}
var sb = new StringBuilder();
var nodeText = syntaxNode.text(srcText.toCharArray());
var adjustedNode = syntaxNode;
if (syntaxNode instanceof Expr) {
sb.append(expressionPreamble).append(nodeText).append('\n');
} else {
sb.append(nodeText).append('\n');
}
var mod = parser.parseModule(sb.toString());
if (syntaxNode instanceof Expr) {
adjustedNode = mod.getProperties().get(0).getExpr();
} else if (syntaxNode instanceof ImportClause) {
adjustedNode = mod.getImports().get(0);
} else if (syntaxNode instanceof ClassProperty) {
adjustedNode = mod.getProperties().get(0);
} else if (syntaxNode instanceof Class) {
adjustedNode = mod.getClasses().get(0);
} else if (syntaxNode instanceof org.pkl.parser.syntax.TypeAlias) {
adjustedNode = mod.getTypeAliases().get(0);
} else if (syntaxNode instanceof org.pkl.parser.syntax.ClassMethod) {
adjustedNode = mod.getMethods().get(0);
}
var cursor = EconomicMaps.getEntries(replState.module.getMembers());
while (cursor.advance()) {
var key = cursor.getKey();
var value = cursor.getValue();
if (value.isLocal()) {
sb.append("local ").append(key).append(" = Undefined()\n\n");
}
}
assert adjustedNode != null;
return Pair.of(sb.toString(), adjustedNode);
}
@SuppressWarnings("StatementWithEmptyBody")
private void handleNode(
ReplState replState,
@@ -191,7 +237,7 @@ public class ReplServer implements AutoCloseable {
String srcText,
boolean evalDefinitions,
boolean forceResults) {
var pair = VmUtils.buildSyntheticModuleText(node, replState.module, srcText);
var pair = buildSyntheticModuleText(node, srcText);
var syntheticModuleText = pair.first;
var adjustedNode = pair.second;
var module = ModuleKeys.synthetic(uri, workingDir.toUri(), uri, syntheticModuleText, false);
@@ -237,9 +283,8 @@ public class ReplServer implements AutoCloseable {
new ReplResponse.InternalError(new IllegalStateException("Unexpected parse result")));
}
} catch (VmException e) {
e.setForExpressionInput(true);
// TODO: patch stack trace for constants
results.add(new EvalError(errorRenderer.render(e)));
results.add(new EvalError(renderException(e)));
}
}
@@ -28,8 +28,6 @@ import org.pkl.core.util.SyntaxHighlighter;
public final class StackTraceRenderer {
private final Function<StackFrame, StackFrame> frameTransformer;
private static final int PREAMBLE_LENGTH = VmUtils.EXPRESSION_PREAMBLE.length();
public StackTraceRenderer(Function<StackFrame, StackFrame> frameTransformer) {
this.frameTransformer = frameTransformer;
}
@@ -38,10 +36,9 @@ public final class StackTraceRenderer {
List<StackFrame> frames,
@Nullable String hint,
@Nullable BiConsumer<AnsiStringBuilder, Boolean> hintBuilder,
AnsiStringBuilder out,
boolean forExpressionInput) {
AnsiStringBuilder out) {
var compressed = compressFrames(frames);
doRender(compressed, hint, hintBuilder, out, "", true, forExpressionInput);
doRender(compressed, hint, hintBuilder, out, "", true);
}
// non-private for testing
@@ -51,13 +48,12 @@ public final class StackTraceRenderer {
@Nullable BiConsumer<AnsiStringBuilder, Boolean> hintBuilder,
AnsiStringBuilder out,
String leftMargin,
boolean isFirstElement,
boolean forExpressionInput) {
boolean isFirstElement) {
for (var frame : frames) {
if (frame instanceof StackFrameLoop loop) {
// ensure a cycle of length 1 doesn't get rendered as a loop
if (loop.count == 1) {
doRender(loop.frames, null, null, out, leftMargin, isFirstElement, forExpressionInput);
doRender(loop.frames, null, null, out, leftMargin, isFirstElement);
} else {
if (!isFirstElement) {
out.append(AnsiTheme.STACK_TRACE_MARGIN, leftMargin).append('\n');
@@ -67,7 +63,7 @@ public final class StackTraceRenderer {
.append(AnsiTheme.STACK_TRACE_LOOP_COUNT, loop.count)
.append(" repetitions of:\n");
var newLeftMargin = leftMargin + "";
doRender(loop.frames, null, null, out, newLeftMargin, isFirstElement, forExpressionInput);
doRender(loop.frames, null, null, out, newLeftMargin, isFirstElement);
if (isFirstElement) {
renderHint(hint, hintBuilder, out, newLeftMargin);
isFirstElement = false;
@@ -78,7 +74,7 @@ public final class StackTraceRenderer {
if (!isFirstElement) {
out.append(AnsiTheme.STACK_TRACE_MARGIN, leftMargin).append('\n');
}
renderFrame((StackFrame) frame, out, leftMargin, forExpressionInput);
renderFrame((StackFrame) frame, out, leftMargin);
}
if (isFirstElement) {
@@ -88,10 +84,9 @@ public final class StackTraceRenderer {
}
}
private void renderFrame(
StackFrame frame, AnsiStringBuilder out, String leftMargin, boolean forExpressionInput) {
private void renderFrame(StackFrame frame, AnsiStringBuilder out, String leftMargin) {
var transformed = frameTransformer.apply(frame);
renderSourceLine(transformed, out, leftMargin, forExpressionInput);
renderSourceLine(transformed, out, leftMargin);
renderSourceLocation(transformed, out, leftMargin);
}
@@ -118,27 +113,16 @@ public final class StackTraceRenderer {
out.append('\n');
}
private void renderSourceLine(
StackFrame frame, AnsiStringBuilder out, String leftMargin, boolean forExpressionInput) {
private void renderSourceLine(StackFrame frame, AnsiStringBuilder out, String leftMargin) {
var originalSourceLine = frame.getSourceLines().get(0);
var leadingWhitespace = VmUtils.countLeadingWhitespace(originalSourceLine);
var sourceLine = originalSourceLine.strip();
var hasPreamble = false;
if (forExpressionInput && sourceLine.startsWith(VmUtils.EXPRESSION_PREAMBLE)) {
sourceLine = sourceLine.substring(PREAMBLE_LENGTH);
hasPreamble = true;
}
var startColumn = frame.getStartColumn() - leadingWhitespace;
var endColumn =
frame.getStartLine() == frame.getEndLine()
? frame.getEndColumn() - leadingWhitespace
: sourceLine.length();
if (hasPreamble) {
startColumn -= PREAMBLE_LENGTH;
endColumn -= PREAMBLE_LENGTH;
}
var prefix = frame.getStartLine() + " | ";
out.append(AnsiTheme.STACK_TRACE_MARGIN, leftMargin)
.append(AnsiTheme.STACK_TRACE_LINE_NUMBER, prefix);
@@ -37,7 +37,6 @@ public abstract class VmException extends AbstractTruffleException {
private final List<StackFrame> leadingStackFrames;
@Nullable private final BiConsumer<AnsiStringBuilder, Boolean> messageBuilder;
@Nullable protected BiConsumer<AnsiStringBuilder, Boolean> hintBuilder;
private boolean forExpressionInput;
public VmException(
@Nullable String message,
@@ -63,7 +62,6 @@ public abstract class VmException extends AbstractTruffleException {
this.insertedStackFrames = insertedStackFrames;
this.leadingStackFrames = leadingStackFrames;
this.hintBuilder = hintBuilder;
this.forExpressionInput = forExpressionInput;
}
public final boolean isExternalMessage() {
@@ -114,14 +112,6 @@ public abstract class VmException extends AbstractTruffleException {
this.hintBuilder = ((builder, aBoolean) -> builder.append(hint));
}
public void setForExpressionInput(boolean forExpressionInput) {
this.forExpressionInput = forExpressionInput;
}
public boolean isForExpressionInput() {
return forExpressionInput;
}
public enum Kind {
EVAL_ERROR,
UNDEFINED_VALUE,
@@ -144,8 +144,7 @@ public final class VmExceptionRenderer {
var hintBuilder = exception.getHintBuilder();
if (!frames.isEmpty()) {
stackTraceRenderer.render(
frames, hint, hintBuilder, out.append('\n'), exception.isForExpressionInput());
stackTraceRenderer.render(frames, hint, hintBuilder, out.append('\n'));
} else if (hint != null) {
// render hint if there are no stack frames
out.append('\n').append(AnsiTheme.ERROR_MESSAGE_HINT, hint);
@@ -61,12 +61,9 @@ import org.pkl.core.module.ModuleKey;
import org.pkl.core.module.ModuleKeys;
import org.pkl.core.module.ResolvedModuleKey;
import org.pkl.core.util.EconomicMaps;
import org.pkl.core.util.Pair;
import org.pkl.parser.Parser;
import org.pkl.parser.ParserError;
import org.pkl.parser.syntax.Expr;
import org.pkl.parser.syntax.ImportClause;
import org.pkl.parser.syntax.ModuleDecl;
public final class VmUtils {
/** See {@link VmUtils#shouldRunTypeCheck(VirtualFrame)}. */
@@ -95,10 +92,6 @@ public final class VmUtils {
private static final DecimalFormatSymbols ROOT_DECIMAL_FORMAT_SYMBOLS =
DecimalFormatSymbols.getInstance(Locale.ROOT);
public static final String EXPRESSION_PREAMBLE = "`THE REPL TEXT EXPR` = ";
private static final Parser parser = new Parser();
private VmUtils() {}
static VmTyped createEmptyModule() {
@@ -937,69 +930,12 @@ public final class VmUtils {
}
}
/**
* Create a fake module that declares all the local properties that exist in {@code module}, so
* that AstBuilder can correctly resolve variables.
*
* <p>Additionally, return a {@link org.pkl.parser.syntax.Node} with its span calculated in terms
* of this fake module.
*
* <p>This created module is never executed.
*/
public static Pair<String, org.pkl.parser.syntax.Node> buildSyntheticModuleText(
org.pkl.parser.syntax.Node syntaxNode, VmTyped module, String srcText) {
if (syntaxNode instanceof ModuleDecl) {
return Pair.of(srcText, syntaxNode);
}
var sb = new StringBuilder();
var nodeText = syntaxNode.text(srcText.toCharArray());
var adjustedNode = syntaxNode;
if (syntaxNode instanceof Expr) {
sb.append(EXPRESSION_PREAMBLE).append(nodeText).append('\n');
} else {
sb.append(nodeText).append('\n');
}
var mod = parser.parseModule(sb.toString());
if (syntaxNode instanceof Expr) {
adjustedNode = mod.getProperties().get(0).getExpr();
} else if (syntaxNode instanceof ImportClause) {
adjustedNode = mod.getImports().get(0);
} else if (syntaxNode instanceof org.pkl.parser.syntax.ClassProperty) {
adjustedNode = mod.getProperties().get(0);
} else if (syntaxNode instanceof org.pkl.parser.syntax.Class) {
adjustedNode = mod.getClasses().get(0);
} else if (syntaxNode instanceof org.pkl.parser.syntax.TypeAlias) {
adjustedNode = mod.getTypeAliases().get(0);
} else if (syntaxNode instanceof org.pkl.parser.syntax.ClassMethod) {
adjustedNode = mod.getMethods().get(0);
}
var cursor = EconomicMaps.getEntries(module.getMembers());
while (cursor.advance()) {
var key = cursor.getKey();
var value = cursor.getValue();
if (value.isLocal()) {
sb.append("local ").append(key).append(" = Undefined()\n\n");
}
}
assert adjustedNode != null;
return Pair.of(sb.toString(), adjustedNode);
}
public static Object evaluateExpression(
VmTyped module,
String expression,
SecurityManager securityManager,
ModuleResolver moduleResolver) {
org.pkl.parser.syntax.Node node;
try {
node = parser.parseExpressionInput(expression);
} catch (ParserError e) {
throw toVmException(e, expression, REPL_TEXT_URI, "");
}
var pair = buildSyntheticModuleText(node, module, expression);
var syntheticModuleText = pair.first;
var adjustedNode = pair.second;
var syntheticModule = ModuleKeys.synthetic(REPL_TEXT_URI, syntheticModuleText);
var syntheticModule = ModuleKeys.synthetic(REPL_TEXT_URI, expression);
ResolvedModuleKey resolvedModule;
try {
resolvedModule = syntheticModule.resolve(securityManager);
@@ -1019,10 +955,9 @@ public final class VmUtils {
resolvedModule,
false);
var language = VmLanguage.get(null);
var parsedExpression = parseExpressionNode(expression, source);
var builder = new AstBuilder(source, language, moduleInfo, moduleResolver);
var mod = parser.parseModule(syntheticModuleText);
builder.visitModule(mod);
var exprNode = builder.visitExpr((Expr) adjustedNode);
var exprNode = builder.visitExpr(parsedExpression);
var rootNode =
new SimpleRootNode(
language,
@@ -1031,12 +966,7 @@ public final class VmUtils {
"",
exprNode);
var callNode = Truffle.getRuntime().createIndirectCallNode();
try {
return callNode.call(rootNode.getCallTarget(), module, module);
} catch (VmException e) {
e.setForExpressionInput(true);
throw e;
}
}
public static int findCustomThisSlot(VirtualFrame frame) {
@@ -1,3 +0,0 @@
// make sure that we don't trim this identifier when not using the expression evaluator
// see VmUtils.buildSyntheticModuleText()
`THE REPL TEXT EXPR` = throw("uh oh")
@@ -1,14 +0,0 @@
–– Pkl Error ––
uh oh
x | `THE REPL TEXT EXPR` = throw("uh oh")
^^^^^^^^^^^^^^
at replTextPreamble#`THE REPL TEXT EXPR` (file:///$snippetsDir/input/errors/replTextPreamble.pkl)
xxx | renderer.renderDocument(value)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
at pkl.base#Module.output.text (pkl:base)
xxx | if (renderer is BytesRenderer) renderer.renderDocument(value) else text.encodeToBytes("UTF-8")
^^^^
at pkl.base#Module.output.bytes (pkl:base)
@@ -134,43 +134,4 @@ class EvaluateExpressionTest {
assertThat(error).hasMessageContaining("Expected value of type `String`, but got type `Int`")
}
@Test
fun `evaluate local property`() {
val result = evaluate("local foo = 1", "foo")
assertThat(result).isEqualTo(1L)
}
@Test
fun `evaluate throwing local property trims expression preamble when rendering stack frames`() {
val error = assertThrows<PklException> { evaluate("local foo = throw(\"uh oh\")", "foo") }
assertThat(error.message)
.isEqualTo(
"""
–– Pkl Error ––
uh oh
1 | local foo = throw("uh oh")
^^^^^^^^^^^^^^
at text#foo (repl:text)
1 | foo
^^^
at (repl:text)
"""
.trimIndent()
)
}
@Test
fun `evaluate import`() {
val result = evaluate("import \"pkl:base\"", "base")
assertThat(result).isInstanceOf(PModule::class.java)
result as PModule
assertThat(result.moduleName).isEqualTo("pkl.base")
}
}
@@ -192,7 +192,7 @@ class StackTraceRendererTest {
val loop = StackTraceRenderer.StackFrameLoop(loopFrames, 1)
val frames = listOf(createFrame("bar", 1), createFrame("baz", 2), loop)
val formatter = AnsiStringBuilder(false)
renderer.doRender(frames, null, null, formatter, "", true, true)
renderer.doRender(frames, null, null, formatter, "", true)
val renderedFrames = formatter.toString()
assertThat(renderedFrames)
.isEqualTo(