FullVerifications (JMockit Toolkit API)

java.lang.Object
- mockit.Verifications
- - mockit.FullVerifications

```
public abstract class FullVerifications
extends Verifications
```
Same as Verifications, but checking that all invocations from code under test are explicitly verified, except for those already verified through other means. As such, a verification block created with this class represents a full set of verifications for the mocked types/instances used in the test.
```
 // Exercise tested code.
 codeUnderTest.doSomething();

 // Now verify that expected invocations occurred in any order, with no invocations left unverified.
 new FullVerifications() {{
    mock1.expectedMethod(anyInt);
    mock2.anotherExpectedMethod(1, "test"); times = 2;
 }};
 
```
Any invocation from code under test that is not covered by an explicit verification, or by an invocation count constraint when recorded, will cause an assertion error to be thrown.
See Also:

FullVerifications(), FullVerifications(int), FullVerifications(Object...), FullVerifications(Integer, Object...), unverifiedInvocations(), FullVerificationsInOrder, Tutorial

Field Summary

Fields
Modifier and Type	Field and Description
`protected CharSequence`	`$` An string assigned to this field will be used as a prefix for the error message shown for the current expectation if it's found to be violated.
`protected Object`	`any` Matches any `Object` reference received by a parameter of a reference type.
`protected Boolean`	`anyBoolean` Matches any `boolean` or `Boolean` value received by a parameter of one of these types.
`protected Byte`	`anyByte` Matches any `byte` or `Byte` value received by a parameter of one of these types.
`protected Character`	`anyChar` Matches any `char` or `Character` value received by a parameter of one of these types.
`protected Double`	`anyDouble` Matches any `double` or `Double` value received by a parameter of one of these types.
`protected Float`	`anyFloat` Matches any `float` or `Float` value received by a parameter of one of these types.
`protected Integer`	`anyInt` Matches any `int` or `Integer` value received by a parameter of one of these types.
`protected Long`	`anyLong` Matches any `long` or `Long` value received by a parameter of one of these types.
`protected Short`	`anyShort` Matches any `short` or `Short` value received by a parameter of one of these types.
`protected String`	`anyString` Matches any `String` value received by a parameter of this type.
`protected int`	`maxTimes` A non-negative value assigned to this field will be taken as the maximum number of times that invocations matching the current expectation should occur during replay.
`protected int`	`minTimes` A non-negative value assigned to this field will be taken as the minimum number of times that invocations matching the current expectation should occur during replay.
`protected int`	`times` A non-negative value assigned to this field will be taken as the exact number of times that invocations matching the current expectation should occur during replay.

Constructor Summary

