Package org.smtlib

Class Log.StandardListener

java.lang.Object

org.smtlib.Log.StandardListener

All Implemented Interfaces:

Log.IListener

Enclosing class:

Log

public class Log.StandardListener
extends Object
implements Log.IListener

This class logs to the standard PrintStreams out and diag. The class is not static so that it can see out and diag in the containing class; it needs to do this so that changes to out and diag are reflected here as well.

Field Summary

Fields

Modifier and Type	Field	Description
protected String	prompt	The current indent prefix (see Log.IListener.indent(java.lang.String)), used by logError(IResponse.IError) below to align an error-location caret diagram with the prompt the user actually saw it after.

Constructor Summary

Constructors

Constructor	Description
StandardListener()

Method Summary

Modifier and Type	Method	Description
void	indent(String chars)	Sets the indent prefix used when displaying error-location carets; typically the current prompt string.
void	logDiag(String msg)	Writes the message to the diag stream
void	logError(String msg)	Writes the message to the 'out' PrintStream, adding line termination
void	logError(IResponse.IError result)	Writes the offending text line, column location in that line, and the error message to the 'out' stream.
void	logOut(String msg)	Writes the message to the 'out' PrintStream, adding line termination
void	logOut(IResponse response)	Writes the given response to the out stream, adding line termination
void	logOutNoln(String msg)	Writes the message to the 'out' PrintStream with no line termination

Methods inherited from class java.lang.Object

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

Field Details

prompt

protected String prompt

The current indent prefix (see Log.IListener.indent(java.lang.String)), used by logError(IResponse.IError) below to align an error-location caret diagram with the prompt the user actually saw it after.

Constructor Details

StandardListener

public StandardListener()

Method Details

indent

public void indent(String chars)

Description copied from interface: Log.IListener

Sets the indent prefix used when displaying error-location carets; typically the current prompt string.

Specified by:

indent in interface Log.IListener

logOut

public void logOut(String msg)

Writes the message to the 'out' PrintStream, adding line termination

Specified by:

logOut in interface Log.IListener

logOutNoln

public void logOutNoln(String msg)

Writes the message to the 'out' PrintStream with no line termination

Specified by:

logOutNoln in interface Log.IListener

logOut

public void logOut(IResponse response)

Writes the given response to the out stream, adding line termination

Specified by:

logOut in interface Log.IListener

logError

public void logError(String msg)

Writes the message to the 'out' PrintStream, adding line termination

Specified by:

logError in interface Log.IListener

logError

public void logError(IResponse.IError result)

Writes the offending text line, column location in that line, and the error message to the 'out' stream.

Specified by:

logError in interface Log.IListener

logDiag

public void logDiag(String msg)

Writes the message to the diag stream

Specified by:

logDiag in interface Log.IListener