|
A
|
Fetcher\Parent\AbstractFetcher
|
1
|
43
|
4
|
63.64%
|
0
|
0
|
0
|
|
A
|
MethodConditionWithInheritDocFetcher
|
1
|
73
|
11
|
96.3%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Aspect\InvariantCheckerAspect
|
1
|
57
|
7
|
80.95%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Annotation\Ensure
|
0
|
7
|
1
|
100%
|
0
|
0
|
0
|
|
A
|
PhpDeal\ContractApplication
|
0
|
21
|
1
|
0%
|
0
|
0
|
0
|
|
A
|
Aspect\PostconditionCheckerAspect
|
1
|
74
|
8
|
80.77%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Annotation\Inherit
|
0
|
7
|
1
|
0%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Exception\ContractViolation
|
0
|
24
|
2
|
100%
|
0
|
0
|
0
|
|
A
|
Aspect\PreconditionCheckerAspect
|
1
|
65
|
6
|
77.27%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Annotation\Invariant
|
0
|
7
|
1
|
100%
|
0
|
0
|
0
|
|
A
|
Fetcher\Parent\InvariantFetcher
|
1
|
50
|
7
|
100%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Annotation\Verify
|
0
|
7
|
1
|
100%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Aspect\InheritCheckerAspect
|
1
|
124
|
14
|
46.81%
|
0
|
0
|
0
|
|
A
|
Fetcher\Parent\MethodConditionFetcher
|
1
|
66
|
9
|
100%
|
0
|
0
|
0
|
|
A
|
PhpDeal\Aspect\AbstractContractAspect
|
0
|
98
|
15
|
83.33%
|
0
|
0
|
0
|