master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Data\Expression\IBinaryExpression.cs
 1 -
A
ModelAnalyzer.Verification\CallSequence.cs
5 1 -
A
ModelAnalyzer.Data\Table\PropertyTable.cs
1 1 -
A
ModelAnalyzer.Data\Table\ReadOnlyLocalTable.cs
 1 -
A
ModelAnalyzer.Data\Expression\IUnaryExpression.cs
 1 -
A
ModelAnalyzer.Data\Table\ReadOnlyPropertyTable.cs
 1 -
A
ModelAnalyzer.Data\Ensure\EnsureViolation.cs
 1 -
A
ModelAnalyzer.Data\Parameter\IUnsupportedParameter.cs
 1 -
A
ModelAnalyzer.Data\Ensure\IEnsureViolation.cs
 1 -
A
ModelAnalyzer.Data\Variable\IVariable.cs
 1 -
A
ModelAnalyzer.Data\Local\IUnsupportedLocal.cs
 1 -
A
ModelAnalyzer.Data\Operator\EqualityOperator.cs
 1 -
A
ModelAnalyzer.Data\Expression\ElementAccessExpression.cs
 1 -
A
ModelAnalyzer.Data\Statement\IMethodCallStatement.cs
 1 -
A
ModelAnalyzer.Verification\Capsule\ObjectRefExprCapsule.cs
 1 -
A
ModelAnalyzer.Verification\Capsule\ArrayRefExprCapsule.cs
 1 -
A
ModelAnalyzer.Data\Variable\IVariableName.cs
 1 -
A
ModelAnalyzer.Data\Statement\IStatement.cs
 1 -
A
ModelAnalyzer.Data\Statement\IArgument.cs
 1 -
A
ModelAnalyzer.Data\Invariant\InvariantViolation.cs
 1 -