LearnLib / learnlib / 13181815301

coverage: 94.368%. Remained the same
13181815301

push

github

mtf90 
[maven-release-plugin] prepare for next development iteration

12484 of 13229 relevant lines covered (94.37%)

1.72 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0
/api/src/main/java/de/learnlib/exception/BatchInterruptedException.java
1 
/* Copyright (C) 2013-2025 TU Dortmund University
2 
 * This file is part of LearnLib <https://learnlib.de>.
3 
 *
4 
 * Licensed under the Apache License, Version 2.0 (the "License");
5 
 * you may not use this file except in compliance with the License.
6 
 * You may obtain a copy of the License at
7 
 *
8 
 *     http://www.apache.org/licenses/LICENSE-2.0
9 
 *
10 
 * Unless required by applicable law or agreed to in writing, software
11 
 * distributed under the License is distributed on an "AS IS" BASIS,
12 
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 
 * See the License for the specific language governing permissions and
14 
 * limitations under the License.
15 
 */
16 
package de.learnlib.exception;
17 









18



import java.util.Collection;










19












20



import de.learnlib.oracle.BatchProcessor;










21












22



/**










23



 * Exception that is thrown if a parallel batch is interrupted during processing. Note that we cannot rethrow the {@link










24



 * InterruptedException} since the {@code throws} specification of {@link BatchProcessor#processBatch(Collection)} does










25



 * not allow doing so.










26



 */










27



public class BatchInterruptedException extends RuntimeException {










28












29



    public BatchInterruptedException(Throwable cause) {










30



        super(cause);




×







31



    }




×







32












33



}
























    

  • 

    •