Package org.sosy_lab.common

Class Appenders.AbstractAppender

java.lang.Object

org.sosy_lab.common.Appenders.AbstractAppender

All Implemented Interfaces:

Appender

Enclosing class:

Appenders

public abstract static class Appenders.AbstractAppender
extends Object
implements Appender

Base implementation of Appender that ensures that the toString() method returns the same result that Appender.appendTo(Appendable) produces in order to ensure that the contract of Appender is fulfilled.

Constructor Summary

Constructors

Constructor	Description
AbstractAppender()

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sosy_lab.common.Appender

appendTo

Constructor Details

AbstractAppender

public AbstractAppender()

Method Details

toString

public String toString()

Overrides:

toString in class Object