Skip to content

Feature: Readonly bindings #2240

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
abstraktor wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Feature: Readonly bindings #2240

abstraktor wants to merge 1 commit into from
+701 −308

Conversation

@abstraktor
Copy link
Collaborator

@abstraktor abstraktor commented Dec 17, 2025 •
edited
Loading

Changes

  • Allow mps bindings to be readonly.
  • If a binding is readonly, they are loaded with the yellow bar just like stub solutions.
  • Readonly modules are never tried to be synced from MPS to the model-server to make the sync more resilient here

Todos

  • with this change, msd and mps files are not created anymore. even without the change to MPSProjectSyncMask

@abstraktor abstraktor force-pushed the feature/update-binding branch from 9d0dc96 to 760e30f Compare December 17, 2025 14:24
@abstraktor abstraktor force-pushed the feature/readonly-bindings branch from 3a4c1d9 to 3cba36e Compare December 17, 2025 14:33
@github-actions
Copy link
Contributor

github-actions bot commented Dec 17, 2025 •
edited
Loading

Test Results

130 files  130 suites   38m 15s ⏱️
735 tests 724 ✅ 9 💤 2 ❌
745 runs  734 ✅ 9 💤 2 ❌

For more details on these failures, see this check.

Results for commit 5c99bb7.

♻️ This comment has been updated with latest results.

@abstraktor abstraktor force-pushed the feature/readonly-bindings branch from 3cba36e to 7cd12ec Compare December 18, 2025 08:11
@slisson slisson force-pushed the feature/update-binding branch from 760e30f to 14563d4 Compare January 12, 2026 12:18
Base automatically changed from feature/update-binding to main January 12, 2026 12:40
@slisson slisson force-pushed the feature/readonly-bindings branch 2 times, most recently from c0e7dc3 to 280bab0 Compare January 13, 2026 10:41
@github-actions
Copy link
Contributor

github-actions bot commented Jan 13, 2026 •
edited
Loading

JVM coverage report

Overall Project 58.94% -0.24% ❌
Files changed 79.09% ❌

File Coverage
BuiltinLanguages.kt 100% 🍏
MPSProjectSyncMask.kt 97.18% 🍏
SolutionProducer.kt 90.85% -1.68% ❌
MPSModelReference.kt 87.8% 🍏
MPSModuleAsNode.kt 87.31% -1.8% ❌
BindingWorker.kt 84% -1.06% 🍏
MPSProjectModuleAsNode.kt 82.22% 🍏
MPSProjectAsNode.kt 80.92% -2.54% 🍏
MPSRepositoryAsNode.kt 78.11% 🍏
ModelSyncService.kt 71.66% -0.31% 🍏
SyncServiceState.kt 62.53% -37.47% ❌
SyncTargetModel.kt 60.99% -4.06% 🍏
MPSConcept.kt 14.75% 🍏

