Lines Matching defs:Main
16 class Main implements Iface {
17 public static void main(String[] args) {
18 System.out.println("Create Main instance");
19 Main m = new Main();
20 System.out.println("Calling functions on concrete Main");
26 public static void callMain(Main m) {
27 System.out.println("Calling verifiable function on Main");
29 System.out.println("Calling unverifiable function on Main");
32 System.out.println("Unexpected no error Thrown on Main");
34 System.out.println("Expected NSME Thrown on Main");
36 System.out.println("Unexpected Error Thrown on Main");
39 System.out.println("Calling verifiable function on Main");
