/**
* Get an exception reporting an unexpected XML element.
*
* @param reader the stream reader
* @return the exception
*/
public static XMLStreamException unexpectedElement(
final XMLExtendedStreamReader reader, Set<String> possible) {
return ControllerLogger.ROOT_LOGGER.unexpectedElement(
reader.getName(), asStringList(possible), reader.getLocation());
}
/**
* Get an exception reporting an unexpected XML element.
*
* @param reader the stream reader
* @return the exception
*/
public static XMLStreamException unexpectedElement(final XMLExtendedStreamReader reader) {
return ControllerLogger.ROOT_LOGGER.unexpectedElement(reader.getName(), reader.getLocation());
}