github-advanced-security[bot]
github-advanced-security bot found potential problems Jan 13, 2026
View reviewed changes
mps-model-adapters/src/main/kotlin/org/modelix/model/mpsadapters/SolutionProducer.kt
class SolutionProducer(private val myProject: IMPSProject) {

fun create(name: String, id: ModuleId): Solution {
fun create(name: String, id: ModuleId, readOnly: Boolean = false): Solution {

Check warning

Code scanning / detekt

The function create is missing documentation.

The function create is missing documentation.
mps-model-adapters/src/main/kotlin/org/modelix/model/mpsadapters/SolutionProducer.kt
}

fun create(namespace: String, id: ModuleId, moduleDir: IFile): Solution {
fun create(namespace: String, id: ModuleId, moduleDir: IFile, readOnly: Boolean): Solution {

Check warning

Code scanning / detekt

The function create is missing documentation.

The function create is missing documentation.
mps-sync-plugin3/src/main/kotlin/org/modelix/mps/sync3/SyncTargetModel.kt
private fun IWritableNode.unwrap() = if (this is NodeWrapper) this.node else this

inner class NodeWrapper(private val model: IMutableModel, val node: IWritableNode) : IWritableNode by node, ISyncTargetNode {
open inner class NodeWrapper(private val model: IMutableModel, val node: IWritableNode) : IWritableNode by node, ISyncTargetNode {

Check warning

Code scanning / detekt

NodeWrapper is missing required documentation.

NodeWrapper is missing required documentation.
mps-sync-plugin3/src/main/kotlin/org/modelix/mps/sync3/SyncTargetModel.kt
private fun IWritableNode.unwrap() = if (this is NodeWrapper) this.node else this

inner class NodeWrapper(private val model: IMutableModel, val node: IWritableNode) : IWritableNode by node, ISyncTargetNode {
open inner class NodeWrapper(private val model: IMutableModel, val node: IWritableNode) : IWritableNode by node, ISyncTargetNode {

Check warning

Code scanning / detekt

Class 'NodeWrapper' with '15' functions detected. Defined threshold inside classes is set to '11'

Class 'NodeWrapper' with '15' functions detected. Defined threshold inside classes is set to '11'
mps-sync-plugin3/src/main/kotlin/org/modelix/mps/sync3/SyncTargetModel.kt
private fun IWritableNode.unwrap() = if (this is NodeWrapper) this.node else this

inner class NodeWrapper(private val model: IMutableModel, val node: IWritableNode) : IWritableNode by node, ISyncTargetNode {
open inner class NodeWrapper(private val model: IMutableModel, val node: IWritableNode) : IWritableNode by node, ISyncTargetNode {

Check warning

Code scanning / detekt

The property node is missing documentation.

The property node is missing documentation.
@abstraktor
Copy link
Collaborator Author

abstraktor commented Jan 14, 2026

we tested it on this branch. In 18.1.0-readonly-bindings-SNAPSHOT, we observed the following exceptions:

2026-01-14 11:14:27,759 [ 347688]  DEBUG - org.modelix.model.client2.ModelClientV2 - 29f6.pullIfExists(branch_read_only_tara_main) -> cE1bf*1yoIze6HAHyV1BoB6jLPNRKZr5X57ENxQW_mKM 
2026-01-14 11:14:29,035 [ 348964]  DEBUG - org.modelix.model.client2.ModelClientV2 - 29f5.pullIfExists(branch_read_only_cata_versions/1.0.0) -> GhRrB*TTXpz7xFqOVHds_mx8rG0IhmuMgTsXX3lAIQZw 
2026-01-14 11:14:29,104 [ 349033]  DEBUG - org.modelix.mps.sync3.BindingWorker - Repository exists. Will checkout version [cE1bf*1yoIze6HAHyV1BoB6jLPNRKZr5X57ENxQW_mKM, GhRrB*TTXpz7xFqOVHds_mx8rG0IhmuMgTsXX3lAIQZw] 
2026-01-14 11:14:29,110 [ 349039]  DEBUG - org.modelix.mps.sync3.BindingWorker - Updating MPS project from [null, null] to [NewVersionSpec(version=cE1bf*1yoIze6HAHyV1BoB6jLPNRKZr5X57ENxQW_mKM, readonly=false), NewVersionSpec(version=GhRrB*TTXpz7xFqOVHds_mx8rG0IhmuMgTsXX3lAIQZw, readonly=true)] 
2026-01-14 11:14:29,459 [ 349388]  DEBUG - org.modelix.model.sync.bulk.ModelSynchronizer - Synchronizing nodes... 
2026-01-14 11:14:29,652 [ 349581]   WARN - jetbrains.mps.persistence.DefaultModelRoot - Models have not been found within the Path [IdeaFile[path: C:/Users/dalbrecht/SECUREProjects/readonlyfinalProject/solutions/ISOExample/models]] 
2026-01-14 11:14:29,860 [ 349789]   WARN - jetbrains.mps.ide.vfs.IdeaFile - could not find the virtual find for IdeaFile[path: X:/secure-rcp/build/project-libraries/com.mbeddr.platform/com.mbeddr.mpsutil.httpsupport/languages/group.httpsupport/lib/slf4j-api-1.7.10.jar] 
2026-01-14 11:14:29,860 [ 349789]   WARN - jetbrains.mps.ide.vfs.IdeaFile - could not find the virtual find for IdeaFile[path: X:/secure-rcp/build/project-libraries/com.mbeddr.platform/com.mbeddr.mpsutil.httpsupport/languages/group.httpsupport/lib/slf4j-log4j12-1.7.10.jar] 
2026-01-14 11:14:29,991 [ 349920]   WARN - jetbrains.mps.ide.vfs.IdeaFile - could not find the virtual find for IdeaFile[path: X:/secure-rcp/build/project-libraries/com.mbeddr.platform/com.mbeddr.mpsutil.httpsupport/languages/group.httpsupport/lib/slf4j-api-1.7.10.jar] 
2026-01-14 11:14:29,991 [ 349920]   WARN - jetbrains.mps.ide.vfs.IdeaFile - could not find the virtual find for IdeaFile[path: X:/secure-rcp/build/project-libraries/com.mbeddr.platform/com.mbeddr.mpsutil.httpsupport/languages/group.httpsupport/lib/slf4j-log4j12-1.7.10.jar] 
2026-01-14 11:14:30,066 [ 349995]   WARN - jetbrains.mps.persistence.DefaultModelRoot - Models have not been found within the Path [IdeaFile[path: C:/Users/dalbrecht/SECUREProjects/readonlyfinalProject/solutions/ISO21434/models]] 
2026-01-14 11:14:30,095 [ 350024]   WARN - jetbrains.mps.persistence.DefaultModelRoot - Models have not been found within the Path [IdeaFile[path: C:/Users/dalbrecht/SECUREProjects/readonlyfinalProject/solutions/ISOExample/models]] 
2026-01-14 11:14:30,168 [ 350097]  ERROR - org.modelix.model.sync.bulk.ModelSynchronizer - Ignoring exception during synchronization 
java.lang.UnsupportedOperationException: read only
	at org.modelix.model.mpsadapters.MPSRepositoryAsNode$Companion$childAccessors$3.addNew(MPSRepositoryAsNode.kt:119)
	at org.modelix.model.mpsadapters.MPSRepositoryAsNode$Companion$childAccessors$3.addNew(MPSRepositoryAsNode.kt:113)
	at org.modelix.model.mpsadapters.MPSGenericNodeAdapter.doSyncNewChildren(MPSGenericNodeAdapter.kt:99)
	at org.modelix.model.mpsadapters.MPSGenericNodeAdapter.syncNewChildren(MPSGenericNodeAdapter.kt:88)
	at org.modelix.model.api.IWritableNodeKt.syncNewChild(IWritableNode.kt:101)
	at org.modelix.model.sync.bulk.ModelSynchronizer.syncChildrenInRole(ModelSynchronizer.kt:268)
	at org.modelix.model.sync.bulk.ModelSynchronizer.syncChildren$lambda$2$0(ModelSynchronizer.kt:195)
	at org.modelix.model.sync.bulk.ModelSynchronizer.runSafe-IoAF18A(ModelSynchronizer.kt:61)
	at org.modelix.model.sync.bulk.ModelSynchronizer.syncChildren$lambda$2(ModelSynchronizer.kt:194)
	at org.modelix.model.sync.bulk.ModelSynchronizer.iterateMergedRoles(ModelSynchronizer.kt:433)
	at org.modelix.model.sync.bulk.ModelSynchronizer.iterateMergedRoles(ModelSynchronizer.kt:424)
	at org.modelix.model.sync.bulk.ModelSynchronizer.syncChildren(ModelSynchronizer.kt:190)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronizeNodeAndChildren$lambda$5(ModelSynchronizer.kt:145)
	at org.modelix.model.sync.bulk.ModelSynchronizer.runSafe-IoAF18A(ModelSynchronizer.kt:61)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronizeNodeAndChildren(ModelSynchronizer.kt:144)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronizeNode(ModelSynchronizer.kt:102)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronize(ModelSynchronizer.kt:74)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronize(ModelSynchronizer.kt:68)
	at org.modelix.mps.sync3.BindingWorker.synchronizeAndStoreInstance(BindingWorker.kt:130)
	at org.modelix.mps.sync3.BindingWorker.doSyncToMPS$lambda$6$1(BindingWorker.kt:408)
	at org.modelix.mps.sync3.MPSInvalidatingListener.runSync(MPSInvalidatingListener.kt:64)
	at org.modelix.mps.sync3.BindingWorker.doSyncToMPS$lambda$6(BindingWorker.kt:379)

java.lang.ClassCastException: class org.modelix.mps.sync3.SyncTargetModel$ProjectWrapper cannot be cast to class org.modelix.mps.sync3.SyncTargetModel$NodeWrapper (org.modelix.mps.sync3.SyncTargetModel$ProjectWrapper and org.modelix.mps.sync3.SyncTargetModel$NodeWrapper are in unnamed module of loader com.intellij.ide.plugins.cl.PluginClassLoader @738e966b)
	at org.modelix.mps.sync3.SyncTargetModel$RepositoryWrapper.removeChild(SyncTargetModel.kt:138)
	at org.modelix.model.api.INodeKt.remove(INode.kt:438)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronize$lambda$4$0(ModelSynchronizer.kt:88)
	at org.modelix.model.sync.bulk.ModelSynchronizer.runSafe-IoAF18A(ModelSynchronizer.kt:61)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronize(ModelSynchronizer.kt:86)
	at org.modelix.model.sync.bulk.ModelSynchronizer.synchronize(ModelSynchronizer.kt:68)
	at org.modelix.mps.sync3.BindingWorker.synchronizeAndStoreInstance(BindingWorker.kt:130)
	at org.modelix.mps.sync3.BindingWorker.doSyncFromMPS$lambda$2$sync$2$0(BindingWorker.kt:484)

@slisson slisson force-pushed the feature/readonly-bindings branch from 280bab0 to e985e70 Compare January 16, 2026 16:39
github-advanced-security[bot]
github-advanced-security bot found potential problems Jan 16, 2026
View reviewed changes
Copy link

@github-advanced-security github-advanced-security bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

detekt found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

@slisson slisson force-pushed the feature/readonly-bindings branch from e985e70 to 9922f41 Compare January 19, 2026 10:58
@slisson slisson marked this pull request as ready for review January 19, 2026 11:52
@slisson slisson force-pushed the feature/readonly-bindings branch from 9922f41 to 6c14562 Compare January 28, 2026 14:48
@slisson slisson force-pushed the feature/readonly-bindings branch from 6c14562 to 5c99bb7 Compare January 28, 2026 15:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@abstraktor