drevon1857 drevon1857 31-05-2023 Computers and Technology contestada In design-by-contract, the code responsible for making sure the precondition (requires clause) is true when a method is called is: