@semacode/cli 1.5.17 → 1.5.19

package/exemplos/calculadora.sema

@@ -1,78 +1,78 @@
-module exemplos.calculadora {
-  docs {
-    resumo: "Operacoes aritmeticas simples com garantias e testes."
-  }
-
-  comments {
-    observacao: "Exemplo base para demonstrar tarefas semanticas puras."
-  }
-
-  task somar {
-    input {
-      a: Numero required
-      b: Numero required
-    }
-    output {
-      resultado: Numero
-    }
-    rules {
-      a deve_ser numero_valido
-      b deve_ser numero_valido
-    }
-    effects {
-      auditoria operacao soma
-    }
-    guarantees {
-      resultado existe
-    }
-    error {
-      entrada_invalida: "Os valores precisam ser numericos."
-    }
-    tests {
-      caso "soma basica" {
-        given {
-          a: 2
-          b: 3
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task dividir {
-    input {
-      dividendo: Numero required
-      divisor: Numero required
-    }
-    output {
-      resultado: Numero
-    }
-    rules {
-      divisor deve_ser diferente_de_zero
-    }
-    effects {
-      auditoria operacao divisao
-    }
-    guarantees {
-      resultado existe
-    }
-    error {
-      divisor_zero: "Nao e permitido dividir por zero."
-    }
-    tests {
-      caso "divisao valida" {
-        given {
-          dividendo: 10
-          divisor: 2
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-}
+module exemplos.calculadora {
+  docs {
+    resumo: "Operacoes aritmeticas simples com garantias e testes."
+  }
+
+  comments {
+    observacao: "Exemplo base para demonstrar tarefas semanticas puras."
+  }
+
+  task somar {
+    input {
+      a: Numero required
+      b: Numero required
+    }
+    output {
+      resultado: Numero
+    }
+    rules {
+      a deve_ser numero_valido
+      b deve_ser numero_valido
+    }
+    effects {
+      auditoria operacao soma
+    }
+    guarantees {
+      resultado existe
+    }
+    error {
+      entrada_invalida: "Os valores precisam ser numericos."
+    }
+    tests {
+      caso "soma basica" {
+        given {
+          a: 2
+          b: 3
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task dividir {
+    input {
+      dividendo: Numero required
+      divisor: Numero required
+    }
+    output {
+      resultado: Numero
+    }
+    rules {
+      divisor deve_ser diferente_de_zero
+    }
+    effects {
+      auditoria operacao divisao
+    }
+    guarantees {
+      resultado existe
+    }
+    error {
+      divisor_zero: "Nao e permitido dividir por zero."
+    }
+    tests {
+      caso "divisao valida" {
+        given {
+          dividendo: 10
+          divisor: 2
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+}

package/exemplos/crud_simples.sema

@@ -1,89 +1,89 @@
-module exemplos.crud.simples {
-  entity Produto {
-    fields {
-      id: Id
-      nome: Texto
-      preco: Decimal
-      ativo: Booleano
-    }
-  }
-
-  task criar_produto {
-    input {
-      nome: Texto required
-      preco: Decimal required
-    }
-    output {
-      produto: Produto
-    }
-    rules {
-      nome deve_ser preenchido
-      preco deve_ser positivo
-    }
-    effects {
-      persistencia Produto
-      auditoria produto_criado
-    }
-    guarantees {
-      produto existe
-    }
-    tests {
-      caso "cria produto" {
-        given {
-          nome: "Caneca"
-          preco: 39.9
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task atualizar_produto {
-    input {
-      id: Id required
-      nome: Texto
-      preco: Decimal
-    }
-    output {
-      produto: Produto
-    }
-    rules {
-      id deve_ser valido
-    }
-    effects {
-      persistencia Produto
-      auditoria produto_atualizado
-    }
-    guarantees {
-      produto existe
-    }
-    tests {
-      caso "atualiza produto" {
-        given {
-          id: "prod_1"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  route produtos {
-    metodo: POST
-    caminho: /produtos
-    task: criar_produto
-    finalidade: cadastro_produto
-    input {
-      nome: Texto
-      preco: Decimal
-    }
-    output {
-      produto: Produto
-    }
-  }
-}
+module exemplos.crud.simples {
+  entity Produto {
+    fields {
+      id: Id
+      nome: Texto
+      preco: Decimal
+      ativo: Booleano
+    }
+  }
+
+  task criar_produto {
+    input {
+      nome: Texto required
+      preco: Decimal required
+    }
+    output {
+      produto: Produto
+    }
+    rules {
+      nome deve_ser preenchido
+      preco deve_ser positivo
+    }
+    effects {
+      persistencia Produto
+      auditoria produto_criado
+    }
+    guarantees {
+      produto existe
+    }
+    tests {
+      caso "cria produto" {
+        given {
+          nome: "Caneca"
+          preco: 39.9
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task atualizar_produto {
+    input {
+      id: Id required
+      nome: Texto
+      preco: Decimal
+    }
+    output {
+      produto: Produto
+    }
+    rules {
+      id deve_ser valido
+    }
+    effects {
+      persistencia Produto
+      auditoria produto_atualizado
+    }
+    guarantees {
+      produto existe
+    }
+    tests {
+      caso "atualiza produto" {
+        given {
+          id: "prod_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route produtos {
+    metodo: POST
+    caminho: /produtos
+    task: criar_produto
+    finalidade: cadastro_produto
+    input {
+      nome: Texto
+      preco: Decimal
+    }
+    output {
+      produto: Produto
+    }
+  }
+}

package/exemplos/estoque.sema

@@ -1,126 +1,127 @@
-module exemplos.estoque {
-  docs {
-    resumo: "Controle de estoque com reserva, entrada e saida de produtos."
-  }
-
-  entity ItemEstoque {
-    fields {
-      id: Id
-      produto_id: Id
-      quantidade: Inteiro
-      quantidade_reservada: Inteiro
-      localizacao: Texto
-    }
-  }
-
-  entity MovimentacaoEstoque {
-    fields {
-      id: Id
-      produto_id: Id
-      tipo: Texto
-      quantidade: Inteiro
-      motivo: Texto
-      realizada_em: Timestamp
-    }
-  }
-
-  task reservar_estoque {
-    input {
-      produto_id: Id required
-      quantidade: Inteiro required
-      pedido_id: Id required
-    }
-    output {
-      reserva_id: Id
-    }
-    rules {
-      quantidade > 0
-      produto_id deve_ser valido
-    }
-    effects {
-      consulta ItemEstoque por produto_id criticidade = alta
-      persistencia ItemEstoque
-      persistencia MovimentacaoEstoque
-      evento estoque_reservado criticidade = media
-      auditoria reserva_estoque
-    }
-    guarantees {
-      reserva_id existe
-      ItemEstoque.quantidade_reservada >= quantidade
-    }
-    error {
-      estoque_insuficiente: "Quantidade solicitada indisponivel em estoque."
-      produto_nao_encontrado: "Produto nao localizado no estoque."
-    }
-    tests {
-      caso "reserva com estoque disponivel" {
-        given { produto_id: "prod_1"  quantidade: 5  pedido_id: "ped_1" }
-        expect { sucesso: verdadeiro }
-      }
-      caso "reserva sem estoque" {
-        given { produto_id: "prod_sem"  quantidade: 999  pedido_id: "ped_2" }
-        expect { sucesso: falso }
-        error { tipo: "estoque_insuficiente" }
-      }
-    }
-  }
-
-  task registrar_entrada {
-    input {
-      produto_id: Id required
-      quantidade: Inteiro required
-      motivo: Texto required
-    }
-    output {
-      movimentacao_id: Id
-    }
-    rules {
-      quantidade > 0
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia ItemEstoque
-      persistencia MovimentacaoEstoque
-      evento estoque_reposto
-      auditoria entrada_estoque
-    }
-    guarantees {
-      movimentacao_id existe
-    }
-    tests {
-      caso "entrada valida" {
-        given { produto_id: "prod_1"  quantidade: 100  motivo: "Reposicao mensal" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task liberar_reserva {
-    input {
-      reserva_id: Id required
-      motivo: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      reserva_id deve_ser valido
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia ItemEstoque
-      persistencia MovimentacaoEstoque
-      evento reserva_liberada
-      auditoria liberacao_reserva
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "libera reserva existente" {
-        given { reserva_id: "res_1"  motivo: "Pedido cancelado" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.estoque {
+  docs {
+    resumo: "Controle de estoque com reserva, entrada e saida de produtos."
+  }
+
+  entity ItemEstoque {
+    fields {
+      id: Id
+      produto_id: Id
+      quantidade: Inteiro
+      quantidade_reservada: Inteiro
+      localizacao: Texto
+    }
+  }
+
+  entity MovimentacaoEstoque {
+    fields {
+      id: Id
+      produto_id: Id
+      tipo: Texto
+      quantidade: Inteiro
+      motivo: Texto
+      realizada_em: Timestamp
+    }
+  }
+
+  task reservar_estoque {
+    input {
+      produto_id: Id required
+      quantidade: Inteiro required
+      pedido_id: Id required
+    }
+    output {
+      reserva_id: Id
+      quantidade_reservada: Inteiro
+    }
+    rules {
+      quantidade > 0
+      produto_id deve_ser valido
+    }
+    effects {
+      consulta ItemEstoque por produto_id criticidade = alta
+      persistencia ItemEstoque
+      persistencia MovimentacaoEstoque
+      evento estoque_reservado criticidade = media
+      auditoria reserva_estoque
+    }
+    guarantees {
+      reserva_id existe
+      quantidade_reservada existe
+    }
+    error {
+      estoque_insuficiente: "Quantidade solicitada indisponivel em estoque."
+      produto_nao_encontrado: "Produto nao localizado no estoque."
+    }
+    tests {
+      caso "reserva com estoque disponivel" {
+        given { produto_id: "prod_1"  quantidade: 5  pedido_id: "ped_1" }
+        expect { sucesso: verdadeiro }
+      }
+      caso "reserva sem estoque" {
+        given { produto_id: "prod_sem"  quantidade: 999  pedido_id: "ped_2" }
+        expect { sucesso: falso }
+        error { tipo: "estoque_insuficiente" }
+      }
+    }
+  }
+
+  task registrar_entrada {
+    input {
+      produto_id: Id required
+      quantidade: Inteiro required
+      motivo: Texto required
+    }
+    output {
+      movimentacao_id: Id
+    }
+    rules {
+      quantidade > 0
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia ItemEstoque
+      persistencia MovimentacaoEstoque
+      evento estoque_reposto
+      auditoria entrada_estoque
+    }
+    guarantees {
+      movimentacao_id existe
+    }
+    tests {
+      caso "entrada valida" {
+        given { produto_id: "prod_1"  quantidade: 100  motivo: "Reposicao mensal" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task liberar_reserva {
+    input {
+      reserva_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      reserva_id deve_ser valido
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia ItemEstoque
+      persistencia MovimentacaoEstoque
+      evento reserva_liberada
+      auditoria liberacao_reserva
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "libera reserva existente" {
+        given { reserva_id: "res_1"  motivo: "Pedido cancelado" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}