if (!expression) {
      throw new IllegalArgumentException(
          Platform.lenientFormat(errorMessageTemplate, p1, p2, p3, p4));
    }
  }

  /**
   * Ensures the truth of an expression involving the state of the calling instance, but not
   * involving any parameters to the calling method.
   *
   * @param expression a boolean expression
   * @throws IllegalStateException if {@code expression} is false

                    final String code = request.getParameter("code");
                    final String reqState = request.getParameter("state");
                    if (logger.isDebugEnabled()) {
                        logger.debug("code: {}, state(request): {}, state(session): {}", code, reqState, sesState);
                    }
                    if (sesState.equals(reqState) && StringUtil.isNotBlank(code)) {

     * @return the lease key
     */
    public Smb2LeaseKey getLeaseKey() {
        return leaseKey;
    }

    /**
     * Gets the lease state granted by the server for V2
     * @return the granted lease state
     */
    public int getLeaseState() {
        return leaseState;
    }

    /**
     * Gets the lease flags from the V2 server response
     * @return the lease flags

    }
  }

  private void checkAndUpdateState(State oldState, State newState) {
    checkState(
        compareAndUpdateState(oldState, newState),
        "Expected state to be %s, but it was %s",
        oldState,
        newState);
  }

  private boolean compareAndUpdateState(State oldState, State newState) {
    return state.compareAndSet(oldState, newState);
  }

        }
    }

    @Nested
    @DisplayName("Response State Tests")
    class ResponseStateTests {

        @BeforeEach
        void setup() {
            testBlock = new TestServerMessageBlock(mockConfig);
        }

        @Test
        @DisplayName("Test received state")
        void testReceivedState() {
            assertFalse(testBlock.isReceived());

	typedef struct {
		uint32_t count;
		[size_is(count)] DfsInfo1 *s;
	} DfsEnumArray1;

	typedef struct {
		uint32_t state;
		[string] wchar_t *server_name;
		[string] wchar_t *share_name;
	} DfsStorageInfo;

	typedef struct {
		[string] wchar_t *path;
		[string] wchar_t *comment;
		uint32_t state;
		uint32_t num_stores;
		[size_is(num_stores)] DfsStorageInfo *stores;
	} DfsInfo3;

	typedef struct {

    @Override
    public void setUp() throws Exception {
        super.setUp();
        pingSearchEngineJob = new PingSearchEngineJob();
    }

    // Test normal operation with GREEN status and state change
    public void test_execute_greenStatusNoChange() {
        // Setup mock components
        SearchEngineClient searchEngineClient = new SearchEngineClient() {
            @Override

      extends AbstractFuture<T> {
    private @Nullable InCompletionOrderState<T> state;

    private InCompletionOrderFuture(InCompletionOrderState<T> state) {
      this.state = state;
    }

    @Override
    public boolean cancel(boolean interruptIfRunning) {
      InCompletionOrderState<T> localState = state;
      if (super.cancel(interruptIfRunning)) {
        /*

        return leaseKey;
    }

    /**
     * Gets the current lease state before the break
     * @return the current lease state
     */
    public int getCurrentLeaseState() {
        return currentLeaseState;
    }

    /**
     * Gets the new lease state after the break
     * @return the new lease state
     */
    public int getNewLeaseState() {
        return newLeaseState;
    }

        assertEquals(expectedIndexNumber, info2.getIndexNumber());
    }

    @Test
    @DisplayName("Test encode with initial state")
    void testEncodeWithInitialState() {
        // Test encode without prior decode (initial state with indexNumber = 0)
        byte[] destinationBuffer = new byte[8];
        int bytesEncoded = fileInternalInfo.encode(destinationBuffer, 0);

        // Verify