Source position: dom.pp line 633
public function TDOMElement.hasAttribute(
const name: DOMString
):Boolean;