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 | |