Class Diagnostics

java.lang.Object

liquidjava.diagnostics.Diagnostics

public class Diagnostics
extends Object

Singleton class to store diagnostics (errors and warnings) during the verification process

See Also:

• LJError
• LJWarning

Method Summary

Modifier and Type	Method	Description
void	add(LJError error)
void	add(LJWarning warning)
void	clear()
boolean	foundError()
boolean	foundWarning()
String	getErrorOutput()
LinkedHashSet<LJError>	getErrors()
static Diagnostics	getInstance()
String	getWarningOutput()
LinkedHashSet<LJWarning>	getWarnings()

Methods inherited from class java.lang.Object

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

Method Details

getInstance

public static Diagnostics getInstance()

add

public void add(LJError error)

add

public void add(LJWarning warning)

foundError

public boolean foundError()

foundWarning

public boolean foundWarning()

getErrors

public LinkedHashSet<LJError> getErrors()

getWarnings

public LinkedHashSet<LJWarning> getWarnings()

clear

public void clear()

getErrorOutput

public String getErrorOutput()

getWarningOutput

public String getWarningOutput()