php-deal /
framework
157 +89 Covered Lines
164 +88 Total Lines
95.7 % +6.3% Code Coverage
|
|
⇢ |
100%
|
MethodConditionFetcher added |
|
|
⇢ |
100%
|
MethodConditionWithInheritDocFetcher added |
|
|
⇢ |
100%
|
PostconditionContract added |
|
|
⇢ |
100%
|
PreconditionContract added |
|
|
⇢ |
100%
|
Contract added |
|
|
⇢ |
100%
|
InvariantContract added |
|
|
⇢ |
100%
|
MethodArgument added |
|
|
⇢ |
100%
|
Fetcher added |
|
|
⇢ |
100%
|
InvariantFetcher added |
|
93.65%
|
↘ |
70%
|
ContractCheckerAspect got worse |
|
|
⇢ |
5
|
Contract::ensureContractSatisfied() added |
|
|
⇢ |
3
|
PostconditionContract::fetchAllContracts() added |
|
|
⇢ |
3
|
Contract::fulfillContracts() added |
|
|
⇢ |
3
|
PreconditionContract::fetchAllContracts() added |
|
|
⇢ |
3
|
Fetcher::getContractAnnotations() added |
|
|
⇢ |
3
|
MethodConditionWithInheritDocFetcher::getCondition... added |
|
|
⇢ |
3
|
InvariantContract::fetchAllContracts() added |
|
|
⇢ |
2
|
InvariantFetcher::getConditions() added |
|
|
⇢ |
2
|
MethodConditionFetcher::getConditions() added |
|
|
⇢ |
2
|
MethodConditionWithInheritDocFetcher::getCondition... added |
| ⋮ | view more | ||
|
5.0073
|
↘ |
1
|
ContractCheckerAspect::postConditionContract() improved |
|
5
|
↛ |
|
ContractCheckerAspect::ensureContractSatisfied() removed |
|
1
|
↛ |
|
ContractCheckerAspect::getMethodArguments() removed |
