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.IOExceptionpublic 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