001package daikon.inv; 002 003import org.checkerframework.checker.lock.qual.GuardSatisfied; 004import org.checkerframework.dataflow.qual.SideEffectFree; 005 006/** 007 * This class is an enumerated type representing the possible results of adding a sample to an 008 * invariant. 009 */ 010public enum InvariantStatus { 011 012 /** No change was made to the invariant's validity. */ 013 NO_CHANGE, 014 015 /** The invariant was falsified. */ 016 FALSIFIED, 017 018 /** The invariant's condition being weakened. For example OneOf{1,3} became OneOf{1,3,10}. */ 019 WEAKENED; 020 021 @SideEffectFree 022 @Override 023 public String toString(@GuardSatisfied InvariantStatus this) { 024 return name().toLowerCase(); 025 } 026}