fix issues after updating Checkstyle rules.

Author: kfriedberger

src/org/sosy_lab/java_smt/api/ArrayFormula.java

@@ -16,5 +16,6 @@
  * @param <TI> Index type.
  * @param <TE> Element type.
  */
+@SuppressWarnings("InterfaceTypeParameterName")
 @Immutable
 public interface ArrayFormula<TI extends Formula, TE extends Formula> extends Formula {}

src/org/sosy_lab/java_smt/api/FormulaType.java

@@ -282,7 +282,7 @@ public String toSMTLIBString() {
   public static final FormulaType<FloatingPointRoundingModeFormula> FloatingPointRoundingModeType =
       new FloatingPointRoundingModeType();
 
-  private static class FloatingPointRoundingModeType
+  private static final class FloatingPointRoundingModeType
       extends FormulaType<FloatingPointRoundingModeFormula> {
 
     @Override

src/org/sosy_lab/java_smt/api/NumeralFormulaManager.java

@@ -20,6 +20,7 @@
  * @param <ParamFormulaType> formulaType of the parameters
  * @param <ResultFormulaType> formulaType of arithmetic results
  */
+@SuppressWarnings("InterfaceTypeParameterName")
 public interface NumeralFormulaManager<
     ParamFormulaType extends NumeralFormula, ResultFormulaType extends NumeralFormula> {
 

src/org/sosy_lab/java_smt/basicimpl/Tokenizer.java

@@ -15,7 +15,7 @@
 import java.util.Optional;
 
 /** Helper class for splitting up an SMT-LIB2 file into a string of commands. */
-public class Tokenizer {
+public final class Tokenizer {
 
   private Tokenizer() {}
 

src/org/sosy_lab/java_smt/basicimpl/withAssumptionsWrapper/InterpolatingProverWithAssumptionsWrapper.java

@@ -86,7 +86,7 @@ protected void clearAssumptions() {
     solverAssumptionsFromPush.clear();
   }
 
-  class RemoveAssumptionsFromFormulaVisitor extends BooleanFormulaTransformationVisitor {
+  final class RemoveAssumptionsFromFormulaVisitor extends BooleanFormulaTransformationVisitor {
 
     private RemoveAssumptionsFromFormulaVisitor() {
       super(fmgr);

src/org/sosy_lab/java_smt/example/Binoxxo.java

@@ -77,7 +77,7 @@
  * </pre>
  */
 @SuppressWarnings("unused")
-public class Binoxxo {
+public final class Binoxxo {
 
   private static final char[][] UNSOLVABLE_BINOXXO = null;
 

src/org/sosy_lab/java_smt/example/FormulaClassifier.java

@@ -187,7 +187,7 @@ public String toString() {
     return logic.toString();
   }
 
-  private static class AtomCollector extends DefaultBooleanFormulaVisitor<TraversalProcess> {
+  private static final class AtomCollector extends DefaultBooleanFormulaVisitor<TraversalProcess> {
 
     private final Collection<BooleanFormula> atoms = new LinkedHashSet<>();
     boolean hasQuantifiers = false;
@@ -215,7 +215,7 @@ public TraversalProcess visitQuantifier(
     }
   }
 
-  private class Classifier implements FormulaVisitor<Integer> {
+  private final class Classifier implements FormulaVisitor<Integer> {
 
     boolean hasUFs = false;
     boolean hasQuantifiers = false;

src/org/sosy_lab/java_smt/example/Interpolation.java

@@ -30,7 +30,7 @@
 import org.sosy_lab.java_smt.api.SolverException;
 
 /** Examples for Craig/sequential/tree interpolation. */
-public class Interpolation {
+public final class Interpolation {
 
   private Interpolation() {
     // never called

src/org/sosy_lab/java_smt/example/NQueens.java

@@ -42,7 +42,7 @@
  *   ..Q.
  * </pre>
  */
-public class NQueens {
+public final class NQueens {
   private final SolverContext context;
   private final BooleanFormulaManager bmgr;
   private final int n;

src/org/sosy_lab/java_smt/example/OptimizationFormulaWeights.java

@@ -34,7 +34,7 @@
  * the satisfied formulas should be maximal and the weight of unsatisfied formulas should be
  * minimal.
  */
-public class OptimizationFormulaWeights {
+public final class OptimizationFormulaWeights {
 
   private OptimizationFormulaWeights() {
     // never called