public interface JavaScriptErrorListener
Modifier and Type | Method and Description |
---|---|
void |
loadScriptError(HtmlPage page,
URL scriptUrl,
Exception exception)
Informs about an exception during load of a javascript file refereed from a page.
|
void |
malformedScriptURL(HtmlPage page,
String url,
MalformedURLException malformedURLException)
Informs about a malformed url referencing to to script.
|
void |
scriptException(HtmlPage page,
ScriptException scriptException)
Informs about a javascript exceptions.
|
void |
timeoutError(HtmlPage page,
long allowedTime,
long executionTime)
Informs about a javascript timeout error.
|
void |
warn(String message,
String sourceName,
int line,
String lineSource,
int lineOffset)
Informs about a javascript warning.
|
void scriptException(HtmlPage page, ScriptException scriptException)
page
- the page that causes the problemscriptException
- the occurred script exceptionvoid timeoutError(HtmlPage page, long allowedTime, long executionTime)
page
- the page that causes the problemallowedTime
- the max time allowed for the executionexecutionTime
- the already consumed timevoid malformedScriptURL(HtmlPage page, String url, MalformedURLException malformedURLException)
page
- the page that causes the problemurl
- the malformed urlmalformedURLException
- the occurred exceptionvoid loadScriptError(HtmlPage page, URL scriptUrl, Exception exception)
page
- the page that causes the problemscriptUrl
- the url to load the script fromexception
- the occurred exceptionvoid warn(String message, String sourceName, int line, String lineSource, int lineOffset)
message
- the message to be displayedsourceName
- the name of the source fileline
- the line numberlineSource
- the source code that failedlineOffset
- the line offsetCopyright © 2002–2024 Gargoyle Software Inc.. All rights reserved.