1 package Analysis.SSJava;
3 public class WriteAge {
7 public WriteAge(int age) {
15 public WriteAge copy() {
16 return new WriteAge(writeAge);
20 if (writeAge <= DefinitelyWrittenCheck.MAXAGE) {
25 public int hashCode() {
29 public boolean equals(Object obj) {
36 if (!(obj instanceof WriteAge)) {
39 WriteAge other = (WriteAge) obj;
40 if (writeAge != other.writeAge) {
46 public String toString() {
47 if (writeAge > DefinitelyWrittenCheck.MAXAGE) {
50 return Integer.toString(writeAge);