Function: broadcastUserPosition(address user, uint256[] calldata chainIds)

The function broadcasts the updated user position and total supply to specified chain IDs.

Inputs

• user

  • Control: Arbitrary.

  • Constraints: Must not be the zero address.

  • Impact: The parameter identifies the user whose position to broadcast.

• chainIds

  • Control: Arbitrary.

  • Constraints: Must be nonempty and supported chain IDs.

  • Impact: The parameter specifies the chains to broadcast the update.

Branches and code coverage

Intended branches

• Update and broadcast the user's veAnzen position and total supply to specified chains.

  Test coverage

Negative behavior

• Revert if chainIds is empty.

  Negative test

• Revert if elements of chainIds are not in destinationContracts.

  Negative test