@semacode/cli 1.5.17 → 1.5.19

package/exemplos/exportacao.sema

@@ -1,94 +1,94 @@
-module exemplos.exportacao {
-  docs {
-    resumo: "Exportacao de dados em multiplos formatos com controle de acesso e rastreamento."
-  }
-
-  entity ExportacaoDados {
-    fields {
-      id: Id
-      tipo: Texto
-      formato: Texto
-      filtros: Objeto
-      total_registros: Inteiro
-      url_arquivo: Texto
-      status: Texto
-      solicitado_por: Id
-      expira_em: Timestamp
-    }
-  }
-
-  task solicitar_exportacao {
-    input {
-      tipo: Texto required
-      formato: Texto required
-      filtros: Objeto
-    }
-    output {
-      exportacao_id: Id
-    }
-    rules {
-      tipo em [USUARIOS, PEDIDOS, FINANCEIRO, ESTOQUE]
-      formato em [CSV, XLSX, JSON]
-    }
-    effects {
-      persistencia ExportacaoDados
-      evento exportacao_solicitada criticidade = media
-      auditoria solicitacao_exportacao criticidade = media
-    }
-    state ciclo_exportacao {
-      transitions {
-        PENDENTE -> EM_PROCESSAMENTO
-      }
-    }
-    guarantees {
-      exportacao_id existe
-    }
-    error {
-      tipo_invalido: "Tipo de exportacao nao suportado."
-      formato_invalido: "Formato de arquivo nao suportado."
-      permissao_negada: "Sem permissao para exportar este tipo de dado."
-    }
-    tests {
-      caso "solicita exportacao de usuarios em csv" {
-        given { tipo: "USUARIOS"  formato: "CSV" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task concluir_exportacao {
-    input {
-      exportacao_id: Id required
-      url_arquivo: Texto required
-      total_registros: Inteiro required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      exportacao_id deve_ser valido
-      url_arquivo deve_ser preenchida
-      total_registros >= 0
-    }
-    effects {
-      persistencia ExportacaoDados
-      notificacao usuario exportacao_pronta criticidade = media
-      evento exportacao_concluida
-      auditoria conclusao_exportacao
-    }
-    state ciclo_exportacao {
-      transitions {
-        EM_PROCESSAMENTO -> DISPONIVEL
-      }
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "conclui exportacao" {
-        given { exportacao_id: "exp_1"  url_arquivo: "https://storage/exp_1.csv"  total_registros: 1500 }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.exportacao {
+  docs {
+    resumo: "Exportacao de dados em multiplos formatos com controle de acesso e rastreamento."
+  }
+
+  entity ExportacaoDados {
+    fields {
+      id: Id
+      tipo: Texto
+      formato: Texto
+      filtros: Objeto
+      total_registros: Inteiro
+      url_arquivo: Texto
+      status: Texto
+      solicitado_por: Id
+      expira_em: Timestamp
+    }
+  }
+
+  task solicitar_exportacao {
+    input {
+      tipo: Texto required
+      formato: Texto required
+      filtros: Objeto
+    }
+    output {
+      exportacao_id: Id
+    }
+    rules {
+      tipo em [USUARIOS, PEDIDOS, FINANCEIRO, ESTOQUE]
+      formato em [CSV, XLSX, JSON]
+    }
+    effects {
+      persistencia ExportacaoDados
+      evento exportacao_solicitada criticidade = media
+      auditoria solicitacao_exportacao criticidade = media
+    }
+    state ciclo_exportacao {
+      transitions {
+        PENDENTE -> EM_PROCESSAMENTO
+      }
+    }
+    guarantees {
+      exportacao_id existe
+    }
+    error {
+      tipo_invalido: "Tipo de exportacao nao suportado."
+      formato_invalido: "Formato de arquivo nao suportado."
+      permissao_negada: "Sem permissao para exportar este tipo de dado."
+    }
+    tests {
+      caso "solicita exportacao de usuarios em csv" {
+        given { tipo: "USUARIOS"  formato: "CSV" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task concluir_exportacao {
+    input {
+      exportacao_id: Id required
+      url_arquivo: Texto required
+      total_registros: Inteiro required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      exportacao_id deve_ser valido
+      url_arquivo deve_ser preenchida
+      total_registros >= 0
+    }
+    effects {
+      persistencia ExportacaoDados
+      notificacao usuario exportacao_pronta criticidade = media
+      evento exportacao_concluida
+      auditoria conclusao_exportacao
+    }
+    state ciclo_exportacao {
+      transitions {
+        EM_PROCESSAMENTO -> DISPONIVEL
+      }
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "conclui exportacao" {
+        given { exportacao_id: "exp_1"  url_arquivo: "https://storage/exp_1.csv"  total_registros: 1500 }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/fila.sema

@@ -1,131 +1,130 @@
-module exemplos.fila {
-  docs {
-    resumo: "Processamento de jobs em fila com retentativa e dead letter."
-  }
-
-  entity Job {
-    fields {
-      id: Id
-      tipo: Texto
-      payload: Objeto
-      status: Texto
-      tentativas: Inteiro
-      max_tentativas: Inteiro
-      agendado_para: Timestamp
-      processado_em: Timestamp
-      erro: Texto
-    }
-  }
-
-  task enfileirar_job {
-    input {
-      tipo: Texto required
-      payload: Objeto required
-      agendado_para: Timestamp
-      max_tentativas: Inteiro
-    }
-    output {
-      job_id: Id
-    }
-    rules {
-      tipo deve_ser preenchido
-      max_tentativas <= 10
-    }
-    effects {
-      persistencia Job
-      evento job_enfileirado criticidade = baixa
-      auditoria enfileiramento_job
-    }
-    state ciclo_job {
-      transitions {
-        CRIADO -> PENDENTE
-      }
-    }
-    guarantees {
-      job_id existe
-    }
-    error {
-      tipo_invalido: "Tipo de job nao registrado."
-      fila_cheia: "Fila atingiu capacidade maxima."
-    }
-    tests {
-      caso "enfileira job valido" {
-        given { tipo: "envio_email"  payload: {destinatario: "a@b.com"} }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task processar_job {
-    input {
-      job_id: Id required
-    }
-    output {
-      resultado: Objeto
-    }
-    rules {
-      job_id deve_ser valido
-      job.status == PENDENTE
-    }
-    effects {
-      persistencia Job
-      evento job_processado criticidade = baixa
-      auditoria processamento_job
-    }
-    state ciclo_job {
-      transitions {
-        PENDENTE -> EM_EXECUCAO
-        EM_EXECUCAO -> CONCLUIDO
-        EM_EXECUCAO -> FALHOU
-      }
-    }
-    guarantees {
-      resultado existe
-    }
-    error {
-      job_nao_encontrado: "Job nao localizado na fila."
-      job_ja_processado: "Este job ja foi executado."
-      execucao_falhou: "Falha durante a execucao do job."
-    }
-    tests {
-      caso "processa job pendente" {
-        given { job_id: "job_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task mover_para_dead_letter {
-    input {
-      job_id: Id required
-      motivo: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      job_id deve_ser valido
-      job.tentativas >= job.max_tentativas
-    }
-    effects {
-      persistencia Job
-      evento job_dead_letter criticidade = alta
-      notificacao operacao falha_critica_job criticidade = alta
-      auditoria dead_letter criticidade = alta
-    }
-    state ciclo_job {
-      transitions {
-        FALHOU -> DEAD_LETTER
-      }
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "move job esgotado" {
-        given { job_id: "job_esgotado"  motivo: "Timeout repetido" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.fila {
+  docs {
+    resumo: "Processamento de jobs em fila com retentativa e dead letter."
+  }
+
+  entity Job {
+    fields {
+      id: Id
+      tipo: Texto
+      payload: Objeto
+      status: Texto
+      tentativas: Inteiro
+      max_tentativas: Inteiro
+      agendado_para: Timestamp
+      processado_em: Timestamp
+      erro: Texto
+    }
+  }
+
+  task enfileirar_job {
+    input {
+      tipo: Texto required
+      payload: Objeto required
+      agendado_para: Timestamp
+      max_tentativas: Inteiro
+    }
+    output {
+      job_id: Id
+    }
+    rules {
+      tipo deve_ser preenchido
+      max_tentativas <= 10
+    }
+    effects {
+      persistencia Job
+      evento job_enfileirado criticidade = baixa
+      auditoria enfileiramento_job
+    }
+    state ciclo_job {
+      transitions {
+        CRIADO -> PENDENTE
+      }
+    }
+    guarantees {
+      job_id existe
+    }
+    error {
+      tipo_invalido: "Tipo de job nao registrado."
+      fila_cheia: "Fila atingiu capacidade maxima."
+    }
+    tests {
+      caso "enfileira job valido" {
+        given { tipo: "envio_email"  payload: "destinatario:a@b.com" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task processar_job {
+    input {
+      job_id: Id required
+    }
+    output {
+      resultado: Objeto
+    }
+    rules {
+      job_id deve_ser valido
+    }
+    effects {
+      persistencia Job
+      evento job_processado criticidade = baixa
+      auditoria processamento_job
+    }
+    state ciclo_job {
+      transitions {
+        PENDENTE -> EM_EXECUCAO
+        EM_EXECUCAO -> CONCLUIDO
+        EM_EXECUCAO -> FALHOU
+      }
+    }
+    guarantees {
+      resultado existe
+    }
+    error {
+      job_nao_encontrado: "Job nao localizado na fila."
+      job_ja_processado: "Este job ja foi executado."
+      execucao_falhou: "Falha durante a execucao do job."
+    }
+    tests {
+      caso "processa job pendente" {
+        given { job_id: "job_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task mover_para_dead_letter {
+    input {
+      job_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      job_id deve_ser valido
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia Job
+      evento job_dead_letter criticidade = alta
+      notificacao operacao falha_critica_job criticidade = alta
+      auditoria dead_letter criticidade = alta
+    }
+    state ciclo_job {
+      transitions {
+        FALHOU -> DEAD_LETTER
+      }
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "move job esgotado" {
+        given { job_id: "job_esgotado"  motivo: "Timeout repetido" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/integracao_externa.sema

@@ -1,94 +1,94 @@
-module exemplos.integracao.externa {
-  docs {
-    resumo: "Integracao com API externa com circuit breaker e fallback."
-  }
-
-  entity ChamadaExterna {
-    fields {
-      id: Id
-      servico: Texto
-      endpoint: Texto
-      metodo: Texto
-      status_http: Inteiro
-      duracao_ms: Inteiro
-      sucesso: Booleano
-      realizada_em: Timestamp
-    }
-  }
-
-  task consultar_cep {
-    input {
-      cep: Texto required
-    }
-    output {
-      logradouro: Texto
-      bairro: Texto
-      cidade: Texto
-      estado: Texto
-    }
-    rules {
-      cep deve_ser formato_cep_valido
-    }
-    effects {
-      consulta api_cep criticidade = media
-      persistencia ChamadaExterna
-      auditoria consulta_cep
-    }
-    guarantees {
-      logradouro existe
-      cidade existe
-      estado existe
-    }
-    error {
-      cep_nao_encontrado: "CEP nao localizado."
-      servico_indisponivel: "API de CEP temporariamente indisponivel."
-      formato_invalido: "CEP deve ter 8 digitos numericos."
-    }
-    tests {
-      caso "consulta cep valido" {
-        given { cep: "01310100" }
-        expect { sucesso: verdadeiro }
-      }
-      caso "rejeita cep invalido" {
-        given { cep: "00000000" }
-        expect { sucesso: falso }
-        error { tipo: "cep_nao_encontrado" }
-      }
-    }
-  }
-
-  task consultar_cnpj {
-    input {
-      cnpj: Texto required
-    }
-    output {
-      razao_social: Texto
-      situacao: Texto
-      atividade_principal: Texto
-    }
-    rules {
-      cnpj deve_ser formato_cnpj_valido
-      cnpj deve_ser digitos_validos
-    }
-    effects {
-      consulta api_receita criticidade = media
-      persistencia ChamadaExterna
-      auditoria consulta_cnpj
-    }
-    guarantees {
-      razao_social existe
-      situacao existe
-    }
-    error {
-      cnpj_nao_encontrado: "CNPJ nao localizado na Receita Federal."
-      servico_indisponivel: "Servico da Receita Federal indisponivel."
-      formato_invalido: "CNPJ invalido."
-    }
-    tests {
-      caso "consulta cnpj valido" {
-        given { cnpj: "11222333000181" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.integracao.externa {
+  docs {
+    resumo: "Integracao com API externa com circuit breaker e fallback."
+  }
+
+  entity ChamadaExterna {
+    fields {
+      id: Id
+      servico: Texto
+      endpoint: Texto
+      metodo: Texto
+      status_http: Inteiro
+      duracao_ms: Inteiro
+      sucesso: Booleano
+      realizada_em: Timestamp
+    }
+  }
+
+  task consultar_cep {
+    input {
+      cep: Texto required
+    }
+    output {
+      logradouro: Texto
+      bairro: Texto
+      cidade: Texto
+      estado: Texto
+    }
+    rules {
+      cep deve_ser formato_cep_valido
+    }
+    effects {
+      consulta api_cep criticidade = media
+      persistencia ChamadaExterna
+      auditoria consulta_cep
+    }
+    guarantees {
+      logradouro existe
+      cidade existe
+      estado existe
+    }
+    error {
+      cep_nao_encontrado: "CEP nao localizado."
+      servico_indisponivel: "API de CEP temporariamente indisponivel."
+      formato_invalido: "CEP deve ter 8 digitos numericos."
+    }
+    tests {
+      caso "consulta cep valido" {
+        given { cep: "01310100" }
+        expect { sucesso: verdadeiro }
+      }
+      caso "rejeita cep invalido" {
+        given { cep: "00000000" }
+        expect { sucesso: falso }
+        error { tipo: "cep_nao_encontrado" }
+      }
+    }
+  }
+
+  task consultar_cnpj {
+    input {
+      cnpj: Texto required
+    }
+    output {
+      razao_social: Texto
+      situacao: Texto
+      atividade_principal: Texto
+    }
+    rules {
+      cnpj deve_ser formato_cnpj_valido
+      cnpj deve_ser digitos_validos
+    }
+    effects {
+      consulta api_receita criticidade = media
+      persistencia ChamadaExterna
+      auditoria consulta_cnpj
+    }
+    guarantees {
+      razao_social existe
+      situacao existe
+    }
+    error {
+      cnpj_nao_encontrado: "CNPJ nao localizado na Receita Federal."
+      servico_indisponivel: "Servico da Receita Federal indisponivel."
+      formato_invalido: "CNPJ invalido."
+    }
+    tests {
+      caso "consulta cnpj valido" {
+        given { cnpj: "11222333000181" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}