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 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–2025 Gargoyle Software Inc.. All rights reserved.