String getHref(Element element)

Source 

String getHref(Element element) {
  return (element as AnchorElement).href;
}