Package org.sosy_lab.common
Interface MoreStrings.WithLongString
-
- Enclosing class:
- MoreStrings
public static interface MoreStrings.WithLongString
Interface 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 String
toLongString()
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
-
-