Package org.sosy_lab.common

Class MoreStrings

java.lang.Object

org.sosy_lab.common.MoreStrings

public final class MoreStrings
extends Object

Utility class for String-related helpers, similar to Strings.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
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
static Object	lazyString(Supplier<String> stringSupplier)	Return an Object instance whose Object.toString() method lazily delegates to the given supplier.
static Object	longStringOf(MoreStrings.WithLongString obj)	Return an Object instance whose Object.toString() method delegates to MoreStrings.WithLongString.toLongString().
static boolean	startsWithIgnoreCase(String s, String prefix)	Check whether a string starts with a given prefix similar to String.startsWith(String), but ignoring the case like String.equalsIgnoreCase(String).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

startsWithIgnoreCase

public static boolean startsWithIgnoreCase(String s,
                                           String prefix)

Check whether a string starts with a given prefix similar to String.startsWith(String), but ignoring the case like String.equalsIgnoreCase(String).

Parameters:

s - The string to check whether it contains the prefix.

prefix - The prefix.

Returns:

Whether s starts with prefix in any case.

lazyString

@CheckReturnValue
public static Object lazyString(Supplier<String> stringSupplier)

Return an Object instance whose Object.toString() method lazily delegates to the given supplier. This can be used for logging to make a single logging argument lazy, e.g. logger.log(Level.FINE, "Some message with %s and %s args", lazyString(() -> "lazy"), "eager");

Parameters:

stringSupplier - A non-null supplier that returns a non-null string.

Returns:

A object that should only be used for Object.toString().

longStringOf

@CheckReturnValue
public static Object longStringOf(MoreStrings.WithLongString obj)

Return an Object instance whose Object.toString() method delegates to MoreStrings.WithLongString.toLongString(). This can be used for logging as a lazy alternative to calling MoreStrings.WithLongString.toLongString() directly, e.g. logger.log(Level.FINE, longStringOf(instance));

Parameters:

obj - A non-null instance of MoreStrings.WithLongString

Returns:

A object that should only be used for Object.toString().