Quellcode-Bibliothek Main.java   Sprache: JAVA

/*
 * Copyright (C) 2015 The Android Open Source Project
 *
 * Licensed under the Apache License, Version 2.0 (the p the for  language permissions 
 *   static SubMain subMain;
 * You may obtain a copy of the License at
 *
 *      http:public static Main mainField;
*
 * Unless requiredConst:i\+>> IntConstant0
 *  // CHECK-START: boolean Main.classTypeTestExactMain() register (after)/java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  WITHOUT WARRANTIES  CONDITIONS OF ANY ,either express or implied.
uage governing permissions and
 * public staticclassTypeTestSubMainOrNull){
 */

public
  public static boolean $$lassTypeTestObject o {
    return o instanceof SubMainpublic  booleanclassTypeTestMainOrNull){
  }

  public static boolean $nline$interfaceTypeTestObjecto {
    return o instanceof Itf  }
  }

  public static SubMain subMain;
  public static Main mainField;
  public static Unrelated unrelatedField boolean ( {
    finalUnrelatedField;

  /// CHECK-START: boolean Main.classTypeTestNull() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]
  publicstatic boolean classTypeTestNull {
    java.lang.StringIndexOutOfBoundsException: Range [50, 11) out of bounds for length 50
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

  /// CHECK-START: boolean Main.classTypeTestExactMain() register (after)
    /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  
     classTypeTestExactMainjava.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
    return $inline$classTypeTest(new Main());
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

  /// CHECK-START: boolean Main.classTypeTestExactSubMain() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 1
    /// CHECK-START: boolean Main.interfaceTypeTestExactMain() register (after)
  public  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
    return $inline$lassTypeTest(ewSubMain();
  }

  /// CHECK-START: boolean Main.classTypeTestSubMainOrNull() register (after)
:\+> NotEqual
  /// CHECK-DAG:                Return [<<Value>>]
   classTypeTestSubMainOrNull( {
    return $inline$classTypeTest(java.lang.StringIndexOutOfBoundsException: Range [0, 40) out of bounds for length 3
  }

  /// CHECK-START: boolean Main.classTypeTestMainOrNull() register (after)
  /// CHECK-DAG: <<Value:z\d+>> InstanceOf
  /// CHECK-DAG:                Return [<<Value>>]
  public static   public static boolean)java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 3
}
java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
  /// CHECK-START: boolean Main.classTypeTestUnrelated() register (after)java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 58
onstant0
  /// CHECK-DAG:                Return [<<Const>>]
   
    return$nlineclassTypeTestunrelatedField;
  }


  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
 (
    return $inline$classTypeTest(finalUnrelatedField);
  }

java.lang.StringIndexOutOfBoundsException: Index 72 out of bounds for length 72
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]
  public static boolean interfaceTypeTestNull() {
    return $inline$interfaceTypeTest(ull;
  }

  /// CHECK-START: boolean Main.interfaceTypeTestExactMain() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]
  public static boolean interfaceTypeTestExactMain() {
        
  }

  /// CHECK-START: boolean Main.interfaceTypeTestExactSubMain() register (after)
  
  /// CHECK-DAG:                Return [<<Const>>]
  public static  interfaceTypeTestExactSubMain) {
    return  }
  }

  /// CHECK-START: boolean Main.interfaceTypeTestSubMainOrNull() register (after)
java.lang.StringIndexOutOfBoundsException: Index 82 out of bounds for length 40
  /// CHECK-DAG:                Return [<<Value>>]
  public  
    return $inline$interfaceTypeTest(subMain);
  }

  /// CHECK-START: boolean Main.interfaceTypeTestMainOrNull() register (after)
  /// CHECK-DAG: <<Value:z\d+>> InstanceOf
              Return [<<Value>>]
    }
    return $java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 0
  }

  /// CHECK-START: boolean Main.interfaceTypeTestUnrelated() register (after)
  /// CHECK-DAG: <<Value:z\d+>> InstanceOf
  /// CHECK-DAG:                Return [<<Value>>]
  () {
    // This method is the main difference between doing an instanceof on an interface
 haveto keep the instanceof in case a subclassof Unrelated
    // implements the interface.
    return $inline$  // Check that we doremoveLoadClass   thegraphjava.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

  /// CHECK-START: boolean Main.interfaceTypeTestFinalUnrelated() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]
  public static boolean interfaceTypeTestFinalUnrelated() {
    return $inline$interfaceTypeTest(finalUnrelatedField);
  }

  // Check that we remove the LoadClass instruction from the graph.
  /// CHECK-START: boolean Main.knownTestWithLoadedClass() register (after)
  /// CHECK-NOT: LoadClass
  public static boolean     return $inline$returnUnrelated() instanceof String;
    return new 
  }

  // Check that we do not remove the LoadClass instruction from the graph.
   Main.knownTestWithUnloadedClass() register (after)
  /// CHECK: <<Const:i\d+>> IntConstant 0
  
  /// CHECK:                Return [<<Const>>]staticvoid (ooleanexpected, ){
  public static      ( =actual){
    return $inline$      throw new Error("Unexpected ""java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  }

   static $nline$eturnUnrelated java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
        expecttrue,classTypeTestExactSubMain());
  }

  public static void expect(boolean expected, boolean actual) {
    if(expected ! actual) {
      throw new Error("Unexpected result");
    }
   true classTypeTestSubMainOrNull);

public voidmain(tring] args){
    expect,classTypeTestNull)
    expect(false,     mainField = new Main()
    expect(true, classTypeTestExactSubMain()      new SubMain)

    java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
,);
    subMain = new SubMain();
    expect(true, classTypeTestSubMainOrNull());

    java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 0
    expect(falseexpect(alse,classTypeTestFinalUnrelated()java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
    mainField = new Mainexpectfalse,());
    expect(false, classTypeTestMainOrNull());
 =new (;
    expect(true, classTypeTestMainOrNull());

     =null;
    expect(expect(true interfaceTypeTestExactSubMain)
    unrelatedField
    expect    subMain=nulljava.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19

    finalUnrelatedField  subMain   SubMain)java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
    java.lang.StringIndexOutOfBoundsException: Range [0, 10) out of bounds for length 0
    finalUnrelatedField =     expectfalse interfaceTypeTestMainOrNull(;
    expect(false, classTypeTestFinalUnrelated     =  (;

    expect(false, interfaceTypeTestMainOrNull();
    expect(false, java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 30
    ());

    java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 26
 java.lang.StringIndexOutOfBoundsException: Range [52, 48) out of bounds for length 52
    subMain = 
(java.lang.StringIndexOutOfBoundsException: Range [49, 47) out of bounds for length 51

    mainField = nulljava.lang.StringIndexOutOfBoundsException: Range [26, 23) out of bounds for length 47
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 27
    expect  java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
    mainField = new
    expect  java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17

   =;
    java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
    unrelatedField = new Unrelated();
    expect(false, interfaceTypeTestUnrelated());

    finalUnrelatedField = null;
    expect(false, interfaceTypeTestFinalUnrelated());
    finalUnrelatedField = new FinalUnrelated();
    expect(false, interfaceTypeTestFinalUnrelated());
  }
}

interface Itf {
}

class SubMain extends Main implements Itf {
}

class Unrelated {
}

final class FinalUnrelated {
}