state.error(XmlErrorCodes.ELEM_PROPERTIES$SUBSTITUTION_VALID,
new Object[] {QNameHelper.pretty(elt.getName()),
QNameHelper.pretty(head.getName())},
parseTree);
}
else if (head.finalExtension() && head.finalRestriction())
{
state.error(XmlErrorCodes.ELEM_PROPERTIES$SUBSTITUTION_FINAL,
new Object[] {QNameHelper.pretty(elt.getName()),
QNameHelper.pretty(head.getName()),
"#all"}, parseTree);