equal
deleted
inserted
replaced
198 } |
198 } |
199 return name; |
199 return name; |
200 } |
200 } |
201 |
201 |
202 private static int nameToValue(String name, String[] names) { |
202 private static int nameToValue(String name, String[] names) { |
203 if (name.equals("")) { |
203 if (name.isEmpty()) { |
204 return -1; // invalid name |
204 return -1; // invalid name |
205 } else if (name.equals("*")) { |
205 } else if (name.equals("*")) { |
206 return QTYPE_STAR; // QTYPE_STAR == QCLASS_STAR |
206 return QTYPE_STAR; // QTYPE_STAR == QCLASS_STAR |
207 } |
207 } |
208 if (Character.isDigit(name.charAt(0))) { |
208 if (Character.isDigit(name.charAt(0))) { |