⇢ | A | MethodConditionFetcher added | |
⇢ | A | MethodConditionWithInheritDocFetcher added | |
⇢ | A | AbstractFetcher added | |
⇢ | A | InvariantFetcher added | |
A | ↛ | MethodConditionFetcher removed | |
A | ↛ | MethodConditionWithInheritDocFetcher removed | |
A | ↛ | AbstractFetcher removed | |
A | ↛ | InvariantFetcher removed |
⇢ | A | InvariantFetcher::getConditions() added | |
⇢ | A | InvariantFetcher::getParentClasses() added | |
⇢ | A | InvariantFetcher::getInterfaces() added | |
⇢ | A | MethodConditionFetcher::getConditions() added | |
⇢ | A | MethodConditionFetcher::getParentClassesMethods() added | |
⇢ | A | MethodConditionFetcher::getInterfacesMethods() added | |
⇢ | A | MethodConditionWithInheritDocFetcher::getCondition... added | |
⇢ | A | MethodConditionWithInheritDocFetcher::getParentCla... added | |
⇢ | A | AbstractFetcher::__construct() added | |
⇢ | A | AbstractFetcher::filterContractAnnotation() added | |
⋮ | view more | ||
B | ↛ | MethodConditionWithInheritDocFetcher::getCondition... removed | |
A | ↛ | MethodConditionFetcher::getConditions() removed | |
A | ↛ | InvariantFetcher::getConditions() removed | |
A | ↛ | AbstractFetcher::__construct() removed | |
A | ↛ | AbstractFetcher::filterContractAnnotation() removed |