master
jml-extract
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
lib\src\main\java\jml\impl\SimpleJmlCommentPrinter.java
4 2 -
A
exe\build.gradle.kts
 2 -
A
lib\src\main\java\jml\services\IJmlAnnotationProcessor.java
1 2 -
A
settings.gradle.kts
 2 -
A
lib\src\main\java\jml\services\IJmlParser.java
2 2 -
A
lib\src\main\java\jml\services\IJmlTagger.java
1 2 -
A
lib\src\main\java\jml\PrettyPrinter.java
11 2 -
A
.travis.yml
 2 -
A
docs\mkdocs.yml
 2 -
A
lib\src\main\java\jml\impl\AstSerializer.java
119 2 2
A
lib\src\main\java\jml\services\IJmlTypeInference.java
1 2 1
A
lib\src\main\java\jml\JmlSpecs.java
3 2 -
A
lib\src\main\java\jml\impl\JmlParser.java
4 2 -
A
lib\src\main\java\jml\impl\JmlSerializer.java
205 2 -
A
lib\src\test\java\jml\TestFragments.java
9 3 -
A
lib\src\main\java\jml\impl\DefaultJmlTyper.java
106 3 3
A
lib\src\main\java\jml\ASTProperties.java
6 3 -
A
lib\src\main\java\jml\services\IJmlAttacher.java
3 4 -
A
exe\src\main\java\jml\Main.java
28 4 1
A
lib\src\main\java\jml\services\IJmlDetection.java
4 4 -