Percentage | Lines | ||
---|---|---|---|
Inherit |
|
0 % | 7 |
ContractApplication |
|
0 % | 21 |
InheritCheckerAspect |
|
47 % | 124 |
AbstractFetcher |
|
64 % | 43 |
PreconditionCheckerAspect |
|
77 % | 65 |
PostconditionCheckerAspect |
|
81 % | 74 |
InvariantCheckerAspect |
|
81 % | 57 |
AbstractContractAspect |
|
83 % | 98 |
MethodConditionWithInheritDocFetcher |
|
96 % | 73 |
Ensure |
|
100 % | 7 |