• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

LearnLib / automatalib / 15185022195

22 May 2025 11:10AM CUT coverage: 92.115% (+0.06%) from 92.058%
15185022195

Pull #90

github

web-flow
Merge 362da4acd into 407dc29eb
Pull Request #90: Bump minimal Java version to 11

28 of 28 new or added lines in 19 files covered. (100.0%)

16589 of 18009 relevant lines covered (92.12%)

1.71 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-2025 TU Dortmund University
2
 * This file is part of AutomataLib <https://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
}
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc