making non-final fields in interfaces possible

KeYProject · Dec 21, 2024 · 08b0083 · 08b0083
1 parent d99efd2
commit 08b0083
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/java/recoderext/JMLTransformer.java b/key.core/src/main/java/de/uka/ilkd/key/java/recoderext/JMLTransformer.java
@@ -295,6 +295,11 @@ private void transformFieldDecl(TextualJMLFieldDecl decl, Comment[] originalComm
                         public boolean isStatic() {
                             return false;
                         }
+
+                        @Override
+                        public boolean isFinal() {
+                            return ((FieldDeclaration) old).getModifiers().contains(JMLModifier.FINAL);
+                        }
                     };
                     fieldDecl.setStartPosition(old.getStartPosition());
                     fieldDecl.setEndPosition(old.getEndPosition());