test_class.file: mubench/src/test/java/de/tu_darmstadt/stg/mudetect/AlternativePatternInstancePredicateTest.java
test_class.identifier: AlternativePatternInstancePredicateTest
test_case.body: @Test
      public void keepsViolation_isInstanceOfRelatedPatternButViolationOverlapExtendsInstance() {
          final TestAUGBuilder target = buildAUG().withActionNodes("a", "b", "c");
          final TestAUGBuilder violatedPattern = buildAUG().withActionNodes("a", "b", "d");
          final TestAUGBuilder satisfiedPattern = buildAUG().withActionNodes("a", "c");
          final Overlap violation = buildOverlap(violatedPattern, target).withNodes("a", "b").build();
          final Overlap instance = buildOverlap(satisfiedPattern, target).withNodes("a", "c").build();
          final AlternativePatternInstancePredicate filter = new AlternativePatternInstancePredicate();
  
          assertFalse(filter.test(violation, Collections.singleton(instance)));
      }
test_case.class_method_signature: AlternativePatternInstancePredicateTest.keepsViolation_isInstanceOfRelatedPatternButViolationOverlapExtendsInstance()
test_case.full_signature: @Test public void keepsViolation_isInstanceOfRelatedPatternButViolationOverlapExtendsInstance()
test_case.identifier: keepsViolation_isInstanceOfRelatedPatternButViolationOverlapExtendsInstance
test_case.invocations: withActionNodes buildAUG withActionNodes buildAUG withActionNodes buildAUG build withNodes buildOverlap build withNodes buildOverlap assertFalse test singleton
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void keepsViolation_isInstanceOfRelatedPatternButViolationOverlapExtendsInstance()
focal_class.file: mubench/src/main/java/de/tu_darmstadt/stg/mudetect/AlternativePatternInstancePredicate.java
focal_class.identifier: AlternativePatternInstancePredicate
focal_class.class_method_signature: AlternativePatternInstancePredicate.test(Overlap violation, Collection<Overlap> instances)
focal_class.full_signature: public boolean test(Overlap violation, Collection<Overlap> instances)
focal_class.identifier: test
focal_class.modifiers: public
focal_class.parameters: (Overlap violation, Collection<Overlap> instances)
focal_class.return: boolean
focal_class.signature: boolean test(Overlap violation, Collection<Overlap> instances)
focal_method.body: public boolean test(Overlap violation, Collection<Overlap> instances) {
          for (Overlap instance : instances) {
              if (violation.isInTargetOverlap(instance)) {
                  return true;
              }
          }
          return false;
      }
focal_method.class_method_signature: AlternativePatternInstancePredicate.test(Overlap violation, Collection<Overlap> instances)
focal_method.full_signature: public boolean test(Overlap violation, Collection<Overlap> instances)
focal_method.identifier: test
focal_method.invocations: isInTargetOverlap
focal_method.modifiers: public
focal_method.parameters: (Overlap violation, Collection<Overlap> instances)
focal_method.return: boolean
focal_method.signature: boolean test(Overlap violation, Collection<Overlap> instances)