Bill bill = remoteService.getLastUnpaidBill();
// In case bug 12345 happens again we'd rather just die
Verify.verify(bill.status() == Status.UNPAID,
"Unexpected bill status: %s", bill.status());
Note: In some cases the differences explained below can be subtle. When it's unclear which approach to use, don't worry too much about it; just pick something that seems reasonable and it will be fine.
Preconditions
class instead.
if/throw (as illustrated below) is always acceptable; we still
recommend using our VerifyException exception type. Throwing a plain RuntimeException is frowned upon.
java.util.Objects#requireNonNull(Object) is generally discouraged, since
verifyNotNull(Object) and Preconditions#checkNotNull(Object) perform the
same function with more clarity.
Remember that parameter values for message construction must all be computed eagerly, and autoboxing and varargs array creation may happen as well, even when the verification succeeds and the message ends up unneeded. Performance-sensitive verification checks should continue to use usual form:
Bill bill = remoteService.getLastUnpaidBill();
if (bill.status() != Status.UNPAID) {
throw new VerifyException("Unexpected bill status: " + bill.status());
}
%s is supportedAs with Preconditions, Verify uses Strings#lenientFormat to format
error message template strings. This only supports the "%s" specifier, not the full range
of java. specifiers. However, note that if the number of arguments does not
match the number of occurrences of "%s" in the format string, Verify will still
behave as expected, and will still include all argument values in the error message; the message
will simply not be formatted exactly as intended.
| Access | Constructor and Description |
|---|---|
| private |
| Modifier and Type | Method and Description |
|---|---|
| public static void | verify(boolean expression)
Ensures that |
| public static void | verify(boolean
a boolean expression expression, String a template for the exception message should the check fail. The
message is formed by replacing each errorMessageTemplate, @Nullable Object... %s placeholder in the template with an
argument. These are matched by position - the first %s gets errorMessageArgs[0], etc. Unmatched arguments will be appended to the formatted message in
square braces. Unmatched placeholders will be left as-is.the arguments to be substituted into the message template. Arguments
are converted to strings using errorMessageArgs)String#valueOf(Object).Ensures that |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static void | |
| public static <T> T | Returns: reference, guaranteed to be non-null, for convenienceEnsures that |
| public static <T> T | Returns: reference, guaranteed to be non-null, for conveniencea template for the exception message should the check fail. The
message is formed by replacing each errorMessageTemplate, @Nullable Object... %s placeholder in the template with an
argument. These are matched by position - the first %s gets errorMessageArgs[0], etc. Unmatched arguments will be appended to the formatted message in
square braces. Unmatched placeholders will be left as-is.the arguments to be substituted into the message template. Arguments
are converted to strings using errorMessageArgs)String#valueOf(Object).Ensures that |
| Verify | back to summary |
|---|---|
| private Verify() | |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression) Ensures that
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, @Nullable Object... errorMessageArgs) Ensures that
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, char p1) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, int p1) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, long p1) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, Object p1) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, char p1, char p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, int p1, char p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, long p1, char p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, Object p1, char p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, char p1, int p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, int p1, int p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, long p1, int p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, Object p1, int p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, char p1, long p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, int p1, long p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, long p1, long p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, Object p1, long p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, char p1, Object p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, int p1, Object p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, long p1, Object p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, Object p1, Object p2) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, Object p1, Object p2, Object p3) Ensures that See
| |
| verify | back to summary |
|---|---|
| public static void verify(boolean expression, String errorMessageTemplate, Object p1, Object p2, Object p3, Object p4) Ensures that See
| |
| verifyNotNull | back to summary |
|---|---|
| public static <T> T verifyNotNull(T reference) Ensures that
| |
| verifyNotNull | back to summary |
|---|---|
| public static <T> T verifyNotNull(T reference, String errorMessageTemplate, @Nullable Object... errorMessageArgs) Ensures that
| |