equal
deleted
inserted
replaced
151 return compareTo(JDK1_5) >= 0; |
151 return compareTo(JDK1_5) >= 0; |
152 } |
152 } |
153 public boolean enforceMandatoryWarnings() { |
153 public boolean enforceMandatoryWarnings() { |
154 return compareTo(JDK1_5) >= 0; |
154 return compareTo(JDK1_5) >= 0; |
155 } |
155 } |
|
156 public boolean allowTypeAnnotations() { |
|
157 return compareTo(JDK1_7) >= 0; |
|
158 } |
156 public static SourceVersion toSourceVersion(Source source) { |
159 public static SourceVersion toSourceVersion(Source source) { |
157 switch(source) { |
160 switch(source) { |
158 case JDK1_2: |
161 case JDK1_2: |
159 return RELEASE_2; |
162 return RELEASE_2; |
160 case JDK1_3: |
163 case JDK1_3: |