Unify VFS interfaces by rodinaarssen · Pull Request #2641 · usethesource/rascal

rodinaarssen · 2026-02-11T09:41:23Z

…IResolverRegistry

… a port during start-up

codecov · 2026-02-11T09:47:29Z

Codecov Report

❌ Patch coverage is 2.85714% with 442 lines in your changes missing coverage. Please review.
✅ Project coverage is 46%. Comparing base (3e0ccc6) to head (e44cb59).

Files with missing lines	Patch %	Lines
...mpl/uri/remote/RemoteExternalResolverRegistry.java	0%	235 Missing ⚠️
...ascalmpl/uri/remote/IRascalFileSystemServices.java	0%	108 Missing ⚠️
...org/rascalmpl/uri/vfs/IRemoteResolverRegistry.java	0%	63 Missing ⚠️
src/org/rascalmpl/uri/URIResolverRegistry.java	21%	9 Missing and 2 partials ⚠️
src/org/rascalmpl/util/NamedThreadPool.java	0%	10 Missing ⚠️
src/org/rascalmpl/uri/watch/WatchRegistry.java	0%	6 Missing ⚠️
src/org/rascalmpl/util/Lazy.java	0%	5 Missing ⚠️
...c/org/rascalmpl/uri/IExternalResolverRegistry.java	0%	2 Missing ⚠️
...pl/library/lang/json/internal/JsonValueWriter.java	75%	0 Missing and 1 partial ⚠️
src/org/rascalmpl/uri/ISourceLocationWatcher.java	85%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff            @@
##              main   #2641    +/-   ##
========================================
- Coverage       46%     46%    -1%     
+ Complexity    6679    6674     -5     
========================================
  Files          795     801     +6     
  Lines        65905   66314   +409     
  Branches      9881    9911    +30     
========================================
- Hits         30716   30707     -9     
- Misses       32804   33222   +418     
  Partials      2385    2385

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

…e in rascal-lsp

toinehartman

All of this (and the companion PR usethesource/rascal-language-servers#967) look like a nice unification and clean-up of interfaces.

src/org/rascalmpl/uri/remote/RemoteExternalResolverRegistry.java

DavyLandman

It's making progress, but it's not there yet.

src/org/rascalmpl/uri/remote/RemoteExternalResolverRegistry.java

DavyLandman · 2026-02-17T08:13:26Z

src/org/rascalmpl/uri/remote/RemoteExternalResolverRegistry.java

+            return this.callbacks.isEmpty();
+        }
+
+        public void publish(ISourceLocationWatcher.ISourceLocationChanged changed) {


this method should be called somewhere from the jsonrpc side?

src/org/rascalmpl/uri/vfs/IRemoteResolverRegistry.java

DavyLandman · 2026-02-17T08:23:01Z

src/org/rascalmpl/uri/URIResolverRegistry.java

+		this.externalRegistry = externalRegistry;
+		watchers.setExternalRegistry(externalRegistry);
+	}
+


what if this is called after loadServices then it will never be seen. The rest of this URIRegistryResolver has a lot of logic to make sure it loads resolvers correctly, no matter which path is taken.

I think we should consider something like an environment setting or something like that to make sure we don't get into messy initialization bugs.

…mote

… the remote

…IResolverRegistry can configure itself properly

…scal

…owards the Rascal side

toinehartman · 2026-03-09T08:29:51Z

src/org/rascalmpl/uri/remote/IRascalFileSystemServices.java

