|
InheritCheckerAspect::fetchClassContracts()
|
12
|
11 |
|
InheritCheckerAspect::inheritClassContracts()
|
12
|
17 |
|
AbstractContractAspect::ensureContracts()
|
9
|
44 |
|
AbstractContractAspect::fetchMethodArguments()
|
5
|
18 |
|
MethodConditionWithInheritDocFetcher::getConditions()
|
5
|
25 |
|
InheritCheckerAspect::fetchMethodContracts()
|
3
|
16 |
|
PostconditionCheckerAspect::postConditionContract()
|
3
|
17 |
|
InvariantCheckerAspect::fetchAllContracts()
|
3
|
11 |
|
AbstractFetcher::filterContractAnnotation()
|
3
|
14 |
|
InheritCheckerAspect::inheritMethodContracts()
|
3
|
17 |
|
|