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