Constructors
Modifier	Constructor and Description
`protected`	`FullVerifications()` Begins full verification on the mocked types/instances that can potentially be invoked from code under test.
`protected`	`FullVerifications(int numberOfIterations)` Same as `FullVerifications()`, but considering that such invocations occurred in a given number of iterations.
`protected`	`FullVerifications(Integer numberOfIterations, Object... mockedTypesAndInstancesToVerify)` Same as `FullVerifications(int)`, but restricting the verification to the specified mocked types and/or mocked instances.
`protected`	`FullVerifications(Object... mockedTypesAndInstancesToVerify)` Same as `FullVerifications()`, but restricting the verification to the specified mocked types and/or mocked instances.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected <T> T`	`onInstance(T mockedInstance)` Calling this method causes the expectation recorded/verified on the given mocked instance to match only those invocations that occur on the same instance, at replay time.
`protected void`	`unverifiedInvocations()` Accounts for all invocations not yet verified, removing them from any further consideration.
`protected <T> T`	`with(Delegate<? super T> objectWithDelegateMethod)` Applies a custom argument matcher for a parameter in the current expectation.
`protected <T> T`	`withAny(T arg)` Same as `withEqual(Object)`, but matching any argument value of the appropriate type.
`protected <T> T`	`withArgThat(org.hamcrest.Matcher<? super T> argumentMatcher)` Applies a Hamcrest argument matcher for a parameter in the current expectation.
`protected <T> T`	`withCapture(List<T> valueHolderForMultipleInvocations)` Captures the argument value passed into the associated expectation parameter, for each invocation that matches the expectation when the tested code is exercised.
`protected double`	`withEqual(double value, double delta)` Same as `withEqual(Object)`, but checking that a numeric invocation argument in the replay phase is sufficiently close to the given value.
`protected float`	`withEqual(float value, double delta)` Same as `withEqual(Object)`, but checking that a numeric invocation argument in the replay phase is sufficiently close to the given value.
`protected <T> T`	`withEqual(T arg)` When passed as argument for an expectation, creates a new matcher that will check if the given value is `equal` to the corresponding argument received by a matching invocation.
`protected <T> T`	`withInstanceLike(T object)` Same as `withEqual(Object)`, but checking that an invocation argument in the replay phase is an instance of the same class as the given object.
`protected <T> T`	`withInstanceOf(Class<T> argClass)` Same as `withEqual(Object)`, but checking that an invocation argument in the replay phase is an instance of the given class.
`protected <T extends CharSequence> T`	`withMatch(T regex)` Same as `withEqual(Object)`, but checking that a textual invocation argument in the replay phase matches the given `regular expression`.
`protected <T> T`	`withNotEqual(T arg)` Same as `withEqual(Object)`, but checking that the invocation argument in the replay phase is different from the given value.
`protected <T> T`	`withNotNull()` Same as `withEqual(Object)`, but checking that an invocation argument in the replay phase is not `null`.
`protected <T> T`	`withNull()` Same as `withEqual(Object)`, but checking that an invocation argument in the replay phase is `null`.
`protected <T extends CharSequence> T`	`withPrefix(T text)` Same as `withEqual(Object)`, but checking that a textual invocation argument in the replay phase starts with the given text.
`protected <T> T`	`withSameInstance(T object)` Same as `withEqual(Object)`, but checking that an invocation argument in the replay phase is the exact same instance as the one in the recorded/verified invocation.
`protected <T extends CharSequence> T`	`withSubstring(T text)` Same as `withEqual(Object)`, but checking that a textual invocation argument in the replay phase contains the given text as a substring.
`protected <T extends CharSequence> T`	`withSuffix(T text)` Same as `withEqual(Object)`, but checking that a textual invocation argument in the replay phase ends with the given text.

Methods inherited from class mockit.Verifications
withCapture, withCapture

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - $
```
protected CharSequence $
```
    An string assigned to this field will be used as a prefix for the error message shown for the current expectation if it's found to be violated.
    Inside an expectation/verification block, the assignment must follow the invocation which records/verifies the expectation; if there is no current expectation at the point the assignment appears, an IllegalStateException is thrown.
    Notice there are only two different ways in which an expectation can be violated: either an unexpected invocation occurs during replay, or a missing invocation is detected.
  - any
```
protected final Object any
```
    Matches any Object reference received by a parameter of a reference type.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    The use of this field will usually require a cast to the specific parameter type. However, if there is any other parameter for which an argument matching constraint is specified, passing the null reference instead will have the same effect.
    When the parameter to be matched is a varargs parameter of element type V, the use of any should be cast to V[].
    In invocations to non-accessible methods or constructors (for example, with Deencapsulation.invoke(Object, String, Object...)), use withAny(T) instead.
    
    See Also:
    
    anyBoolean, anyByte, anyChar, anyDouble, anyFloat, anyInt, anyLong, anyShort, anyString, Tutorial
  - anyBoolean
```
protected final Boolean anyBoolean
```
    Matches any boolean or Boolean value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyByte, anyChar, anyDouble, anyFloat, anyInt, anyLong, anyShort, anyString, any, Tutorial
  - anyByte
```
protected final Byte anyByte
```
    Matches any byte or Byte value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyChar, anyDouble, anyFloat, anyInt, anyLong, anyShort, anyString, any, Tutorial
  - anyChar
```
protected final Character anyChar
```
    Matches any char or Character value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyByte, anyDouble, anyFloat, anyInt, anyLong, anyShort, anyString, any, Tutorial
  - anyDouble
```
protected final Double anyDouble
```
    Matches any double or Double value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyByte, anyChar, anyFloat, anyInt, anyLong, anyShort, anyString, any, Tutorial
  - anyFloat
```
protected final Float anyFloat
```
    Matches any float or Float value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyByte, anyChar, anyDouble, anyInt, anyLong, anyString, anyShort, any, Tutorial
  - anyInt
```
protected final Integer anyInt
```
    Matches any int or Integer value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyByte, anyChar, anyDouble, anyFloat, anyLong, anyShort, anyString, any, Tutorial
  - anyLong
```
protected final Long anyLong
```
    Matches any long or Long value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyByte, anyChar, anyDouble, anyFloat, anyInt, anyShort, anyString, any, Tutorial
  - anyShort
```
protected final Short anyShort
```
    Matches any short or Short value received by a parameter of one of these types.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyByte, anyChar, anyDouble, anyFloat, anyInt, anyLong, anyString, any, Tutorial
  - anyString
```
protected final String anyString
```
    Matches any String value received by a parameter of this type.
    This field can only be used as the argument value at the proper parameter position in a method/constructor invocation, when recording or verifying an expectation; it cannot be used anywhere else.
    
    See Also:
    
    anyBoolean, anyByte, anyChar, anyDouble, anyFloat, anyInt, anyLong, anyShort, any, Tutorial
  - maxTimes
```
protected int maxTimes
```
    A non-negative value assigned to this field will be taken as the maximum number of times that invocations matching the current expectation should occur during replay. A negative value implies there is no upper limit.
    Both minTimes and maxTimes can be specified for the same expectation, as long as minTimes is assigned first.
    
    See Also:
    
    times, minTimes, Tutorial
  - minTimes
```
protected int minTimes
```
    A non-negative value assigned to this field will be taken as the minimum number of times that invocations matching the current expectation should occur during replay. Zero or a negative value implies there is no lower limit. The maximum number of times is automatically adjusted to allow any number of invocations.
    Both minTimes and maxTimes can be specified for the same expectation, as long as minTimes is assigned first.
    
    See Also:
    
    times, maxTimes, Tutorial
  - times
```
protected int times
```
    A non-negative value assigned to this field will be taken as the exact number of times that invocations matching the current expectation should occur during replay.
    
    See Also:
    
    minTimes, maxTimes, Tutorial
- Constructor Detail
  - FullVerifications
```
protected FullVerifications()
```
    Begins full verification on the mocked types/instances that can potentially be invoked from code under test.
    
    See Also:
    
    FullVerifications(int), FullVerifications(Object...), FullVerifications(Integer, Object...)
  - FullVerifications
```
protected FullVerifications(int numberOfIterations)
```
    Same as FullVerifications(), but considering that such invocations occurred in a given number of iterations.
    The effect of specifying a (positive) number of iterations is equivalent to setting to that number the lower and upper invocation count limits for each verified expectation. If, however, the lower/upper limit is explicitly specified for an expectation, the given number of iterations becomes a multiplier. When not specified, at least one matching invocation will be required to have occurred; therefore, specifying 1 (one) iteration is different from not specifying the number of iterations at all.
    
    Parameters:
    
    numberOfIterations - the positive number of iterations for the whole set of verified expectations
    
    See Also:
    
    FullVerifications(Object...), FullVerifications(Integer, Object...), times, minTimes, maxTimes
  - FullVerifications
```
protected FullVerifications(Integer numberOfIterations,
                            Object... mockedTypesAndInstancesToVerify)
