clean up deprecated JML ast classes

jmltoolkit · May 4, 2024 · 5a1852c · 5a1852c
1 parent bfaa6b1
commit 5a1852c
Show file tree

Hide file tree

Showing 49 changed files with 152 additions and 1,476 deletions.
diff --git a/...generator/src/main/java/com/github/javaparser/generator/metamodel/MetaModelGenerator.java b/...generator/src/main/java/com/github/javaparser/generator/metamodel/MetaModelGenerator.java
@@ -207,7 +207,6 @@ public class MetaModelGenerator extends AbstractGenerator {
         add(JmlMethodDeclaration.class);
         add(JmlFieldDeclaration.class);
         add(JmlClause.class);
-        add(JmlBodyDeclaration.class);
         add(JmlSimpleExprClause.class);
         add(JmlMultiExprClause.class);
         add(JmlSignalsClause.class);

diff --git a/javaparser-core/src/main/java/com/github/javaparser/ast/body/BodyDeclaration.java b/javaparser-core/src/main/java/com/github/javaparser/ast/body/BodyDeclaration.java
@@ -422,20 +422,6 @@ public Optional<JmlRepresentsDeclaration> toJmlRepresentsDeclaration() {
     public void ifJmlRepresentsDeclaration(Consumer<JmlRepresentsDeclaration> action) {
     }
 
-    @Generated("com.github.javaparser.generator.core.node.TypeCastingGenerator")
-    public JmlBodyDeclaration asJmlBodyDeclaration() {
-        throw new IllegalStateException(f("%s is not JmlBodyDeclaration, it is %s", this, this.getClass().getSimpleName()));
-    }
-
-    @Generated("com.github.javaparser.generator.core.node.TypeCastingGenerator")
-    public Optional<JmlBodyDeclaration> toJmlBodyDeclaration() {
-        return Optional.empty();
-    }
-
-    @Generated("com.github.javaparser.generator.core.node.TypeCastingGenerator")
-    public void ifJmlBodyDeclaration(Consumer<JmlBodyDeclaration> action) {
-    }
-
     @Generated("com.github.javaparser.generator.core.node.TypeCastingGenerator")
     public boolean isJmlDocDeclaration() {
         return false;
@@ -578,4 +564,19 @@ public Optional<JmlClassExprDeclaration> toJmlClassExprDeclaration() {
     @Generated("com.github.javaparser.generator.core.node.TypeCastingGenerator")
     public void ifJmlClassExprDeclaration(Consumer<JmlClassExprDeclaration> action) {
     }
+
+    public boolean isJmlClassLevelDeclaration() {
+        return false;
+    }
+
+    public JmlClassLevelDeclaration asJmlClassLevelDeclaration() {
+        throw new IllegalStateException(f("%s is not JmlClassLevelDeclaration, it is %s", this, this.getClass().getSimpleName()));
+    }
+
+    public Optional<JmlClassLevelDeclaration> toJmlClassLevelDeclaration() {
+        return Optional.empty();
+    }
+
+    public void ifJmlClassLevelDeclaration(Consumer<JmlClassLevelDeclaration> action) {
+    }
 }
diff --git a/javaparser-core/src/main/java/com/github/javaparser/ast/expr/Expression.java b/javaparser-core/src/main/java/com/github/javaparser/ast/expr/Expression.java
@@ -1106,4 +1106,19 @@ public Optional<JmlTypeExpr> toJmlTypeExpr() {
     @Generated("com.github.javaparser.generator.core.node.TypeCastingGenerator")
     public void ifJmlTypeExpr(Consumer<JmlTypeExpr> action) {
     }
+
+    public boolean isJmlSetComprehensionExpr() {
+        return false;
+    }
+
+    public JmlSetComprehensionExpr asJmlSetComprehensionExpr() {
+        throw new IllegalStateException(f("%s is not JmlSetComprehensionExpr, it is %s", this, this.getClass().getSimpleName()));
+    }
+
+    public Optional<JmlSetComprehensionExpr> toJmlSetComprehensionExpr() {
+        return Optional.empty();
+    }
+
+    public void ifJmlSetComprehensionExpr(Consumer<JmlSetComprehensionExpr> action) {
+    }
 }
diff --git a/javaparser-core/src/main/java/com/github/javaparser/ast/jml/JmlImportDeclaration.java b/javaparser-core/src/main/java/com/github/javaparser/ast/jml/JmlImportDeclaration.java