public class HTMLParser
extends java.lang.Object
Constructor and Description |
---|
HTMLParser(java.lang.String source,
java.net.URL baseURL,
SourceLocation.SourceLocationMaker maker)
Parses the given HTML source.
|
HTMLParser(java.net.URL location)
Parses the given HTML file.
|
Modifier and Type | Method and Description |
---|---|
net.htmlparser.jericho.Source |
getHTML()
Returns the HTML.
|
java.util.List<Pair<java.net.URL,JavaScriptSource>> |
getJavaScript()
Returns all JavaScript code in the document, both from both embedded/external 'script' elements and event handlers.
|
static java.util.Set<java.nio.file.Path> |
getScriptsInHTMLFile(java.nio.file.Path html)
Utility function for extracting all the script-paths in a HTML file.
|
public HTMLParser(java.lang.String source, java.net.URL baseURL, SourceLocation.SourceLocationMaker maker)
public HTMLParser(java.net.URL location) throws java.io.IOException
java.io.IOException
public net.htmlparser.jericho.Source getHTML()
public java.util.List<Pair<java.net.URL,JavaScriptSource>> getJavaScript()
public static java.util.Set<java.nio.file.Path> getScriptsInHTMLFile(java.nio.file.Path html)
Copyright © 2009-2019 Aarhus University