Package org.smtlib

Interface Log.IListener

All Known Implementing Classes:
Log.StandardListener
Enclosing class:
Log
public static interface Log.IListener
This is an interface to be implemented by any Object that wants to hear log messages; the Object must register itself by calling Log.addListener.

  • 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)
    Called when a message is sent to the SMT-LIB diagnostic output (it is expected that a line termination will be added)
    void
    logError(String msg)
    Called when an error is being recorded on the normal output (it is expected that a line termination will be added)
    void
    logError(IResponse.IError result)
    Called when an IError is being recorded on the normal output - the listener has the opportunity to record error location information as well
    void
    logOut(String msg)
    Called when messages are logged to the normal output (it is expected that a line termination will be added).
    void
    logOut(IResponse result)
    Called when a response is logged to the normal output (it is expected that a line termination will be added); the argument is converted to text using the defaultPrinter in the smt configuration.
    void
    logOutNoln(String msg)
    Called when a message is sent to the normal output with no line termination (e.g.

  • Method Details

    • logOut

      void logOut(String msg)
      Called when messages are logged to the normal output (it is expected that a line termination will be added).

    • logOutNoln

      void logOutNoln(String msg)
      Called when a message is sent to the normal output with no line termination (e.g. an interactive prompt, which the user's own input is meant to continue on the same line).

    • logOut

      void logOut(IResponse result)
      Called when a response is logged to the normal output (it is expected that a line termination will be added); the argument is converted to text using the defaultPrinter in the smt configuration.

    • logError

      void logError(String msg)
      Called when an error is being recorded on the normal output (it is expected that a line termination will be added)

    • logError

      void logError(IResponse.IError result)
      Called when an IError is being recorded on the normal output - the listener has the opportunity to record error location information as well

    • logDiag

      void logDiag(String msg)
      Called when a message is sent to the SMT-LIB diagnostic output (it is expected that a line termination will be added)

    • indent

      void indent(String chars)
      Sets the indent prefix used when displaying error-location carets; typically the current prompt string.