Port FX ResultSet tests to state-machine based JUnit5 tests (legacyFx)

[Ananya Garg (Ananya2)]

This PR ports FX ResultSet functional scenarios to the JUnit 5 state-machine testing framework under the legacyFx tag. The migration replaces legacy FX tests with structured model-based tests that systematically explore ResultSet state transitions and behaviors, improving maintainability and coverage.

The update expands ResultSetState with additional state keys to track insert-row state, row deletion status, updatability, scrollability, connection and statement references, row counts, and table metadata. It also introduces new action classes in ResultSetActions to model ResultSet navigation, row operations, update workflows, and positional checks. ResultSetStateTest has been rewritten using nested test structures to organize scenarios covering model exploration, scanning behavior, movers, row operations, updates, getters, updaters, fetch configuration, findColumn, cascading close behavior, and edge cases.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 60.64%. Comparing base (415984c) to head (50b6767).
⚠️ Report is 6 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #2912      +/-   ##
============================================
+ Coverage     60.61%   60.64%   +0.02%     
- Complexity     4911     4915       +4     
============================================
  Files           151      151              
  Lines         35000    35000              
  Branches       5854     5854              
============================================
+ Hits          21216    21224       +8     
+ Misses        10939    10934       -5     
+ Partials       2845     2842       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Copilot]

Pull request overview

Ports legacy FX ResultSet functional scenarios into the JUnit 5 state-machine testing framework under the legacyFx tag, expanding the modeled ResultSet state and action space to cover more navigation, row operations, update flows, and close semantics.

Changes:

• Rewrites ResultSetStateTest into a nested JUnit 5 structure with model runs plus many scenario-focused tests (scan/movers/rowers/updaters/findColumn/fetch/close).
• Expands ResultSetState to track additional ResultSet metadata and flags (insert-row, deleted-row, updatability, scrollability, etc.).
• Extends ResultSetActions with additional modeled actions (relative navigation, insert-row toggles, updates, deletes, refresh, positional checks).

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File	Description
src/test/java/com/microsoft/sqlserver/jdbc/statemachinetest/resultset/ResultSetStateTest.java	Large JUnit 5 rewrite adding nested scenario tests and state-machine model runs for ResultSet behaviors.
src/test/java/com/microsoft/sqlserver/jdbc/statemachinetest/resultset/ResultSetState.java	Adds new state keys to support richer ResultSet modeling (insert-row, deleted-row, updatability/scrollability, etc.).
src/test/java/com/microsoft/sqlserver/jdbc/statemachinetest/resultset/ResultSetActions.java	Adds/updates state-machine actions to exercise additional ResultSet operations and update workflows.