Add clarification JavaDoc for getShutdownManagerForProver()

BaierD · BaierD · commit 223624c071d9 · 2025-06-02T17:15:20.000+02:00
diff --git a/src/org/sosy_lab/java_smt/api/BasicProverEnvironment.java b/src/org/sosy_lab/java_smt/api/BasicProverEnvironment.java
@@ -211,7 +211,7 @@ default boolean registerUserPropagator(UserPropagator propagator) {
    * guaranteed to be a child of the {@link ShutdownNotifier} given to the creating {@link
    * SolverContext}, resulting in shutdown when the {@link SolverContext}s notifier is shutting
    * down. The notifier returned here can be shut down independently of the creating contexts
-   * notifier.
+   * notifier. JavaSMT will never attempt to shut down this manager on its own.
    *
    * @return a {@link ShutdownManager} who is the child of the {@link ShutdownNotifier} used in the
    *     creating {@link SolverContext}, that can be used to shut down only this {@link

Original file line number	Diff line number	Diff line change
`@@ -211,7 +211,7 @@ default boolean registerUserPropagator(UserPropagator propagator) {`
`211`	`211`	`* guaranteed to be a child of the {@link ShutdownNotifier} given to the creating {@link`
`212`	`212`	`* SolverContext}, resulting in shutdown when the {@link SolverContext}s notifier is shutting`
`213`	`213`	`* down. The notifier returned here can be shut down independently of the creating contexts`
`214`		`- * notifier.`
	`214`	`+ * notifier. JavaSMT will never attempt to shut down this manager on its own.`
`215`	`215`	`*`
`216`	`216`	`* @return a {@link ShutdownManager} who is the child of the {@link ShutdownNotifier} used in the`
`217`	`217`	`* creating {@link SolverContext}, that can be used to shut down only this {@link`