verify(locator).handleDFSReferral(referral, null);
        verifyNoMoreInteractions(locator);
    }

    // Interaction detail: capture arguments passed to handleDFSReferral
    @Test
    @DisplayName("handleDFSReferral receives the exact arguments via captor")
    void handleDfsReferralArgumentCapture() {

   * a black-box test that tries to create lots of different thread-interleavings, and asserts that
   * each computation is affected by a call to {@code clear()} (and therefore gets passed to the
   * removal listener), or else is not affected by the {@code clear()} (and therefore exists in the
   * cache afterward).
   */
  @J2ktIncompatible
  @GwtIncompatible // QueuingRemovalListener

   * a black-box test that tries to create lots of different thread-interleavings, and asserts that
   * each computation is affected by a call to {@code clear()} (and therefore gets passed to the
   * removal listener), or else is not affected by the {@code clear()} (and therefore exists in the
   * cache afterward).
   */
  @J2ktIncompatible
  @GwtIncompatible // QueuingRemovalListener

		u := Err{
			msg:    msg,
			action: action,
			hint:   hint,
		}
		if err != nil {
			u.detail = err.Error()
		}
		return u
	}
}

// ErrorToErr inspects the passed error and transforms it
// to the appropriate UI error.
func ErrorToErr(err error) Err {
	if err == nil {
		return Err{}
	}

	// If this is already a Err, do nothing
	if e, ok := err.(Err); ok {

  interface ConcurrentlyMutatedList<E> extends List<E> {
    /**
     * The elements of a {@link ConcurrentlyMutatedList} are added and removed over time. This
     * method returns every state that the list has passed through at some point.
     */
    Set<List<E>> getAllStates();
  }

  /**
   * Returns a {@link ConcurrentlyMutatedList} that performs the given operations as its concurrent

            } else {
                // This shouldn't happen - we check the format before this is called
                throw new IllegalArgumentException("Invalid qualifier [" + qualifier + "] passed");
            }
        }

        public String toString() {
            return level == QualifierLevel.SNAPSHOT ? level.name() : level.name() + number;
        }

        @Override

        // Verify close was called
        verify(mockHandle, times(1)).sendrecv(any(MsrpcSamrCloseHandle.class));
        assertEquals(handle, closeCaptor.getValue().handle); // Verify correct handle is passed
    }

    @Test
    void testClose_AlreadyClosed() throws IOException {
        // Test case: close() when already closed, should do nothing
        String server = "testServer";
        int access = 123;

    }

    @Test
    void constructorRejectsNull() {
        // Expect constructor to throw IllegalArgumentException when passed null
        assertThrows(IllegalArgumentException.class, () -> new UniAddress(null));
    }

    /* ---------------------------------------------------------------------
     * 2. Value based tests for instance methods
     * --------------------------------------------------------------------- */
    @ParameterizedTest

   * will be returned as the proxied method's return value.
   *
   * <p>Unlike {@link #invoke}, {@code args} will never be null. When the method has no parameter,
   * an empty array is passed in.
   */
  protected abstract @Nullable Object handleInvocation(
      Object proxy, Method method, @Nullable Object[] args) throws Throwable;

  /**

 * - Happy path with default and custom options.
 * - Null/empty/ignored name parameter handling.
 * - Null options edge case.
 * - Repeated calls equivalence and instance separation.
 * - Interaction check that passed options are not mutated.
 */
@ExtendWith(MockitoExtension.class)
class StaticJAASConfigurationTest {

    // Constants used in assertions