Robust/src/Analysis/SSJava/WriteAge.java

   1 package Analysis.SSJava;
   2
   3 public class WriteAge {
   4
   5   private int writeAge;
   6
   7   public WriteAge(int age) {
   8     this.writeAge = age;
   9   }
  10
  11   public int getAge() {
  12     return writeAge;
  13   }
  14
  15   public WriteAge copy() {
  16     return new WriteAge(writeAge);
  17   }
  18
  19   public void inc() {
  20     if (writeAge <= DefinitelyWrittenCheck.MAXAGE) {
  21       writeAge++;
  22     }
  23   }
  24
  25   public int hashCode() {
  26     return 31 + writeAge;
  27   }
  28
  29   public boolean equals(Object obj) {
  30     if (this == obj) {
  31       return true;
  32     }
  33     if (obj == null) {
  34       return false;
  35     }
  36     if (!(obj instanceof WriteAge)) {
  37       return false;
  38     }
  39     WriteAge other = (WriteAge) obj;
  40     if (writeAge != other.writeAge) {
  41       return false;
  42     }
  43     return true;
  44   }
  45
  46   public String toString() {
  47     if (writeAge > DefinitelyWrittenCheck.MAXAGE) {
  48       return "many";
  49     }
  50     return Integer.toString(writeAge);
  51   }
  52
  53 }