@@ -200,7 +218,7 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti
...
@@ -200,7 +218,7 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti
* @throws ExecutionException
* @throws ExecutionException
* if at least one exception in one thread has occurred within the analysis. The exception contains the pairs of thread and throwable
* if at least one exception in one thread has occurred within the analysis. The exception contains the pairs of thread and throwable
*
*
* @since 1.1
* @since 2.0
*/
*/
publicvoidwaitForTermination(){
publicvoidwaitForTermination(){
try{
try{
...
@@ -257,7 +275,7 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti
...
@@ -257,7 +275,7 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti
* @throws ExecutionException
* @throws ExecutionException
* if at least one exception in one thread has occurred within the analysis. The exception contains the pairs of thread and throwable.
* if at least one exception in one thread has occurred within the analysis. The exception contains the pairs of thread and throwable.
*
*
* @since 1.1
* @since 2.0
*/
*/
publicvoidexecuteBlocking(){
publicvoidexecuteBlocking(){
executeNonBlocking();
executeNonBlocking();
...
@@ -268,7 +286,7 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti
...
@@ -268,7 +286,7 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti
* This method starts the analysis without waiting for its termination. The method {@link #waitForTermination()} must be called to unsure a correct termination
* This method starts the analysis without waiting for its termination. The method {@link #waitForTermination()} must be called to unsure a correct termination
* of the analysis.
* of the analysis.
*
*
* @since 1.1
* @since 2.0
*/
*/
publicvoidexecuteNonBlocking(){
publicvoidexecuteNonBlocking(){
sendStartingSignal();
sendStartingSignal();
...
@@ -323,6 +341,14 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti
...
@@ -323,6 +341,14 @@ public final class Execution<T extends Configuration> implements UncaughtExcepti