Package org.sosy_lab.common
Interface MoreStrings.WithLongString
-
- Enclosing class:
- MoreStrings
public static interface MoreStrings.WithLongStringInterface for classes that have a second, longer, string representation (with more information) in addition toObject.toString().
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StringtoLongString()Return a string representation of this instance that has some more details thanObject.toString().
-
-
-
Method Detail
-
toLongString
@CheckReturnValue String toLongString()
Return a string representation of this instance that has some more details thanObject.toString(). If you want to call this method lazily, useMoreStrings.longStringOf(WithLongString).- Returns:
- a non-null string
-
-