master
jml-extract
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
lib\src\main\java\jml\services\IJmlTagger.java
1 2 -
A
lib\src\main\java\jml\PrettyPrinter.java
11 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\impl\JmlParser.java
4 2 -
A
lib\src\main\java\jml\impl\JmlSerializer.java
205 2 -
A
settings.gradle.kts
 2 -
A
lib\src\main\java\jml\JmlSpecs.java
3 2 -
A
.travis.yml
 2 -
A
docs\mkdocs.yml
 2 -
B
lib\src\main\java\jml\impl\NaiveASTFlattener0.java
375 1 3
A
example\Abc.java
 1 -
A
lib\src\main\java\jml\JmlProblem.java
 1 -
A
lib\src\main\java\jml\services\IJmlCommentPrinter.java
1 1 -
A
cli-tests.sh
 1 -
A
exe\src\test\java\IntegrationTests.java
1 1 -
A
lib\src\main\java\jml\Lookup.java
9 1 1
A
lib\src\main\java\jml\PartialAst.java
1 1 -
A
lib\src\JmlAst.java
 1 -
A
example\JetbrainsAnnotationExample.java
1 1 -