Function: insert(address _id, uint256 _NICR, address _prevId, address _nextId)

Add a node to the list.

Inputs

• _id

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Node's ID.

• _NICR

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Node's NICR.

• _prevId

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: ID of previous node for the insert position.

• _nextId

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: ID of next node for the insert position.

Branches and code coverage (including function calls)

Intended branches

• Insert the node in the correct position.

  Test coverage

Negative behavior

• Revert if caller is not the trove manager.

  Test coverage

• Revert if the list already contains the node.

  Test coverage

• Revert if _id is address(0).

  Test coverage

• Revert if _NICR = 0.

  Test coverage