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 ofAppender
that ensures that thetoString()
method returns the same result thatAppender.appendTo(Appendable)
produces in order to ensure that the contract ofAppender
is fulfilled.
-
-
Constructor Summary
Constructors Constructor Description AbstractAppender()
-