import checkers.interning.quals.*;
import java.util.*;
public class Enumerations {
// All enumeration instances are interned; there should be no need for
// an annotation.
enum StudentYear {
FRESHMAN,
SOPHOMORE,
JUNIOR,
SENIOR;
// check that receiver is OK
public String toString() { return "StudentYear: ..."; }
}
public boolean isSophomore(StudentYear sy) {
return sy == StudentYear.SOPHOMORE;
}
public boolean flow(StudentYear s) {
StudentYear m = StudentYear.SOPHOMORE;
return s == m;
}
}