93 
  94     private Source(String name) {
  95         this.name = name;
  96     }
  97 
  98     public static final Source DEFAULT = JDK1_7;
  99 
 100     public static Source lookup(String name) {
 101         return tab.get(name);
 102     }
 103 
 104     public Target requiredTarget() {
 105         if (this.compareTo(JDK1_7) >= 0) return Target.JDK1_7;
 106         if (this.compareTo(JDK1_6) >= 0) return Target.JDK1_6;
 107         if (this.compareTo(JDK1_5) >= 0) return Target.JDK1_5;
 108         if (this.compareTo(JDK1_4) >= 0) return Target.JDK1_4;
 109         return Target.JDK1_1;
 110     }
 111 
 112     /** Allow encoding errors, giving only warnings. */



 113     public boolean allowEncodingErrors() {
 114         return compareTo(JDK1_6) < 0;
 115     }
 116     public boolean allowAsserts() {
 117         return compareTo(JDK1_4) >= 0;
 118     }
 119     public boolean allowCovariantReturns() {
 120         return compareTo(JDK1_5) >= 0;
 121     }
 122     public boolean allowGenerics() {
 123         return compareTo(JDK1_5) >= 0;
 124     }
 125     public boolean allowDiamond() {
 126         return compareTo(JDK1_7) >= 0;
 127     }
 128     public boolean allowEnums() {
 129         return compareTo(JDK1_5) >= 0;
 130     }
 131     public boolean allowForeach() {
 132         return compareTo(JDK1_5) >= 0;

  93 
  94     private Source(String name) {
  95         this.name = name;
  96     }
  97 
  98     public static final Source DEFAULT = JDK1_7;
  99 
 100     public static Source lookup(String name) {
 101         return tab.get(name);
 102     }
 103 
 104     public Target requiredTarget() {
 105         if (this.compareTo(JDK1_7) >= 0) return Target.JDK1_7;
 106         if (this.compareTo(JDK1_6) >= 0) return Target.JDK1_6;
 107         if (this.compareTo(JDK1_5) >= 0) return Target.JDK1_5;
 108         if (this.compareTo(JDK1_4) >= 0) return Target.JDK1_4;
 109         return Target.JDK1_1;
 110     }
 111 
 112     /** Allow encoding errors, giving only warnings. */
 113     public boolean allowStringsInSwitch() {
 114         return compareTo(JDK1_7) >= 0;
 115     }
 116     public boolean allowEncodingErrors() {
 117         return compareTo(JDK1_6) < 0;
 118     }
 119     public boolean allowAsserts() {
 120         return compareTo(JDK1_4) >= 0;
 121     }
 122     public boolean allowCovariantReturns() {
 123         return compareTo(JDK1_5) >= 0;
 124     }
 125     public boolean allowGenerics() {
 126         return compareTo(JDK1_5) >= 0;
 127     }
 128     public boolean allowDiamond() {
 129         return compareTo(JDK1_7) >= 0;
 130     }
 131     public boolean allowEnums() {
 132         return compareTo(JDK1_5) >= 0;
 133     }
 134     public boolean allowForeach() {
 135         return compareTo(JDK1_5) >= 0;