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