equal
deleted
inserted
replaced
169 return compareTo(JDK1_7) >= 0; |
169 return compareTo(JDK1_7) >= 0; |
170 } |
170 } |
171 public boolean allowStringsInSwitch() { |
171 public boolean allowStringsInSwitch() { |
172 return compareTo(JDK1_7) >= 0; |
172 return compareTo(JDK1_7) >= 0; |
173 } |
173 } |
|
174 // JSR 292: recognize @PolymorphicSignature on java/dyn names |
|
175 public boolean allowPolymorphicSignature() { |
|
176 return compareTo(JDK1_7) >= 0; |
|
177 } |
174 public static SourceVersion toSourceVersion(Source source) { |
178 public static SourceVersion toSourceVersion(Source source) { |
175 switch(source) { |
179 switch(source) { |
176 case JDK1_2: |
180 case JDK1_2: |
177 return RELEASE_2; |
181 return RELEASE_2; |
178 case JDK1_3: |
182 case JDK1_3: |