B
|
AbstractContractAspect::ensureContracts()
|
0
|
44
|
9
|
9.06
|
0
|
0
|
0
|
A
|
MethodConditionWithInheritDocFetcher::getConditions()
|
0
|
25
|
5
|
5.01
|
0
|
0
|
0
|
A
|
AbstractContractAspect::fetchMethodArguments()
|
0
|
18
|
5
|
5.02
|
0
|
0
|
0
|
A
|
InvariantFetcher::getConditions()
|
0
|
18
|
3
|
3
|
0
|
0
|
0
|
A
|
MethodConditionFetcher::getConditions()
|
0
|
18
|
3
|
3
|
0
|
0
|
0
|
A
|
InheritCheckerAspect::inheritMethodContracts()
|
0
|
17
|
3
|
3
|
0
|
0
|
0
|
A
|
PostconditionCheckerAspect::postConditionContract()
|
0
|
17
|
3
|
3.01
|
0
|
0
|
0
|
A
|
InheritCheckerAspect::inheritClassContracts()
|
0
|
17
|
3
|
12
|
0
|
0
|
0
|
A
|
InvariantCheckerAspect::invariantContract()
|
0
|
17
|
3
|
3
|
0
|
0
|
0
|
A
|
InheritCheckerAspect::fetchMethodContracts()
|
0
|
16
|
3
|
3.02
|
0
|
0
|
0
|
A
|
PreconditionCheckerAspect::fetchAllContracts()
|
0
|
14
|
3
|
3
|
0
|
0
|
0
|
A
|
MethodConditionWithInheritDocFetcher::getParentClassesMethods()
|
0
|
14
|
3
|
3
|
0
|
0
|
0
|
A
|
PostconditionCheckerAspect::fetchAllContracts()
|
0
|
14
|
3
|
3
|
0
|
0
|
0
|
A
|
MethodConditionFetcher::getParentClassesMethods()
|
0
|
14
|
3
|
3
|
0
|
0
|
0
|
A
|
AbstractFetcher::filterContractAnnotation()
|
0
|
14
|
3
|
3
|
0
|
0
|
0
|