| Elemento do contrato | Exemplo |
|---|---|
| Pré-condição | O usuário precisa estar autenticado e o pedido deve conter pelo menos um item. |
| Formato de entrada | Cada item deve possuir productId e quantity, sendo a quantidade um número inteiro maior que zero. |
| Pós-condição | Em caso de sucesso, a API retorna 201 Created e um pedido com id, status e total. |
| Garantia de erro | Dados inválidos geram 400; usuário não autenticado gera 401; conflito de estoque pode gerar 409. |
| Invariante | O total do pedido não pode ser negativo e o status deve pertencer a um conjunto conhecido. |
Last active
September 5, 2026 13:34
-
-
Save jpcmf/9a3b83fcaca526747a53323a45e0cfd6 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment