* Check that no character is used in more than one role
* @throws XPathException
*/
public void checkDistinctRoles() throws XPathException {
IntHashMap map = new IntHashMap(20);
map.put(decimalSeparator, StandardNames.DECIMAL_SEPARATOR);
if (map.get(groupingSeparator) != null) {
duplicate(StandardNames.GROUPING_SEPARATOR, (String)map.get(groupingSeparator));
}
map.put(groupingSeparator, StandardNames.GROUPING_SEPARATOR);
if (map.get(percent) != null) {
duplicate(StandardNames.PERCENT, (String)map.get(percent));
}
map.put(percent, StandardNames.PERCENT);
if (map.get(permill) != null) {
duplicate(StandardNames.PER_MILLE, (String)map.get(permill));
}
map.put(permill, StandardNames.PER_MILLE);
if (map.get(zeroDigit) != null) {
duplicate(StandardNames.ZERO_DIGIT, (String)map.get(zeroDigit));
}
map.put(zeroDigit, StandardNames.ZERO_DIGIT);
if (map.get(digit) != null) {
duplicate(StandardNames.DIGIT, (String)map.get(digit));
}
map.put(digit, StandardNames.DIGIT);
if (map.get(patternSeparator) != null) {
duplicate(StandardNames.PATTERN_SEPARATOR, (String)map.get(patternSeparator));
}
//map.put(patternSeparator, StandardNames.PATTERN_SEPARATOR);
}