9 added classes/operations | |||
![]() |
A | Inherit added | |
![]() |
A | InheritCheckerAspect added | |
![]() |
A | Inherit::__toString() added | |
![]() |
A | InheritCheckerAspect::__construct() added | |
![]() |
A | InheritCheckerAspect::inheritMethodContracts() added | |
![]() |
A | InheritCheckerAspect::inheritClassContracts() added | |
![]() |
A | InheritCheckerAspect::fetchMethodContracts() added | |
![]() |
A | InheritCheckerAspect::fetchParentsMethodContracts() added | |
![]() |
A | InheritCheckerAspect::fetchClassContracts() added |
A | ↘ | B | AbstractContractAspect::fetchMethodArguments() got worse |
12 added classes/operations | |||
![]() |
C | AbstractContractAspect::ensureContracts() added | |
![]() |
A | PreconditionCheckerAspect::fetchAllContracts() added | |
![]() |
A | PreconditionCheckerAspect::fetchParentsContracts() added | |
![]() |
A | AbstractFetcher::__construct() added | |
![]() |
A | AbstractFetcher::filterContractAnnotation() added | |
![]() |
A | PostconditionCheckerAspect::fetchParentsContracts() added | |
![]() |
A | InvariantCheckerAspect::fetchAllContracts() added | |
![]() |
A | AbstractFetcher added | |
![]() |
A | AbstractContractAspect::__construct() added | |
![]() |
A | AbstractContractAspect::fetchMethodArguments() added | |
A | ↘ | B | MethodConditionWithInheritDocFetcher::getConditions() got worse |
view all |
3 added classes/operations | |||
![]() |
A | PreconditionContract::__construct() added | |
![]() |
A | PostconditionContract::__construct() added | |
![]() |
A | InvariantContract::__construct() added |
43 added classes/operations | |||
![]() |
A | PreconditionContract::fetchParentsContracts() added | |
![]() |
A | InvariantContract::fetchParentsContracts() added | |
![]() |
B | Contract::ensureContractSatisfied() added | |
![]() |
A | InvariantContract added | |
![]() |
A | PreconditionContract::fetchAllContracts() added | |
![]() |
A | PreconditionContract::check() added | |
![]() |
A | InvariantContract::fetchAllContracts() added | |
![]() |
A | PostconditionContract::check() added | |
![]() |
A | PostconditionContract::fetchAllContracts() added | |
![]() |
A | PostconditionContract::fetchParentsContracts() added | |
view all |
Image URL | |
Markdown | |
Textile | |
RDOC | |
AsciiDoc |