php-deal /
framework
154 +86 Covered Lines
172 +96 Total Lines
89.5 % +0.061% Code Coverage
|
|
⇢ |
40%
|
InvariantCheckerAspect added |
|
|
⇢ |
40%
|
PostconditionCheckerAspect added |
|
|
⇢ |
50%
|
PreconditionCheckerAspect added |
|
|
⇢ |
88.46%
|
Contract added |
|
|
⇢ |
100%
|
MethodArgument added |
|
|
⇢ |
100%
|
Fetcher added |
|
|
⇢ |
100%
|
InvariantFetcher added |
|
|
⇢ |
100%
|
MethodConditionFetcher added |
|
|
⇢ |
100%
|
MethodConditionWithInheritDocFetcher added |
|
|
⇢ |
100%
|
PostconditionContract added |
| ⋮ | view more | ||
|
93.65%
|
↛ |
|
ContractCheckerAspect removed |
|
|
⇢ |
5
|
Contract::ensureContractSatisfied() added |
|
|
⇢ |
3
|
MethodConditionWithInheritDocFetcher::getCondition... added |
|
|
⇢ |
3
|
InvariantContract::fetchAllContracts() added |
|
|
⇢ |
3
|
PostconditionContract::fetchAllContracts() added |
|
|
⇢ |
3
|
Contract::fulfillContracts() added |
|
|
⇢ |
3
|
PreconditionContract::fetchAllContracts() added |
|
|
⇢ |
3
|
Fetcher::getContractAnnotations() added |
|
|
⇢ |
2
|
MethodConditionFetcher::getConditions() added |
|
|
⇢ |
2
|
MethodConditionWithInheritDocFetcher::getCondition... added |
|
|
⇢ |
2
|
PreconditionCheckerAspect::__construct() added |
| ⋮ | view more | ||
|
5.0073
|
↛ |
|
ContractCheckerAspect::postConditionContract() removed |
|
5
|
↛ |
|
ContractCheckerAspect::invariantContract() removed |
|
5
|
↛ |
|
ContractCheckerAspect::ensureContractSatisfied() removed |
|
4
|
↛ |
|
ContractCheckerAspect::preConditionContract() removed |
|
2
|
↛ |
|
ContractCheckerAspect::__construct() removed |
|
1
|
↛ |
|
ContractCheckerAspect::getMethodArguments() removed |
