Returns an enum instance for the requested value. @param prefix error prefix @param name name @param names allowed names @param token type @return enum @throws BaseXException database exception
(final String prefix, final byte[] name, final E[] names)
| 88 | * @throws BaseXException database exception |
| 89 | */ |
| 90 | public static <E extends Enum<E>> E value(final String prefix, final byte[] name, final E[] names) |
| 91 | throws BaseXException { |
| 92 | |
| 93 | final String n = string(name); |
| 94 | for(final E nm : names) { |
| 95 | if(nm.toString().equals(n)) return nm; |
| 96 | } |
| 97 | throw new BaseXException("%: Unexpected element: \"%\".", prefix, name); |
| 98 | } |
| 99 | } |