mirror of
https://github.com/apple/pkl.git
synced 2026-07-13 16:42:52 +02:00
Compare commits
1 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 5ab0cf6cbf |
Generated
+1
-1
@@ -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
|
||||
|
||||
Generated
+1
-1
@@ -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:
|
||||
|
||||
@@ -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) {
|
||||
|
||||
-3
@@ -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")
|
||||
-14
@@ -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(
|
||||
|
||||
Reference in New Issue
Block a user