001package daikon.inv.filter;
002
003import daikon.inv.Invariant;
004
005public class UnjustifiedFilter extends InvariantFilter {
006  @Override
007  public String getDescription() {
008    return "Suppress unjustified invariants";
009  }
010
011  /** Boolean. If true, UnjustifiedFilter is initially turned on. */
012  public static boolean dkconfig_enabled = true;
013
014  public UnjustifiedFilter() {
015    isOn = dkconfig_enabled;
016  }
017
018  @Override
019  boolean shouldDiscardInvariant(Invariant invariant) {
020    return !invariant.justified();
021  }
022}