LearnLib / automatalib / 6712885541

coverage: 89.868% (+0.02%) from 89.845%
6712885541

push

github

mtf90 
share more functionality in PaigeTarjan code

11 of 11 new or added lines in 3 files covered. (100.0%)

15788 of 17568 relevant lines covered (89.87%)

1.67 hits per line

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

0.0
/api/src/main/java/net/automatalib/exception/UndefinedPropertyAccessException.java
1 
/* Copyright (C) 2013-2023 TU Dortmund
2 
 * This file is part of AutomataLib, http://www.automatalib.net/.
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 net.automatalib.exception;
17 









18



/**










19



 * This specialized exception can be thrown if during the traversal of an automaton or transition system an undefined










20



 * property (e.g. a state or a transition output) is accessed, that is otherwise required for returning a valid result.










21



 */










22



public class UndefinedPropertyAccessException extends IllegalStateException {










23












24



    public UndefinedPropertyAccessException(String var1) {










25



        super(var1);




×







26



    }




×







27












28



}
























    

  • 

    •