@semacode/cli 1.5.18 → 1.5.19

package/exemplos/tratamento_erro.sema

@@ -1,157 +1,157 @@
-module exemplos.tratamento.erro {
-  task executar_operacao_sensivel {
-    input {
-      chave: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      chave existe e chave deve_ser preenchida
-    }
-    effects {
-      consulta cofre
-      auditoria falha_operacao_sensivel
-    }
-    guarantees {
-      protocolo existe
-    }
-    error {
-      acesso_negado: "A chave informada nao tem permissao."
-      recurso_indisponivel: "O servico esta temporariamente indisponivel."
-      auditoria_obrigatoria: "Toda falha precisa ser registrada."
-    }
-    tests {
-      caso "falha por acesso negado" {
-        given {
-          chave: "sem_permissao"
-        }
-
-        expect {
-          sucesso: falso
-        }
-
-        error {
-          tipo: "acesso_negado"
-        }
-      }
-    }
-  }
-
-  task responder_acesso_negado {
-    input {
-      chave: Texto required
-    }
-    output {
-      protocolo_resposta: Id
-    }
-    effects {
-      notificacao cliente acesso_negado
-      auditoria acesso_negado
-    }
-    guarantees {
-      protocolo_resposta existe
-    }
-    tests {
-      caso "responde acesso negado" {
-        given {
-          chave: "sem_permissao"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task responder_retentativa {
-    input {
-      chave: Texto required
-    }
-    output {
-      protocolo_resposta: Id
-    }
-    effects {
-      notificacao cliente retentativa_programada
-      auditoria retentativa
-    }
-    guarantees {
-      protocolo_resposta existe
-    }
-    tests {
-      caso "agenda retentativa" {
-        given {
-          chave: "instavel"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task registrar_auditoria_falha {
-    input {
-      chave: Texto required
-    }
-    output {
-      auditoria_id: Id
-    }
-    effects {
-      auditoria falha_operacional
-      persistencia auditoria_falha
-    }
-    guarantees {
-      auditoria_id existe
-    }
-    tests {
-      caso "audita falha" {
-        given {
-          chave: "sem_permissao"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task registrar_sucesso {
-    input {
-      protocolo: Id required
-    }
-    output {
-      registro_id: Id
-    }
-    effects {
-      auditoria operacao_concluida
-      evento operacao_sensivel_concluida
-    }
-    guarantees {
-      registro_id existe
-    }
-    tests {
-      caso "registra sucesso" {
-        given {
-          protocolo: "prot_1"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  flow resposta_segura {
-    chave: Texto
-    etapa tentar usa executar_operacao_sensivel com chave = chave em_sucesso concluir em_erro registrar_falha por_erro acesso_negado = tratar_acesso_negado, recurso_indisponivel = agendar_retentativa
-    etapa tratar_acesso_negado usa responder_acesso_negado com chave = chave depende_de tentar
-    etapa agendar_retentativa usa responder_retentativa com chave = chave depende_de tentar
-    etapa registrar_falha usa registrar_auditoria_falha com chave = chave depende_de tentar
-    etapa concluir usa registrar_sucesso com protocolo = tentar.protocolo depende_de tentar
-  }
-}
+module exemplos.tratamento.erro {
+  task executar_operacao_sensivel {
+    input {
+      chave: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      chave existe e chave deve_ser preenchida
+    }
+    effects {
+      consulta cofre
+      auditoria falha_operacao_sensivel
+    }
+    guarantees {
+      protocolo existe
+    }
+    error {
+      acesso_negado: "A chave informada nao tem permissao."
+      recurso_indisponivel: "O servico esta temporariamente indisponivel."
+      auditoria_obrigatoria: "Toda falha precisa ser registrada."
+    }
+    tests {
+      caso "falha por acesso negado" {
+        given {
+          chave: "sem_permissao"
+        }
+
+        expect {
+          sucesso: falso
+        }
+
+        error {
+          tipo: "acesso_negado"
+        }
+      }
+    }
+  }
+
+  task responder_acesso_negado {
+    input {
+      chave: Texto required
+    }
+    output {
+      protocolo_resposta: Id
+    }
+    effects {
+      notificacao cliente acesso_negado
+      auditoria acesso_negado
+    }
+    guarantees {
+      protocolo_resposta existe
+    }
+    tests {
+      caso "responde acesso negado" {
+        given {
+          chave: "sem_permissao"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task responder_retentativa {
+    input {
+      chave: Texto required
+    }
+    output {
+      protocolo_resposta: Id
+    }
+    effects {
+      notificacao cliente retentativa_programada
+      auditoria retentativa
+    }
+    guarantees {
+      protocolo_resposta existe
+    }
+    tests {
+      caso "agenda retentativa" {
+        given {
+          chave: "instavel"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task registrar_auditoria_falha {
+    input {
+      chave: Texto required
+    }
+    output {
+      auditoria_id: Id
+    }
+    effects {
+      auditoria falha_operacional
+      persistencia auditoria_falha
+    }
+    guarantees {
+      auditoria_id existe
+    }
+    tests {
+      caso "audita falha" {
+        given {
+          chave: "sem_permissao"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task registrar_sucesso {
+    input {
+      protocolo: Id required
+    }
+    output {
+      registro_id: Id
+    }
+    effects {
+      auditoria operacao_concluida
+      evento operacao_sensivel_concluida
+    }
+    guarantees {
+      registro_id existe
+    }
+    tests {
+      caso "registra sucesso" {
+        given {
+          protocolo: "prot_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  flow resposta_segura {
+    chave: Texto
+    etapa tentar usa executar_operacao_sensivel com chave = chave em_sucesso concluir em_erro registrar_falha por_erro acesso_negado = tratar_acesso_negado, recurso_indisponivel = agendar_retentativa
+    etapa tratar_acesso_negado usa responder_acesso_negado com chave = chave depende_de tentar
+    etapa agendar_retentativa usa responder_retentativa com chave = chave depende_de tentar
+    etapa registrar_falha usa registrar_auditoria_falha com chave = chave depende_de tentar
+    etapa concluir usa registrar_sucesso com protocolo = tentar.protocolo depende_de tentar
+  }
+}

package/exemplos/upload_arquivo.sema

@@ -1,93 +1,93 @@
-module exemplos.upload.arquivo {
-  docs {
-    resumo: "Upload de arquivos com validacao de tipo, tamanho e processamento."
-  }
-
-  entity Arquivo {
-    fields {
-      id: Id
-      nome: Texto
-      tipo_mime: Texto
-      tamanho_bytes: Inteiro
-      url: Texto
-      status: Texto
-      enviado_por: Id
-      criado_em: Timestamp
-    }
-  }
-
-  task iniciar_upload {
-    input {
-      nome: Texto required
-      tipo_mime: Texto required
-      tamanho_bytes: Inteiro required
-    }
-    output {
-      upload_id: Id
-      url_upload: Texto
-    }
-    rules {
-      tipo_mime em [image/jpeg, image/png, application/pdf, text/csv]
-      tamanho_bytes <= 10485760
-      nome deve_ser preenchido
-    }
-    effects {
-      consulta storage criticidade = alta
-      persistencia Arquivo
-      auditoria upload_iniciado
-    }
-    guarantees {
-      upload_id existe
-      url_upload existe
-    }
-    error {
-      tipo_nao_permitido: "Tipo de arquivo nao aceito."
-      tamanho_excedido: "Arquivo excede o limite de 10MB."
-      storage_indisponivel: "Servico de armazenamento indisponivel."
-    }
-    tests {
-      caso "inicia upload de imagem" {
-        given { nome: "foto.jpg"  tipo_mime: "image/jpeg"  tamanho_bytes: 512000 }
-        expect { sucesso: verdadeiro }
-      }
-      caso "rejeita arquivo muito grande" {
-        given { nome: "video.mp4"  tipo_mime: "video/mp4"  tamanho_bytes: 20971520 }
-        expect { sucesso: falso }
-        error { tipo: "tamanho_excedido" }
-      }
-    }
-  }
-
-  task confirmar_upload {
-    input {
-      upload_id: Id required
-    }
-    output {
-      arquivo: Arquivo
-    }
-    rules {
-      upload_id deve_ser valido
-    }
-    effects {
-      consulta storage por upload_id criticidade = alta
-      persistencia Arquivo
-      evento arquivo_disponivel criticidade = baixa
-      auditoria upload_confirmado
-    }
-    state ciclo_arquivo {
-      transitions {
-        PENDENTE -> DISPONIVEL
-      }
-    }
-    guarantees {
-      arquivo existe
-      arquivo.url existe
-    }
-    tests {
-      caso "confirma upload realizado" {
-        given { upload_id: "upl_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.upload.arquivo {
+  docs {
+    resumo: "Upload de arquivos com validacao de tipo, tamanho e processamento."
+  }
+
+  entity Arquivo {
+    fields {
+      id: Id
+      nome: Texto
+      tipo_mime: Texto
+      tamanho_bytes: Inteiro
+      url: Texto
+      status: Texto
+      enviado_por: Id
+      criado_em: Timestamp
+    }
+  }
+
+  task iniciar_upload {
+    input {
+      nome: Texto required
+      tipo_mime: Texto required
+      tamanho_bytes: Inteiro required
+    }
+    output {
+      upload_id: Id
+      url_upload: Texto
+    }
+    rules {
+      tipo_mime em [image/jpeg, image/png, application/pdf, text/csv]
+      tamanho_bytes <= 10485760
+      nome deve_ser preenchido
+    }
+    effects {
+      consulta storage criticidade = alta
+      persistencia Arquivo
+      auditoria upload_iniciado
+    }
+    guarantees {
+      upload_id existe
+      url_upload existe
+    }
+    error {
+      tipo_nao_permitido: "Tipo de arquivo nao aceito."
+      tamanho_excedido: "Arquivo excede o limite de 10MB."
+      storage_indisponivel: "Servico de armazenamento indisponivel."
+    }
+    tests {
+      caso "inicia upload de imagem" {
+        given { nome: "foto.jpg"  tipo_mime: "image/jpeg"  tamanho_bytes: 512000 }
+        expect { sucesso: verdadeiro }
+      }
+      caso "rejeita arquivo muito grande" {
+        given { nome: "video.mp4"  tipo_mime: "video/mp4"  tamanho_bytes: 20971520 }
+        expect { sucesso: falso }
+        error { tipo: "tamanho_excedido" }
+      }
+    }
+  }
+
+  task confirmar_upload {
+    input {
+      upload_id: Id required
+    }
+    output {
+      arquivo: Arquivo
+    }
+    rules {
+      upload_id deve_ser valido
+    }
+    effects {
+      consulta storage por upload_id criticidade = alta
+      persistencia Arquivo
+      evento arquivo_disponivel criticidade = baixa
+      auditoria upload_confirmado
+    }
+    state ciclo_arquivo {
+      transitions {
+        PENDENTE -> DISPONIVEL
+      }
+    }
+    guarantees {
+      arquivo existe
+      arquivo.url existe
+    }
+    tests {
+      caso "confirma upload realizado" {
+        given { upload_id: "upl_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/webhook.sema

@@ -1,94 +1,94 @@
-module exemplos.webhook {
-  docs {
-    resumo: "Recepcao, validacao e reenvio de eventos via webhook."
-  }
-
-  entity EventoWebhook {
-    fields {
-      id: Id
-      origem: Texto
-      tipo: Texto
-      payload: Objeto
-      status: Texto
-      tentativas: Inteiro
-      recebido_em: Timestamp
-      processado_em: Timestamp
-    }
-  }
-
-  task receber_webhook {
-    input {
-      origem: Texto required
-      tipo: Texto required
-      payload: Objeto required
-      assinatura: Texto required
-    }
-    output {
-      evento_id: Id
-    }
-    rules {
-      assinatura deve_ser valida para payload
-      origem deve_ser permitida
-      tipo deve_ser preenchido
-    }
-    effects {
-      persistencia EventoWebhook
-      evento webhook_recebido criticidade = media
-      auditoria recepcao_webhook
-    }
-    state ciclo_webhook {
-      transitions {
-        RECEBIDO -> EM_PROCESSAMENTO
-      }
-    }
-    guarantees {
-      evento_id existe
-    }
-    error {
-      assinatura_invalida: "Assinatura do webhook nao confere."
-      origem_nao_permitida: "Origem do webhook nao esta na lista de permitidos."
-    }
-    tests {
-      caso "recebe webhook valido" {
-        given { origem: "stripe"  tipo: "payment.succeeded"  payload: "payload_ok"  assinatura: "sig_ok" }
-        expect { sucesso: verdadeiro }
-      }
-      caso "rejeita assinatura invalida" {
-        given { origem: "stripe"  tipo: "payment.succeeded"  payload: "payload_ok"  assinatura: "sig_errada" }
-        expect { sucesso: falso }
-        error { tipo: "assinatura_invalida" }
-      }
-    }
-  }
-
-  task reenviar_webhook {
-    input {
-      evento_id: Id required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      evento_id deve_ser valido
-    }
-    effects {
-      consulta EventoWebhook por evento_id
-      persistencia EventoWebhook
-      evento webhook_reenviado
-      auditoria reenvio_webhook
-    }
-    guarantees {
-      protocolo existe
-    }
-    error {
-      limite_tentativas: "Numero maximo de tentativas atingido."
-      evento_ja_processado: "Este evento ja foi processado com sucesso."
-    }
-    tests {
-      caso "reenvia evento falho" {
-        given { evento_id: "evt_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.webhook {
+  docs {
+    resumo: "Recepcao, validacao e reenvio de eventos via webhook."
+  }
+
+  entity EventoWebhook {
+    fields {
+      id: Id
+      origem: Texto
+      tipo: Texto
+      payload: Objeto
+      status: Texto
+      tentativas: Inteiro
+      recebido_em: Timestamp
+      processado_em: Timestamp
+    }
+  }
+
+  task receber_webhook {
+    input {
+      origem: Texto required
+      tipo: Texto required
+      payload: Objeto required
+      assinatura: Texto required
+    }
+    output {
+      evento_id: Id
+    }
+    rules {
+      assinatura deve_ser valida para payload
+      origem deve_ser permitida
+      tipo deve_ser preenchido
+    }
+    effects {
+      persistencia EventoWebhook
+      evento webhook_recebido criticidade = media
+      auditoria recepcao_webhook
+    }
+    state ciclo_webhook {
+      transitions {
+        RECEBIDO -> EM_PROCESSAMENTO
+      }
+    }
+    guarantees {
+      evento_id existe
+    }
+    error {
+      assinatura_invalida: "Assinatura do webhook nao confere."
+      origem_nao_permitida: "Origem do webhook nao esta na lista de permitidos."
+    }
+    tests {
+      caso "recebe webhook valido" {
+        given { origem: "stripe"  tipo: "payment.succeeded"  payload: "payload_ok"  assinatura: "sig_ok" }
+        expect { sucesso: verdadeiro }
+      }
+      caso "rejeita assinatura invalida" {
+        given { origem: "stripe"  tipo: "payment.succeeded"  payload: "payload_ok"  assinatura: "sig_errada" }
+        expect { sucesso: falso }
+        error { tipo: "assinatura_invalida" }
+      }
+    }
+  }
+
+  task reenviar_webhook {
+    input {
+      evento_id: Id required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      evento_id deve_ser valido
+    }
+    effects {
+      consulta EventoWebhook por evento_id
+      persistencia EventoWebhook
+      evento webhook_reenviado
+      auditoria reenvio_webhook
+    }
+    guarantees {
+      protocolo existe
+    }
+    error {
+      limite_tentativas: "Numero maximo de tentativas atingido."
+      evento_ja_processado: "Este evento ja foi processado com sucesso."
+    }
+    tests {
+      caso "reenvia evento falho" {
+        given { evento_id: "evt_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}