wadoon/jml-extract

master

jml-extract

Grade	Name	Complexity	Churn	Issues
A	lib\src\main\java\jml\JmlProject.java	51	8	1
A	lib\src\test\java\jml\Test.java	34	8	-
A	lib\src\main\java\jml\JmlCore.java	15	6	1
A	lib\src\main\java\jml\JmlComment.java	28	6	-
A	example\JMLTest.java	3	6	-
A	lib\src\main\java\jml\impl\SimpleJmlDetection.java	60	6	3
A	lib\src\main\java\jml\impl\JmlAttacher.java	54	5	3
A	lib\src\test\java\jml\impl\SimpleJmlDetectionTest.java	11	5	-
A	lib\build.gradle.kts	3	5	-
A	exe\src\main\java\jml\Main.java	28	4	1
A	lib\src\main\java\jml\services\IJmlDetection.java	4	4	-
A	lib\src\main\java\jml\services\IJmlAttacher.java	3	4	-
A	example\Test.java	4	4	-
A	lib\src\main\java\jml\impl\DefaultJmlTyper.java	106	3	3
A	lib\src\test\java\jml\TestFragments.java	9	3	-
A	lib\src\main\java\jml\ASTProperties.java	6	3	-
A	exe\build.gradle.kts		2	-
A	lib\src\main\java\jml\impl\JmlSerializer.java	205	2	-
A	lib\src\main\java\jml\impl\JmlParser.java	4	2	-
A	lib\src\main\java\jml\JmlSpecs.java	3	2	-