master
verifaps-lib
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\VerificationEvent.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\SpecificationsPaneController.kt
7 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\SpecificationsPane.kt
0 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\SpecificationView.kt
0 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\SpecificationController.kt
6 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\Lockable.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\menu\StvsToolbarController.kt
27 6 1
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\menu\ConfigDialogPane.kt
 4 -
B
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\menu\ConfigDialogManager.kt
4 5 7
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\menu\AboutDialogPane.kt
0 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\editor\EditorPaneController.kt
8 6 1
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\editor\EditorPane.kt
2 4 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\common\PositiveIntegerInputField.kt
2 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\common\HostServiceSingleton.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\common\FileSelectionField.kt
1 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\common\FileChooserFactory.kt
0 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\common\AlertFactory.kt
5 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\common\ActualHyperLink.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\ViewUtils.kt
5 4 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\VerificationResultHandler.kt
0 2 -