public void run() {
userAgent.setSVGCursor(holder.getCursor());
String href = elt.getHref().getAnimVal();
ParsedURL purl = new ParsedURL(elt.getBaseURI(), href);
SVGOMDocument doc = (SVGOMDocument) elt.getOwnerDocument();
ParsedURL durl = doc.getParsedURL();
if (purl.sameFile(durl)) {
String frag = purl.getRef();
if (frag != null && frag.length() != 0) {
Element refElt = doc.getElementById(frag);
if (refElt instanceof SVGOMAnimationElement) {
SVGOMAnimationElement aelt =
(SVGOMAnimationElement) refElt;
float t = aelt.getHyperlinkBeginTime();
if (Float.isNaN(t)) {
aelt.beginElement();
} else {
doc.getRootElement().setCurrentTime(t);
}
return;
}
}
}