* @generated NOT
*/
public EList<Requirement> getVerifies() {
// This should return the Requirements verified by current TestCase
EList<Requirement> verifies = new BasicEList<Requirement>();
Verify currentVerify = null;
if((getBase_Behavior() != null) || (getBase_Operation() != null)) {
// Find Verify link
Iterator<Dependency> itDep;
if(getBase_Behavior() != null) {
itDep = getBase_Behavior().getClientDependencies().iterator();
} else { // if (getBase_Operation() != null)
itDep = getBase_Operation().getClientDependencies().iterator();
}
while(itDep.hasNext()) {
Dependency currentDependency = itDep.next();
currentVerify = UMLUtil.getStereotypeApplication(currentDependency, Verify.class);
if(currentVerify != null) {
EList<NamedElement> suppliers = currentVerify.getBase_Abstraction().getSuppliers();
Iterator<NamedElement> it = suppliers.iterator();
while(it.hasNext()) {
Requirement currentRequirement = UMLUtil.getStereotypeApplication(it.next(), Requirement.class);
if(currentRequirement != null) {
verifies.add(currentRequirement);