| 12 added classes/operations | |||
|
C | AbstractContractAspect::ensureContracts() added | |
|
A | AbstractContractAspect added | |
|
A | AbstractFetcher added | |
|
A | AbstractContractAspect::__construct() added | |
|
A | AbstractContractAspect::fetchMethodArguments() added | |
|
A | InvariantCheckerAspect::fetchAllContracts() added | |
|
A | PostconditionCheckerAspect::fetchAllContracts() added | |
|
A | PostconditionCheckerAspect::fetchParentsContracts() added | |
|
A | PreconditionCheckerAspect::fetchAllContracts() added | |
|
A | PreconditionCheckerAspect::fetchParentsContracts() added | |
| A | ↘ | B | MethodConditionWithInheritDocFetcher::getConditions() got worse |
| view all | |||
| Head | |
|---|---|
| ⋮ | 6 more commits |
| Base | |