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 |
Alexander Lisachenko
Merge pull request #13 from lisachenko/simplify-code-after-changes
|
---|---|
⋮ | 6 more commits |
Base |
Alexander Lisachenko
Merge pull request #12 from pdaw/master
|