Repository navigation
[Query] Resolve Value
Generated from 'wiki-query.ts' on 2026-11-08, 09:20:49 UTC (v2.17.4), do not edit directly.
Resolve Value Query [overview]
Provides access to flowR's value tracking (which is configurable)
This query is requested with the type resolve-value.
Run in the REPL: :query @resolve-value (<crit>;...) <code | file://path>
With this query you can use flowR's value-tracking capabilities to resolve identifiers to all potential values they may have at runtime (if possible). The extent to which flowR traces values (e.g., built-ins vs. constants) can be configured in flowR's Configuration file (see the Interface wiki page for more information).
Using the example code x <- 1 y <-2 print(x) print(y) (with newlines), the following query returns all values of x in the code:
[ { "type": "resolve-value", "criteria": [ "3@x", "4@y" ] } ](This can be shortened to @resolve-value (3@x;4@y) "x <- 1\ny <-2\nprint(x)\nprint(y)" when used with the REPL command :query).
Results (prettified and summarized):
Query: resolve-value (20 ms)
╰ Values for {3@x, 4@y}
╰ [1L, 1L], [2L, 2L]
Show Detailed Results as Json
The analysis ran (including parsing and normalization and the query) within the generation environment.
The JSON contains the ids of the nodes in question (see the Interface wiki page).
{"resolve-value":{".meta":{},"results":{"{\"type\":\"resolve-value\",\"criteria\":[\"3@x\",\"4@y\"]}":{"values":[{"type":"set","elements":[{"type":"interval","start":{"type":"number","value":{"markedAsInt":true,"num":1,"complexNumber":false}},"end":{"type":"number","value":{"markedAsInt":true,"num":1,"complexNumber":false}},"startInclusive":true,"endInclusive":true}]},{"type":"set","elements":[{"type":"interval","start":{"type":"number","value":{"markedAsInt":true,"num":2,"complexNumber":false}},"end":{"type":"number","value":{"markedAsInt":true,"num":2,"complexNumber":false}},"startInclusive":true,"endInclusive":true}]}]}}},".meta":{}}Original Code
x <- 1
y <-2
print(x)
print(y)Implementation Details
The Resolve Value Query is executed by executeResolveValueQuery.
Currently maintained by Florian Sihler and Oliver Gerstl at Ulm University
Email | GitHub | Penguins | Portfolio
- 🧑💻 Developer Onboarding
- 💻 Setup
- 👓 Overview
- 🪟 Interfacing with flowR
- 🌋 Core
- 🧹 Testing & Linting (Benchmark Page)
⁉️ FAQ- ℹ️ Extra Information