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 to Object.toString().

Method Summary

Modifier and Type	Method	Description
String	toLongString()	Return a string representation of this instance that has some more details than Object.toString().

Method Details

toLongString

@CheckReturnValue
String toLongString()

Return a string representation of this instance that has some more details than Object.toString(). If you want to call this method lazily, use MoreStrings.longStringOf(WithLongString).

Returns:

a non-null string