Reduce complexity of prover based shutdown getter

Author: BaierD

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

@@ -169,15 +169,11 @@ public void close() {
   }
 
   @Override
-  public ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException {
-    return getShutdownManagerForProverImpl();
-  }
-
-  protected ShutdownManager getShutdownManagerForProverImpl() throws UnsupportedOperationException {
+  public ShutdownManager getShutdownManagerForProver() {
     // Override this with the prover specific ShutdownManagers notifier for supporting solvers.
     // The solver should then use the prover specific ShutdownManagers notifier for stopping
     // instead of the contexts' notifier!
     throw new UnsupportedOperationException(
-        "The chosen solver does not support isolated prover " + "shutdown");
+        "The chosen solver does not support isolated prover shutdown");
   }
 }

src/org/sosy_lab/java_smt/solvers/bitwuzla/BitwuzlaTheoremProver.java

@@ -252,7 +252,7 @@ protected BitwuzlaModel getEvaluatorWithoutChecks() {
   }
 
   @Override
-  protected ShutdownManager getShutdownManagerForProverImpl() throws UnsupportedOperationException {
+  public ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException {
     return proverShutdownManager;
   }
 

src/org/sosy_lab/java_smt/solvers/cvc4/CVC4TheoremProver.java

@@ -264,7 +264,7 @@ public void close() {
   }
 
   @Override
-  protected ShutdownManager getShutdownManagerForProverImpl() throws UnsupportedOperationException {
+  public ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException {
     return proverShutdownManager;
   }
 }

src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5AbstractProver.java

@@ -291,7 +291,7 @@ public void callback(long[] model) throws InterruptedException {
   }
 
   @Override
-  protected ShutdownManager getShutdownManagerForProverImpl() throws UnsupportedOperationException {
+  public ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException {
     return proverShutdownManager;
   }
 }

src/org/sosy_lab/java_smt/solvers/opensmt/OpenSmtAbstractProver.java

@@ -293,7 +293,7 @@ public void close() {
   }
 
   @Override
-  protected ShutdownManager getShutdownManagerForProverImpl() throws UnsupportedOperationException {
+  public ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException {
     return proverShutdownManager;
   }
 }

src/org/sosy_lab/java_smt/solvers/yices2/Yices2TheoremProver.java

@@ -220,7 +220,7 @@ public void close() {
   }
 
   @Override
-  protected ShutdownManager getShutdownManagerForProverImpl() throws UnsupportedOperationException {
+  public ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException {
     return proverShutdownManager;
   }
 }

src/org/sosy_lab/java_smt/solvers/z3/Z3AbstractProver.java

@@ -264,7 +264,7 @@ public <R> R allSat(AllSatCallback<R> callback, List<BooleanFormula> important)
   }
 
   @Override
-  protected ShutdownManager getShutdownManagerForProverImpl() throws UnsupportedOperationException {
+  public ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException {
     return proverShutdownManager;
   }
 }