php-deal /
framework
| ⇢ | A | InvariantCheckerAspect added | |
| ⇢ | A | PostconditionCheckerAspect added | |
| ⇢ | A | PreconditionCheckerAspect added | |
| ⇢ | A | Contract added | |
| ⇢ | A | MethodArgument added | |
| ⇢ | A | Fetcher added | |
| ⇢ | A | InvariantFetcher added | |
| ⇢ | A | MethodConditionFetcher added | |
| ⇢ | A | MethodConditionWithInheritDocFetcher added | |
| ⇢ | A | PostconditionContract added | |
| ⋮ | view more | ||
| A | ↛ | ContractCheckerAspect removed | |
| ⇢ | B | Contract::ensureContractSatisfied() added | |
| ⇢ | A | Fetcher::getContractAnnotations() added | |
| ⇢ | A | InvariantFetcher::getConditions() added | |
| ⇢ | A | MethodConditionFetcher::getConditions() added | |
| ⇢ | A | MethodConditionWithInheritDocFetcher::getCondition... added | |
| ⇢ | A | MethodConditionWithInheritDocFetcher::getCondition... added | |
| ⇢ | A | InvariantContract::check() added | |
| ⇢ | A | InvariantContract::fetchAllContracts() added | |
| ⇢ | A | PostconditionContract::check() added | |
| ⇢ | A | PostconditionContract::fetchAllContracts() 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 | |
