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