master
jml-extract
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
settings.gradle.kts
 2 -
A
lib\src\test\java\jml\impl\SimpleJmlDetectionTest.java
11 5 -
A
lib\src\test\java\jml\TestJmlParser.java
9 1 -
A
lib\src\test\java\jml\TestFragments.java
9 3 -
A
lib\src\test\java\jml\Test.java
34 8 -
A
lib\src\scratch\ShowProcessor.java
2 1 -
A
lib\src\scratch\Main.java
10 1 -
A
lib\src\scratch\JMLTokenFinder.java
3 1 -
A
lib\src\scratch\ClassScanner.java
60 1 -
A
lib\src\main\java\jml\services\IJmlTypeInference.java
1 2 1
A
lib\src\main\java\jml\services\IJmlTagger.java
1 2 -
A
lib\src\main\java\jml\services\IJmlParser.java
2 2 -
A
lib\src\main\java\jml\services\IJmlDetection.java
4 4 -
A
lib\src\main\java\jml\services\IJmlCommentPrinter.java
1 1 -
A
lib\src\main\java\jml\services\IJmlAttacher.java
3 4 -
A
lib\src\main\java\jml\services\IJmlAnnotationProcessor.java
1 2 -
A
lib\src\main\java\jml\impl\SimpleJmlDetection.java
60 6 3
A
lib\src\main\java\jml\impl\SimpleJmlCommentPrinter.java
4 2 -
B
lib\src\main\java\jml\impl\NaiveASTFlattener0.java
375 1 3
A
lib\src\main\java\jml\impl\JmlTypeInference.java
1 1 -