@Override public void element(String elementName,Augmentations augs) throws XNIException {
  if (fMixed && fValidation) {
    if (fMixedElementTypes.contains(elementName)) {
      fErrorReporter.reportError(XMLMessageFormatter.XML_DOMAIN,"DuplicateTypeInMixedContent",new Object[]{fDTDElementDeclName,elementName},XMLErrorReporter.SEVERITY_ERROR);
    }
 else {
      fMixedElementTypes.add(elementName);
    }
  }
  if (fDTDGrammar != null)   fDTDGrammar.element(elementName,augs);
  if (fDTDContentModelHandler != null) {
    fDTDContentModelHandler.element(elementName,augs);
  }
}

@ Override public void element ( String elementName , Augmentations augs ) throws XNIException { if ( fMixed && fValidation ) { if ( fMixedElementTypes . contains ( elementName ) ) { fErrorReporter . reportError ( XMLMessageFormatter . XML_DOMAIN , "DuplicateTypeInMixedContent" , new Object [ ] { fDTDElementDeclName , elementName } , XMLErrorReporter . SEVERITY_ERROR ) ; } else { fMixedElementTypes . add ( elementName ) ; } } if ( fDTDGrammar != null ) fDTDGrammar . element ( elementName , augs ) ; if ( fDTDContentModelHandler != null ) { fDTDContentModelHandler . element ( elementName , augs ) ; } }
a referenced element in a mixed or children content model .
