Merge pull request #50 from franzmathauser/release/j11-bump-antlr-ver…

…sion Updated antlr dependencies from 4.9.3 to 4.13.1.
logic-ng · Jan 29, 2024 · c7459d1 · c7459d1
2 parents b20e782 + 599f406
commit c7459d1
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 16 deletions.
diff --git a/pom.xml b/pom.xml
@@ -75,13 +75,13 @@
     <sonar.exclusions>**/LogicNGPropositional*.java,**/LogicNGPseudoBoolean*.java</sonar.exclusions>
 
     <!-- Dependency Versions -->
-    <version.antlr>4.11.1</version.antlr>
+    <version.antlr>4.13.1</version.antlr>
     <version.junit>5.9.2</version.junit>
     <version.assertj>3.24.2</version.assertj>
     <version.mockito>5.2.0</version.mockito>
 
     <!-- Plugin Versions -->
-    <version.antlr-plugin>4.11.1</version.antlr-plugin>
+    <version.antlr-plugin>4.13.1</version.antlr-plugin>
     <version.jacoco>0.8.8</version.jacoco>
     <version.coveralls>4.3.0</version.coveralls>
     <version.surefire>3.0.0-M9</version.surefire>

diff --git a/src/main/antlr/LogicNGPropositional.g4 b/src/main/antlr/LogicNGPropositional.g4
@@ -32,7 +32,7 @@ options {
   superClass = ParserWithFormula;
 }
 
-@parser::header {
+@header {
   package org.logicng.io.parsers;
 
   import java.util.LinkedHashSet;
@@ -45,12 +45,6 @@ options {
   }
 }
 
-@lexer::header {
-  package org.logicng.io.parsers;
-
-  import org.logicng.formulas.FormulaFactory;
-}
-
 formula returns [Formula f]
   : EOF {$f = f.verum();}
   | equiv EOF {$f = $equiv.f;};

diff --git a/src/main/antlr/LogicNGPseudoBoolean.g4 b/src/main/antlr/LogicNGPseudoBoolean.g4
@@ -32,7 +32,7 @@ options {
   superClass = ParserWithFormula;
 }
 
-@parser::header {
+@header {
   package org.logicng.io.parsers;
 
   import java.util.LinkedHashSet;
@@ -45,12 +45,6 @@ options {
   }
 }
 
-@lexer::header {
-  package org.logicng.io.parsers;
-
-  import org.logicng.formulas.FormulaFactory;
-}
-
 formula returns [Formula f]
   : EOF {$f = f.verum();}
   | equiv EOF {$f = $equiv.f;};