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}