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\model\expressions\TypeEnumHandler.kt
0 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\TypeEnum.kt
5 3 1
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\TypeChecker.kt
8 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\TypeCheckException.kt
7 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\TypeBooleanHandler.kt
0 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\TypeBool.kt
2 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\Type.kt
1 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\LowerBoundedInterval.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\LiteralExpr.kt
0 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\GuardedExpression.kt
0 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\ExpressionVisitor.kt
0 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\Expression.kt
0 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\expressions\BinaryFunctionExpr.kt
0 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\config\History.kt
8 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\config\GlobalConfig.kt
15 3 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\config\ColumnConfig.kt
3 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\common\VariableRole.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\common\VariableCategory.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\common\Variable.kt
 2 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\common\ValidFreeVariable.kt
0 3 -