master
jml-extract
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
example\Abc.java
 1 -
A
settings.gradle.kts
 2 -
A
cli-tests.sh
 1 -
A
lib\src\JmlAst.java
 1 -
A
exe\build.gradle.kts
 2 -
A
.travis.yml
 2 -
A
docs\mkdocs.yml
 2 -
A
lib\src\main\java\jml\JmlProblem.java
 1 -
A
lib\src\main\java\jml\services\IJmlTagger.java
1 2 -
A
exe\src\test\java\IntegrationTests.java
1 1 -
A
lib\src\main\java\jml\PartialAst.java
1 1 -
A
lib\src\main\java\jml\services\IJmlTypeInference.java
1 2 1
A
lib\src\main\java\jml\services\IJmlCommentPrinter.java
1 1 -
A
example\JetbrainsAnnotationExample.java
1 1 -
A
lib\src\main\java\jml\services\IJmlAnnotationProcessor.java
1 2 -
A
lib\src\main\java\jml\impl\JmlTagger.java
1 1 -
A
lib\src\main\java\jml\impl\JmlTypeInference.java
1 1 -
A
lib\src\scratch\ShowProcessor.java
2 1 -
A
lib\src\main\java\jml\services\IJmlParser.java
2 2 -
A
lib\src\main\java\jml\ASTCollector.java
2 1 -