001    package daikon.inv;
002    
003    /**
004     * This class is an enumerated type representing the possible results of
005     * adding an sample to an invariant.
006     */
007    public final /*@Interned*/ class InvariantStatus {
008    
009      private final String status;
010    
011      private InvariantStatus(String status) {
012        this.status = status;
013      }
014    
015      public String toString() { return status; }
016    
017      /**
018       * The InvariantStatus that represents no change being made to the
019       * invariant's validity.
020       */
021      public static final InvariantStatus NO_CHANGE = new InvariantStatus("no_change");
022    
023      /**
024       * The InvariantStatus that represents an invariant being falsified.
025       */
026      public static final InvariantStatus FALSIFIED = new InvariantStatus("falsified");
027    
028      /**
029       * The InvariantStatus that represents an invariant's condition being weakened.
030       * For example OneOf{1,3} going to OneOf{1,3,10}.
031       */
032      public static final InvariantStatus WEAKENED = new InvariantStatus("weakened");
033    
034    }