Source file "org/checkerframework/checker/regex/RegexUtil.java" was not found during generation of report.
Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
Total | 137 of 137 | 0% | 8 of 8 | 0% | 16 | 16 | 38 | 38 | 12 | 12 |
regexException(String, int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
asRegex(String, int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
regexError(String, int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
regexErrorMessage(String, int, int) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
isRegex(String, int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
RegexUtil() | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
getGroupCount(Pattern) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
isRegex(String) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
isRegex(char) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
regexError(String) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
regexException(String) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
asRegex(String) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |