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