Yices: Fix Checkstyle issues

daniel-raffler · daniel-raffler · commit fc68ec6f5f62 · 2025-09-11T17:24:49.000+02:00
diff --git a/src/org/sosy_lab/java_smt/solvers/yices2/Yices2ArrayFormulaManager.java b/src/org/sosy_lab/java_smt/solvers/yices2/Yices2ArrayFormulaManager.java
@@ -23,6 +23,7 @@
 import org.sosy_lab.java_smt.api.FormulaType;
 import org.sosy_lab.java_smt.basicimpl.AbstractArrayFormulaManager;
 
+@SuppressWarnings({"ClassTypeParameterName", "MethodTypeParameterName"})
 public class Yices2ArrayFormulaManager
     extends AbstractArrayFormulaManager<Integer, Integer, Long, Integer> {
 
diff --git a/src/org/sosy_lab/java_smt/solvers/yices2/Yices2Formula.java b/src/org/sosy_lab/java_smt/solvers/yices2/Yices2Formula.java
@@ -82,6 +82,7 @@ static final class Yices2BooleanFormula extends Yices2Formula implements Boolean
     }
   }
 
+  @SuppressWarnings({"ClassTypeParameterName", "MethodTypeParameterName"})
   @Immutable
   static final class Yices2ArrayFormula<TI extends Formula, TE extends Formula>
       extends Yices2Formula implements ArrayFormula<TI, TE> {

Original file line number	Diff line number	Diff line change
`@@ -82,6 +82,7 @@ static final class Yices2BooleanFormula extends Yices2Formula implements Boolean`
`82`	`82`	`}`
`83`	`83`	`}`
`84`	`84`
	`85`	`+ @SuppressWarnings({"ClassTypeParameterName", "MethodTypeParameterName"})`
`85`	`86`	`@Immutable`
`86`	`87`	`static final class Yices2ArrayFormula<TI extends Formula, TE extends Formula>`
`87`	`88`	`extends Yices2Formula implements ArrayFormula<TI, TE> {`