Searched refs:art_exp (Results 1 – 1 of 1) sorted by relevance
60 public static void checkNames(Names res, Names art_exp, Names ri_exp) { in checkNames() argument62 if (!res.equals(art_exp)) { in checkNames()63 throw new Error("Not equal " + res + " != " + art_exp); in checkNames()