1 /*
2  * Copyright (C) 2014 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 public class Main {
18   public static Object a;
19 
assertTrue(boolean value)20   public static void assertTrue(boolean value) {
21     if (!value) {
22       throw new Error("Wrong result");
23     }
24   }
25 
assertFalse(boolean value)26   public static void assertFalse(boolean value) {
27     if (value) {
28       throw new Error("Wrong result");
29     }
30   }
31 
$opt$InstanceOfMain()32   public static boolean $opt$InstanceOfMain() {
33     return a instanceof Main;
34   }
35 
$opt$InstanceOfFinalClass()36   public static boolean $opt$InstanceOfFinalClass() {
37     return a instanceof FinalClass;
38   }
39 
main(String[] args)40   public static void main(String[] args) {
41     $opt$TestMain();
42     $opt$TestFinalClass();
43   }
44 
$opt$TestMain()45   public static void $opt$TestMain() {
46     a = new Main();
47     assertTrue($opt$InstanceOfMain());
48     a = null;
49     assertFalse($opt$InstanceOfMain());
50     a = new MainChild();
51     assertTrue($opt$InstanceOfMain());
52     a = new Object();
53     assertFalse($opt$InstanceOfMain());
54   }
55 
$opt$TestFinalClass()56   public static void $opt$TestFinalClass() {
57     a = new FinalClass();
58     assertTrue($opt$InstanceOfFinalClass());
59     a = null;
60     assertFalse($opt$InstanceOfFinalClass());
61     a = new Main();
62     assertFalse($opt$InstanceOfFinalClass());
63     a = new Object();
64     assertFalse($opt$InstanceOfFinalClass());
65   }
66 
67   static class MainChild extends Main {}
68 
69   static final class FinalClass {}
70 }
71