45   public static void checkDefaultNames(Names res) {  in checkDefaultNames()  argument
47       if (!res.native_name.matches("Thread-[0-9]+")) {  in checkDefaultNames()
48         throw new Error("Bad thread name! " + res);  in checkDefaultNames()
51       if (!res.native_name.equals("native-thread")) {  in checkDefaultNames()
52         throw new Error("Bad thread name! " + res);  in checkDefaultNames()
55     if (!res.java_name.matches("Thread-[0-9]+")) {  in checkDefaultNames()
56       throw new Error("Bad thread name! " + res);  in checkDefaultNames()
60   public static void checkNames(Names res, Names art_exp, Names ri_exp) {  in checkNames()  argument
62       if (!res.equals(art_exp)) {  in checkNames()
63         throw new Error("Not equal " + res + " != " + art_exp);  in checkNames()
66       if (!res.equals(ri_exp)) {  in checkNames()
67         throw new Error("Not equal " + res + " != " + ri_exp);  in checkNames()