```
    Same as FullVerifications(int), but restricting the verification to the specified mocked types and/or mocked instances.
    
    Parameters:
    
    numberOfIterations - the positive number of iterations for the whole set of verified expectations
    
    mockedTypesAndInstancesToVerify - one or more of the mocked types (ie, Class objects) and/or mocked instances that are in scope for the test; for a given mocked instance, all classes up to (but not including) java.lang.Object are considered
    
    See Also:
    
    FullVerifications(), FullVerifications(Object...)
  - FullVerifications
```
protected FullVerifications(Object... mockedTypesAndInstancesToVerify)
```
    Same as FullVerifications(), but restricting the verification to the specified mocked types and/or mocked instances.
    
    Parameters:
    
    mockedTypesAndInstancesToVerify - one or more of the mocked types (ie, Class objects) and/or mocked instances that are in scope for the test; for a given mocked instance, all classes up to (but not including) java.lang.Object are considered
    
    See Also:
    
    FullVerifications(int), FullVerifications(Integer, Object...)
- Method Detail
  - unverifiedInvocations
```
protected final void unverifiedInvocations()
```
    Accounts for all invocations not yet verified, removing them from any further consideration. Invocations that occur after this, however, can still be verified later in another verification block.
    If one or more mocked types/instances were specified in the constructor call for this verification block, then only the associated invocations (if any) are removed.
  - onInstance
```
protected final <T> T onInstance(T mockedInstance)
```
    Calling this method causes the expectation recorded/verified on the given mocked instance to match only those invocations that occur on the same instance, at replay time.
    By default, such instances can be different between the replay phase and the record or verify phase, even though the method or constructor invoked is the same, and the invocation arguments all match. The use of this method allows invocations to also be matched on the instance invoked.
    Typically, tests that need to match instance invocations on the mocked instances invoked will declare two or more mock fields and/or mock parameters of the exact same mocked type. These instances will then be passed to the code under test, which will invoke them during the replay phase. To avoid the need to explicitly call onInstance(Object) on each of these different instances of the same type, instance matching is implied (and automatically applied to all relevant invocations) whenever two or more mocked instances of the same type are in scope for a given test method. This property of the API makes the use of onInstance much less frequent than it might otherwise be.
    In most cases, an invocation to the given mocked instance will be made on the value returned by this method (ie, a chained invocation). However, in the situation where the tested method calls an instance method defined in a mocked super-class (possibly an overridden method called through the super keyword), it will be necessary to match on a different instance than the one used for recording invocations. To do so, this method should be given the desired instance to match, while the invocation to be recorded should be done on the available mocked instance, which must be a different one (otherwise a non-mocked method would get executed). This is valid only if the instance to be matched is assignable to the mocked type, and typically occurs when partially mocking a class hierarchy.
    
    Returns:
    
    the given mocked instance, allowing the invocation being recorded/verified to immediately follow the call to this method
    
    See Also:
    
    Tutorial
  - with
```
protected final <T> T with(Delegate<? super T> objectWithDelegateMethod)
```
    Applies a custom argument matcher for a parameter in the current expectation.
    The class of the given delegate object should define a single non-private delegate method (plus any number of helper private methods). The name of the delegate method doesn't matter, but it must have a single parameter capable of receiving the relevant argument values.
    The return type of the delegate method should be boolean or void. In the first case, a return value of true will indicate a successful match for the actual invocation argument at replay time, while a return of false will fail to match the invocation. In the case of a void return type, the actual invocation argument should be validated through a suitable JUnit/TestNG assertion.
    
    Parameters:
    
    objectWithDelegateMethod - an instance of a class defining a single non-private delegate method
    
    Returns:
    
    the default primitive value corresponding to T if it's a primitive wrapper type, or null otherwise
    
    See Also:
    
    withArgThat(org.hamcrest.Matcher), Tutorial
  - withAny
```
protected final <T> T withAny(T arg)
```
    Same as withEqual(Object), but matching any argument value of the appropriate type.
    Consider using instead the "anyXyz" field appropriate to the parameter type: anyBoolean, anyByte, anyChar, anyDouble, anyFloat, anyInt, anyLong, anyShort, anyString, or any for other reference types.
    Note: when using Deencapsulation.invoke(Object, String, Object...), etc., it's valid to pass withAny(ParameterType.class) if an actual instance of the parameter type cannot be created.
    
    Parameters:
    
    arg - an arbitrary value which will match any argument value in the replay phase
    
    Returns:
    
    the input argument
    
    See Also:
    
    Tutorial
  - withArgThat
```
protected final <T> T withArgThat(org.hamcrest.Matcher<? super T> argumentMatcher)
```
    Applies a Hamcrest argument matcher for a parameter in the current expectation.
    
    Parameters:
    
    argumentMatcher - any org.hamcrest.Matcher object
    
    Returns:
    
    the value recorded inside the given Hamcrest matcher, or null if there is no such value to be found
    
    See Also:
    
    with(Delegate)
  - withCapture
```
protected final <T> T withCapture(List<T> valueHolderForMultipleInvocations)
```
    Captures the argument value passed into the associated expectation parameter, for each invocation that matches the expectation when the tested code is exercised. As each such value is captured, it gets added to the given list so that it can be inspected later.
    
    Parameters:
    
    valueHolderForMultipleInvocations - list into which the arguments received by matching invocations will be added
    
    Returns:
    
    the default value for type T
    
    See Also:
    
    Verifications.withCapture(), Verifications.withCapture(Object), Tutorial
  - withEqual
```
protected final double withEqual(double value,
                                 double delta)
