public static int search_type_by_name(Type_table type_table, String name) {
        int num = type_table.type_name.size();
        for (int i = 0; i < num; i++) {
            if (type_table.type_name.get(i).toString().equals(name)) {
                return i;
            }
        }
        return -1;
    }