org.teavm.jso.impl

Class TeaVMErrorReporter

java.lang.Object

org.teavm.jso.impl.TeaVMErrorReporter

All Implemented Interfaces:

org.mozilla.javascript.ErrorReporter

public class TeaVMErrorReporter
extends Object
implements org.mozilla.javascript.ErrorReporter

Author:

Alexey Andreev

Constructor Summary

Constructors

Constructor and Description
TeaVMErrorReporter(org.teavm.diagnostics.Diagnostics diagnostics, org.teavm.model.CallLocation location)

Method Summary

Modifier and Type	Method and Description
void	error(String message, String sourceName, int line, String lineSource, int lineOffset)
boolean	hasErrors()
org.mozilla.javascript.EvaluatorException	runtimeError(String message, String sourceName, int line, String lineSource, int lineOffset)
void	warning(String message, String sourceName, int line, String lineSource, int lineOffset)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TeaVMErrorReporter

public TeaVMErrorReporter(org.teavm.diagnostics.Diagnostics diagnostics,
                          org.teavm.model.CallLocation location)

Method Detail

hasErrors

public boolean hasErrors()

warning

public void warning(String message,
                    String sourceName,
                    int line,
                    String lineSource,
                    int lineOffset)

Specified by:

warning in interface org.mozilla.javascript.ErrorReporter

error

public void error(String message,
                  String sourceName,
                  int line,
                  String lineSource,
                  int lineOffset)

Specified by:

error in interface org.mozilla.javascript.ErrorReporter

runtimeError

public org.mozilla.javascript.EvaluatorException runtimeError(String message,
                                                              String sourceName,
                                                              int line,
                                                              String lineSource,
                                                              int lineOffset)

Specified by:

runtimeError in interface org.mozilla.javascript.ErrorReporter