src/share/classes/com/sun/tools/javac/code/Source.java

changeset 1510
7873d37f5b37
parent 1442
fcf89720ae71
child 1513
cf84b07a82db
     1.1 --- a/src/share/classes/com/sun/tools/javac/code/Source.java	Mon Jan 21 11:16:28 2013 -0800
     1.2 +++ b/src/share/classes/com/sun/tools/javac/code/Source.java	Mon Jan 21 20:13:56 2013 +0000
     1.3 @@ -218,6 +218,12 @@
     1.4      public boolean allowIntersectionTypesInCast() {
     1.5          return compareTo(JDK1_8) >= 0;
     1.6      }
     1.7 +    public boolean allowEarlyReturnConstraints() {
     1.8 +        return compareTo(JDK1_8) >= 0;
     1.9 +    }
    1.10 +    public boolean allowStructuralMostSpecific() {
    1.11 +        return compareTo(JDK1_8) >= 0;
    1.12 +    }
    1.13      public static SourceVersion toSourceVersion(Source source) {
    1.14          switch(source) {
    1.15          case JDK1_2:

mercurial