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}