Skip to content

Conversation

@jra-se
Copy link
Contributor

@jra-se jra-se commented Jun 25, 2025

Java 17 introduces new sealed and non-sealed modifiers.

Since we use the JavaModifiers terminal in MCCommonStatements as a collection of all modifiers contained in Java, this pull request adds these new modifiers.

This pull request is linked to #155, in which the CoCos of JavaLight are adjusted in order to better handle extensions of JavaModifiers.

jra-se added 3 commits June 12, 2025 17:14
* other CoCos have been updated to restrict modifier usage with whitelisting, so we do not need this additional CoCo
@github-actions
Copy link

❌ Changes break the MontiVerse

Project Status
montiarc
umlp
artifacts ⚠️
details
Project Status
montiarc
umlp
sd
montifun
fd
automaton
sc
guidsl
artifacts ⚠️
ocl
od
ucd
langexperiments
json
xml
mlc
cd4analysis
monticore_basic
class2mc
secommons

The MontiVerse is a collection of (internal and public) language projects.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants