PropositionPredicate.java

1 
package com.github.valid8j.metamor;
2
3 
import com.github.valid8j.pcond.core.Evaluable;
4 
import com.github.valid8j.pcond.core.printable.PrintablePredicate;
5
6 
import java.util.function.Predicate;
7
8 
import static java.util.Collections.emptyList;
9
10 
public class PropositionPredicate extends PrintablePredicate<Proposition> implements Evaluable.LeafPred<Proposition> {
11 
  public static final PropositionPredicate INSTANCE = new PropositionPredicate();
12
13 
  protected PropositionPredicate() {
14 1 1. lambda$new$0 : replaced return value with "" for com/github/valid8j/metamor/PropositionPredicate::lambda$new$0 → SURVIVED
 
    super(new Object(), emptyList(), () -> "evaluate", Proposition::evaluate);
15 
  }
16
17 
  @Override
18 
  public Predicate<? super Proposition> predicate() {
19 1 1. predicate : replaced return value with null for com/github/valid8j/metamor/PropositionPredicate::predicate → KILLED
 
    return super.predicate;
20 
  }
21 
}

Mutations

14

1.1
Location : lambda$new$0
Killed by : none replaced return value with "" for com/github/valid8j/metamor/PropositionPredicate::lambda$new$0 → SURVIVED
19

1.1
Location : predicate
Killed by : com.github.valid8j.examples.test.ExamplesTest.testMetarmorExamplePassing(com.github.valid8j.examples.test.ExamplesTest) replaced return value with null for com/github/valid8j/metamor/PropositionPredicate::predicate → KILLED

Active mutators

Tests examined


Report generated by PIT 1.7.3