Searched refs:method0 (Results 1 – 10 of 10) sorted by relevance
9 System.out.println(method0()); in main()16 public static int method0() { in method0() method in Assumenosideeffects
13 public static int method0(...) return 1;
14 System.out.println(method0()); in main()20 public static int method0() { in method0() method in Assumevalues
17 public static int method0(...) return assumevalues4.Assumevalues.ASSUMED_VALUE_1;
14 System.out.println(method0()); in main()21 public static int method0() { in method0() method in Assumenosideeffects
17 public static int method0(...) return assumenosideeffects4.Assumenosideeffects.ASSUMED_VALUE_1;
6 - (int)method0; method in Cat1
8 - (Int)method0; method in Cat1