wadoon/jml-extract

master

jml-extract

Grade	Name	Complexity	Churn	Issues
A	lib\src\main\java\jml\impl\JetbrainsAnnotationSupport.java	12	1	1
A	lib\src\main\java\jml\impl\JmlTagger.java	1	1	-
A	lib\src\main\java\jml\impl\JmlTypeInference.java	1	1	-
B	lib\src\main\java\jml\impl\NaiveASTFlattener0.java	375	1	3
A	lib\src\main\java\jml\services\IJmlCommentPrinter.java	1	1	-
A	lib\src\scratch\ClassScanner.java	60	1	-
A	lib\src\scratch\JMLTokenFinder.java	3	1	-
A	lib\src\scratch\Main.java	10	1	-
A	lib\src\scratch\ShowProcessor.java	2	1	-
A	lib\src\test\java\jml\TestJmlParser.java	9	1	-