xref: /aosp_15_r20/art/test/965-default-verify/src/Main.java (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker  * Copyright (C) 2015 The Android Open Source Project
3*795d594fSAndroid Build Coastguard Worker  *
4*795d594fSAndroid Build Coastguard Worker  * Licensed under the Apache License, Version 2.0 (the "License");
5*795d594fSAndroid Build Coastguard Worker  * you may not use this file except in compliance with the License.
6*795d594fSAndroid Build Coastguard Worker  * You may obtain a copy of the License at
7*795d594fSAndroid Build Coastguard Worker  *
8*795d594fSAndroid Build Coastguard Worker  *      http://www.apache.org/licenses/LICENSE-2.0
9*795d594fSAndroid Build Coastguard Worker  *
10*795d594fSAndroid Build Coastguard Worker  * Unless required by applicable law or agreed to in writing, software
11*795d594fSAndroid Build Coastguard Worker  * distributed under the License is distributed on an "AS IS" BASIS,
12*795d594fSAndroid Build Coastguard Worker  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*795d594fSAndroid Build Coastguard Worker  * See the License for the specific language governing permissions and
14*795d594fSAndroid Build Coastguard Worker  * limitations under the License.
15*795d594fSAndroid Build Coastguard Worker  */
16*795d594fSAndroid Build Coastguard Worker class Main implements Iface {
main(String[] args)17*795d594fSAndroid Build Coastguard Worker   public static void main(String[] args) {
18*795d594fSAndroid Build Coastguard Worker     System.out.println("Create Main instance");
19*795d594fSAndroid Build Coastguard Worker     Main m = new Main();
20*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling functions on concrete Main");
21*795d594fSAndroid Build Coastguard Worker     callMain(m);
22*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling functions on interface Iface");
23*795d594fSAndroid Build Coastguard Worker     callIface(m);
24*795d594fSAndroid Build Coastguard Worker   }
25*795d594fSAndroid Build Coastguard Worker 
callMain(Main m)26*795d594fSAndroid Build Coastguard Worker   public static void callMain(Main m) {
27*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling verifiable function on Main");
28*795d594fSAndroid Build Coastguard Worker     System.out.println(m.sayHi());
29*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling unverifiable function on Main");
30*795d594fSAndroid Build Coastguard Worker     try {
31*795d594fSAndroid Build Coastguard Worker       m.verificationSoftFail();
32*795d594fSAndroid Build Coastguard Worker       System.out.println("Unexpected no error Thrown on Main");
33*795d594fSAndroid Build Coastguard Worker     } catch (NoSuchMethodError e) {
34*795d594fSAndroid Build Coastguard Worker       System.out.println("Expected NSME Thrown on Main");
35*795d594fSAndroid Build Coastguard Worker     } catch (Throwable e) {
36*795d594fSAndroid Build Coastguard Worker       System.out.println("Unexpected Error Thrown on Main");
37*795d594fSAndroid Build Coastguard Worker       e.printStackTrace(System.out);
38*795d594fSAndroid Build Coastguard Worker     }
39*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling verifiable function on Main");
40*795d594fSAndroid Build Coastguard Worker     System.out.println(m.sayHi());
41*795d594fSAndroid Build Coastguard Worker     return;
42*795d594fSAndroid Build Coastguard Worker   }
43*795d594fSAndroid Build Coastguard Worker 
callIface(Iface m)44*795d594fSAndroid Build Coastguard Worker   public static void callIface(Iface m) {
45*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling verifiable function on Iface");
46*795d594fSAndroid Build Coastguard Worker     System.out.println(m.sayHi());
47*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling unverifiable function on Iface");
48*795d594fSAndroid Build Coastguard Worker     try {
49*795d594fSAndroid Build Coastguard Worker       m.verificationSoftFail();
50*795d594fSAndroid Build Coastguard Worker       System.out.println("Unexpected no error Thrown on Iface");
51*795d594fSAndroid Build Coastguard Worker     } catch (NoSuchMethodError e) {
52*795d594fSAndroid Build Coastguard Worker       System.out.println("Expected NSME Thrown on Iface");
53*795d594fSAndroid Build Coastguard Worker     } catch (Throwable e) {
54*795d594fSAndroid Build Coastguard Worker       System.out.println("Unexpected Error Thrown on Iface");
55*795d594fSAndroid Build Coastguard Worker       e.printStackTrace(System.out);
56*795d594fSAndroid Build Coastguard Worker     }
57*795d594fSAndroid Build Coastguard Worker     System.out.println("Calling verifiable function on Iface");
58*795d594fSAndroid Build Coastguard Worker     System.out.println(m.sayHi());
59*795d594fSAndroid Build Coastguard Worker     return;
60*795d594fSAndroid Build Coastguard Worker   }
61*795d594fSAndroid Build Coastguard Worker }
62