```
    Same as withEqual(Object), but checking that a numeric invocation argument in the replay phase is sufficiently close to the given value.
    
    Parameters:
    
    value - the center value for range comparison
    
    delta - the tolerance around the center value, for a range of [value - delta, value + delta]
    
    Returns:
    
    the given value
    
    See Also:
    
    Tutorial
  - withEqual
```
protected final float withEqual(float value,
                                double delta)
```
    Same as withEqual(Object), but checking that a numeric invocation argument in the replay phase is sufficiently close to the given value.
    
    Parameters:
    
    value - the center value for range comparison
    
    delta - the tolerance around the center value, for a range of [value - delta, value + delta]
    
    Returns:
    
    the given value
    
    See Also:
    
    Tutorial
  - withEqual
```
protected final <T> T withEqual(T arg)
```
    When passed as argument for an expectation, creates a new matcher that will check if the given value is equal to the corresponding argument received by a matching invocation.
    The matcher is added to the end of the list of argument matchers for the invocation being recorded/verified. It cannot be reused for a different parameter.
    Usually, this particular method should not be used. Instead, simply pass the desired argument value directly, without any matcher. Only when specifying values for a varargs method it's useful, and even then only when some other argument matcher is also used.
    
    Parameters:
    
    arg - the expected argument value
    
    Returns:
    
    the given argument
    
    See Also:
    
    Tutorial
  - withInstanceLike
```
protected final <T> T withInstanceLike(T object)
```
    Same as withEqual(Object), but checking that an invocation argument in the replay phase is an instance of the same class as the given object.
    Equivalent to a withInstanceOf(object.getClass()) call, except that it returns object instead of null.
    
    Parameters:
    
    object - an instance of the desired class
    
    Returns:
    
    the given instance
    
    See Also:
    
    Tutorial
  - withInstanceOf
```
protected final <T> T withInstanceOf(Class<T> argClass)
```
    Same as withEqual(Object), but checking that an invocation argument in the replay phase is an instance of the given class.
    
    Parameters:
    
    argClass - the desired class
    
    Returns:
    
    always null; if you need a specific return value, use withInstanceLike(Object)
    
    See Also:
    
    Tutorial
  - withMatch
```
protected final <T extends CharSequence> T withMatch(T regex)
```
    Same as withEqual(Object), but checking that a textual invocation argument in the replay phase matches the given regular expression.
    Note that this can be used for any string comparison, including case insensitive ones (with "(?i)" in the regex).
    
    Parameters:
    
    regex - an arbitrary (non-null) regular expression against which textual argument values will be matched
    
    Returns:
    
    the given regex
    
    See Also:
    
    Pattern.compile(String, int), Tutorial
  - withNotEqual
```
protected final <T> T withNotEqual(T arg)
```
    Same as withEqual(Object), but checking that the invocation argument in the replay phase is different from the given value.
    
    Parameters:
    
    arg - an arbitrary value, but different from the ones expected to occur during replay
    
    Returns:
    
    the given argument value
    
    See Also:
    
    Tutorial
  - withNotNull
```
protected final <T> T withNotNull()
```
    Same as withEqual(Object), but checking that an invocation argument in the replay phase is not null.
    
    Returns:
    
    always null
    
    See Also:
    
    Tutorial
  - withNull
```
protected final <T> T withNull()
```
    Same as withEqual(Object), but checking that an invocation argument in the replay phase is null.
    
    Returns:
    
    always null
    
    See Also:
    
    Tutorial
  - withPrefix
```
protected final <T extends CharSequence> T withPrefix(T text)
```
    Same as withEqual(Object), but checking that a textual invocation argument in the replay phase starts with the given text.
    
    Parameters:
    
    text - an arbitrary non-null textual value
    
    Returns:
    
    the given text
    
    See Also:
    
    Tutorial
  - withSameInstance
```
protected final <T> T withSameInstance(T object)
```
    Same as withEqual(Object), but checking that an invocation argument in the replay phase is the exact same instance as the one in the recorded/verified invocation.
    
    Parameters:
    
    object - the desired instance
    
    Returns:
    
    the given object
    
    See Also:
    
    Tutorial
  - withSubstring
```
protected final <T extends CharSequence> T withSubstring(T text)
```
    Same as withEqual(Object), but checking that a textual invocation argument in the replay phase contains the given text as a substring.
    
    Parameters:
    
    text - an arbitrary non-null textual value
    
    Returns:
    
    the given text
    
    See Also:
    
    Tutorial
  - withSuffix
```
protected final <T extends CharSequence> T withSuffix(T text)
```
    Same as withEqual(Object), but checking that a textual invocation argument in the replay phase ends with the given text.
    
    Parameters:
    
    text - an arbitrary non-null textual value
    
    Returns:
    
    the given text
    
    See Also:
    
    Tutorial

Class FullVerifications

Field Summary

Constructor Summary

Method Summary

Methods inherited from class mockit.Verifications

Methods inherited from class java.lang.Object

Field Detail

$

any

anyBoolean

anyByte

anyChar

anyDouble

anyFloat

anyInt

anyLong

anyShort

anyString

maxTimes

minTimes

times

Constructor Detail

FullVerifications

FullVerifications

FullVerifications

FullVerifications

Method Detail

unverifiedInvocations

onInstance

with

withAny

withArgThat

withCapture

withEqual

withEqual

withEqual

withInstanceLike

withInstanceOf

withMatch

withNotEqual

withNotNull

withNull

withPrefix

withSameInstance

withSubstring

withSuffix