org.teavm.diagnostics

Class AccumulationDiagnostics

java.lang.Object

org.teavm.diagnostics.AccumulationDiagnostics

All Implemented Interfaces:

Diagnostics, ProblemProvider

public class AccumulationDiagnostics
extends Object
implements Diagnostics, ProblemProvider

Author:

Alexey Andreev

Constructor Summary

Constructors

Constructor and Description
AccumulationDiagnostics()

Method Summary

Modifier and Type	Method and Description
void	error(CallLocation location, String error, Object... params)
List<Problem>	getProblems()
List<Problem>	getSevereProblems()
void	warning(CallLocation location, String error, Object... params)

Methods inherited from class java.lang.Object

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

Constructor Detail

AccumulationDiagnostics

public AccumulationDiagnostics()

Method Detail

error

public void error(CallLocation location,
                  String error,
                  Object... params)

Specified by:

error in interface Diagnostics

warning

public void warning(CallLocation location,
                    String error,
                    Object... params)

Specified by:

warning in interface Diagnostics

getProblems

public List<Problem> getProblems()

Specified by:

getProblems in interface ProblemProvider

getSevereProblems

public List<Problem> getSevereProblems()

Specified by:

getSevereProblems in interface ProblemProvider