final String patchedName = patchName(name); final String localName = getLocalName(patchedName); final String uri = getNamespaceURI(patchedName, false);
if (_startTagOpen) { final String patchedName = patchName(name); final String localName = getLocalName(patchedName); final String uri = getNamespaceURI(patchedName, false);
    public void attribute(String name, final String value)        throws TransletException     {	final String patchedName = patchName(name);        final String localName = getLocalName(patchedName);        final String uri = getNamespaceURI(patchedName, false);        final int index = (localName == null) ?                _attributes.getIndex(name) :    /* don't use patchedName */                _attributes.getIndex(uri, localName);        if (!_startTagOpen) {            BasisLibrary.runTimeError(BasisLibrary.STRAY_ATTRIBUTE_ERR,                patchedName);        }	if (index >= 0) {       // Duplicate attribute?	    _attributes.setAttribute(index, uri, localName,		patchedName, "CDATA", value);	}	else {	    _attributes.addAttribute(uri, localName, patchedName,		"CDATA", value);        }    }