// check that it's not a pattern that matches ""
if (re.matches("")) {
dynamicError("The regular expression in tokenize() must not be one that matches a zero-length string", "FORX0003", null);
}
return re.tokenize(input);
} catch (XPathException err) {
err.setErrorCode("FORX0002");
err.setXPathContext(c);
err.maybeSetLocation(this.getSourceLocator());