+import io.usethesource.vallang.ISourceLocation;
+
+public interface IRascalFileSystemServices extends IRemoteResolverRegistry {
+    static final URIResolverRegistry reg = URIResolverRegistry.getInstance();


Suggested change

static final URIResolverRegistry reg = URIResolverRegistry.getInstance();

private static final URIResolverRegistry reg = URIResolverRegistry.getInstance();

private is not allowed on interface fields

src/org/rascalmpl/uri/remote/IRascalFileSystemServices.java

src/org/rascalmpl/uri/remote/RemoteExternalResolverRegistry.java

…ns with their path only

Co-authored-by: Toine Hartman <toinehartman@users.noreply.github.com>

…s' into unify-vfs-interfaces

…ically tries to reconnect to the remote

sonarqubecloud · 2026-03-13T16:04:49Z

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

rodinaarssen added 24 commits January 7, 2026 15:43

Added an interface for a remote resolver registry

51b6393

Ported over FileAttributesResult from rascal-lsp

8adb46e

Merge branch 'main' into unify-vfs-interfaces

3cb33d9

Renamed fallback to external in WatchRegistry

f300250

Fixed layout issues

052ae18

Changed URI to ISourceLocation in remote resolver interface

513ffb3

Removed FallbackResolver in favor of external resolver registry in UR…

a144fe5

…IResolverRegistry

Removed method from remote interface

842881a

Added IExternalResolverRegistry interface

3284a32

Added client side for remote resolver registry

16c4bb2

RascalShell connects to external resolver registry when provided with…

9fe54a6

… a port during start-up

Merge branch 'main' into unify-vfs-interfaces

82d2ae9

Merge branch 'main' into unify-vfs-interfaces

177f099

Using new GsonUtils configuration function

d494609

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

01d2b66

Merge branch 'main' into unify-vfs-interfaces

8febaae

Merge branch 'main' into unify-vfs-interfaces

f6328c8

Merge branch 'main' into unify-vfs-interfaces

9490e8c

RemoteExternalResolverRegistry now correctly throws plain IOExceptions

8cebae8

Ported over NamedThreadPool from rascal-lsp

b25f48c

Ported over Watch-related classes from rascal-lsp

387b853

Working on implementing remote watches

f0de47f

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

0c56761

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

20f6541

rodinaarssen added 3 commits February 11, 2026 13:27

Ported over Lazy from rascal-lsp

a57d1c3

Reinstated directory listing cache for jsonrpc that was present befor…

88a6696

…e in rascal-lsp

Reinstated handling of native jsonrpc error codes from rascal-lsp

2d1c2cc

toinehartman reviewed Feb 11, 2026

View reviewed changes

src/org/rascalmpl/uri/remote/RemoteExternalResolverRegistry.java Outdated Show resolved Hide resolved

src/org/rascalmpl/uri/remote/RemoteExternalResolverRegistry.java Show resolved Hide resolved

DavyLandman requested changes Feb 17, 2026

View reviewed changes

rodinaarssen added 18 commits February 20, 2026 10:36

RemoteExternalResolverRegistry now forwards setLastModified to the re…

32b542a

…mote

RemoteExternalResolverRegistry now forwards supportsRecursiveWatch to…

1d728fd

… the remote

Using streaming Base64 for remote getOutputStream

cfc7cf6

Fixed remote getInputStream: using (streaming) Base64 decoding

4f975d3

Removed SourceLocation wrapper class

fa96e91

Replaced --vfsPort argument with an environment variable such that UR…

f74831f

…IResolverRegistry can configure itself properly

Removed the plain join() from the remote watch call

169d811

Imports

269b8f1

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

971fd4f

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

c7a57f7

Removed FileChangeEvent and FileChangeType from IRemoveResolverRegistry

1b2f38c

Added value to ISourceLocationChangeType enum

9d2862c

Implemented remote watch callbacks

ebc14b2

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

b5f72f5

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

d28de94

Moved default server implementation for remote Rascal FS access to Ra…

a2e6234

…scal

Got rid of FileAttributesResult in favor of FileAttributes

65555f2

Changed remote resolver interfaces to align the writeFile signature t…

7a901fc

…owards the Rascal side

toinehartman reviewed Mar 9, 2026

View reviewed changes

rodinaarssen and others added 10 commits March 10, 2026 13:10

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

13fa13b

Added option to JsonValueWriter whether or not to encode file locatio…

f6eb9ab

…ns with their path only

Using new JsonValueWriter option in GsonUtils

78de993

Update src/org/rascalmpl/uri/remote/RemoteExternalResolverRegistry.java

4c87e06

Co-authored-by: Toine Hartman <toinehartman@users.noreply.github.com>

Merge remote-tracking branch 'refs/remotes/origin/unify-vfs-interface…

2f3e97d

…s' into unify-vfs-interfaces

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

df9b5ad

Merge remote-tracking branch 'origin/main' into unify-vfs-interfaces

8e5db3f

Forwarding watch id

e940415

Removed public qualifier from interface field

eb7e4de

RemoteExternalResolverRegistry now detects disconnections and automat…

e44cb59

…ically tries to reconnect to the remote

	static final URIResolverRegistry reg = URIResolverRegistry.getInstance();
	private static final URIResolverRegistry reg = URIResolverRegistry.getInstance();

Conversation

rodinaarssen commented Feb 11, 2026 • edited by toinehartman Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

codecov bot commented Feb 11, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

toinehartman left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

DavyLandman left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

DavyLandman Feb 17, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

DavyLandman Feb 17, 2026

Choose a reason for hiding this comment

Uh oh!

toinehartman Mar 9, 2026

Choose a reason for hiding this comment

Uh oh!

rodinaarssen Mar 11, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

sonarqubecloud bot commented Mar 13, 2026

Quality Gate passed

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

rodinaarssen commented Feb 11, 2026 •

edited by toinehartman

Loading

codecov bot commented Feb 11, 2026 •

edited

Loading

rodinaarssen Mar 11, 2026 •

edited

Loading