langtools/src/share/classes/com/sun/tools/javac/code/Source.java
changeset 3149 0cd06d598d6f
parent 2982 090c71af18f6
child 3765 9548183897cb
equal deleted inserted replaced
3148:7506c0293ff1 3149:0cd06d598d6f
   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: