⇢ | A | MethodArgument added | |
⇢ | A | Fetcher added | |
⇢ | A | InvariantFetcher added | |
⇢ | A | MethodConditionFetcher added | |
⇢ | A | MethodConditionWithInheritDocFetcher added | |
⇢ | A | PostconditionContract added | |
⇢ | A | PreconditionContract added | |
⇢ | A | InvariantContract added | |
⇢ | A | InvariantCheckerAspect added | |
⇢ | A | PostconditionCheckerAspect added | |
⋮ | view more | ||
A | ↛ | ContractCheckerAspect removed |
⇢ | B | Contract::ensureContractSatisfied() added | |
⇢ | A | InvariantContract::check() added | |
⇢ | A | InvariantContract::fetchAllContracts() added | |
⇢ | A | PostconditionContract::check() added | |
⇢ | A | PostconditionContract::fetchAllContracts() added | |
⇢ | A | PostconditionContract::fetchParentsContracts() added | |
⇢ | A | Contract::fulfillContracts() added | |
⇢ | A | PreconditionContract::fetchAllContracts() added | |
⇢ | A | PreconditionContract::fetchParentsContracts() added | |
⇢ | A | MethodArgument::fetch() added | |
⋮ | view more | ||
B | ↛ | ContractCheckerAspect::postConditionContract() removed | |
B | ↛ | ContractCheckerAspect::invariantContract() removed | |
B | ↛ | ContractCheckerAspect::ensureContractSatisfied() removed | |
A | ↛ | ContractCheckerAspect::preConditionContract() removed | |
A | ↛ | ContractCheckerAspect::getMethodArguments() removed | |
A | ↛ | ContractCheckerAspect::__construct() removed |