Package com.google.common.truth

Class ActualValueInference

java.lang.Object

com.google.common.truth.ActualValueInference

final class ActualValueInference
extends Object

Given the stack frame of a failing assertion, tries to describe what the user passed to assertThat.

For example, suppose that the test contains:

 assertThat(logService.fetchLogMessages(startDate, endDate))
     .containsExactly(message1, message2)
     .inOrder();
 

If either containsExactly or inOrder fails, ActualValueInference reports (if the rest of the test method is simple enough to analyze easily) that the user passed fetchLogMessages(...). This allows us to produce a failure message like:

 value of   : fetchLogMessages(...)
 missing (1): message1
 ...
 

ActualValueInference accomplishes this by examining the bytecode of the test. Naturally, this is all best-effort.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	ActualValueInference.DescribedEntry	An entry that contains a description of how it was created.
(package private) static class	ActualValueInference.FrameInfo	A value class to represent a frame.
private static final class	ActualValueInference.InferenceClassVisitor
private static final class	ActualValueInference.InferenceMethodVisitor
(package private) static class	ActualValueInference.InferredType	This is the type used for type inference.
(package private) static class	ActualValueInference.Invocation	A method invocation.
(package private) static @interface	ActualValueInference.Nullable
(package private) static class	ActualValueInference.OpaqueEntry	An entry that we know nothing about except for its type.
(package private) static class	ActualValueInference.StackEntry	An entry on the stack (or the local-variable table) with a type and sometimes a description of how the value was produced or, as a special case, whether the value is a Truth subject.
(package private) static class	ActualValueInference.SubjectEntry	An entry for a Subject (or a similar object derived with a Subject, like Ordered).

Field Summary

Fields

Modifier and Type	Field	Description
private static final com.google.common.collect.ImmutableSet<String>	BORING_NAMES
private static final com.google.common.collect.ImmutableSet<String>	PRIMITIVE_WRAPPERS

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ActualValueInference()

Method Summary

Modifier and Type	Method	Description
private static void	closeQuietly(InputStream stream)
(package private) static String	describeActualValue(String className, String methodName, int lineNumber)	Call Platform.inferDescription() rather than calling this directly.
private static ActualValueInference.StackEntry	described(ActualValueInference.InferredType type, String description)
private static boolean	isBoxing(String owner, String name, String desc)
private static boolean	isSet(int flags, int bitmask)	Returns true iff all bits in bitmask are set in flags.
private static boolean	isStatic(int access)
private static boolean	isThatOrAssertThat(String owner, String name)
private static ActualValueInference.StackEntry	opaque(ActualValueInference.InferredType type)
private static ActualValueInference.StackEntry	subjectFor(ActualValueInference.InferredType type, ActualValueInference.StackEntry actual)

Methods inherited from class java.lang.Object

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

Field Details

BORING_NAMES

private static final com.google.common.collect.ImmutableSet<String> BORING_NAMES

PRIMITIVE_WRAPPERS

private static final com.google.common.collect.ImmutableSet<String> PRIMITIVE_WRAPPERS

Constructor Details

ActualValueInference

private ActualValueInference()

Method Details

describeActualValue

static String describeActualValue(String className,
 String methodName,
 int lineNumber)

Call Platform.inferDescription() rather than calling this directly.

opaque

private static ActualValueInference.StackEntry opaque(ActualValueInference.InferredType type)

described

private static ActualValueInference.StackEntry described(ActualValueInference.InferredType type,
 String description)

subjectFor

private static ActualValueInference.StackEntry subjectFor(ActualValueInference.InferredType type,
 ActualValueInference.StackEntry actual)

isThatOrAssertThat

private static boolean isThatOrAssertThat(String owner,
 String name)

isBoxing

private static boolean isBoxing(String owner,
 String name,
 String desc)

isStatic

private static boolean isStatic(int access)

isSet

private static boolean isSet(int flags,
 int bitmask)

Returns true iff all bits in bitmask are set in flags. Trivially returns true if bitmask is 0.

closeQuietly

private static void closeQuietly(InputStream stream)