checkTopLevel(null);
checkEmpty();
}
public DecimalSymbols makeDecimalFormatSymbols() throws XPathException {
DecimalSymbols d = new DecimalSymbols();
if (decimalSeparator!=null) {
d.decimalSeparator = (toChar(decimalSeparator));
}
if (groupingSeparator!=null) {
d.groupingSeparator = (toChar(groupingSeparator));
}
if (infinity!=null) {
d.infinity = (infinity);
}
if (minusSign!=null) {
d.minusSign = (toChar(minusSign));
}
if (NaN!=null) {
d.NaN = (NaN);
}
if (percent!=null) {
d.percent = (toChar(percent));
}
if (perMille!=null) {
d.permill = (toChar(perMille));
}
if (zeroDigit!=null) {
d.zeroDigit = (toChar(zeroDigit));
if (!(d.isValidZeroDigit())) {
compileError(
"The value of the zero-digit attribute must be a Unicode digit with value zero",
"XTSE1295");
}
}
if (digit!=null) {
d.digit = (toChar(digit));
}
if (patternSeparator!=null) {
d.patternSeparator = (toChar(patternSeparator));
}
try {
d.checkDistinctRoles();
} catch (XPathException err) {
compileError(err.getMessage(), "XTSE1300");
}
return d;
}