@semacode/cli 1.5.16 → 1.5.18

package/exemplos/crud_simples.sema

@@ -0,0 +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
+    }
+  }
+}

package/exemplos/estoque.sema

@@ -0,0 +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
+      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 }
+      }
+    }
+  }
+}

package/exemplos/exportacao.sema

@@ -0,0 +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 }
+      }
+    }
+  }
+}

package/exemplos/fila.sema

@@ -0,0 +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
+    }
+    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

@@ -0,0 +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 }
+      }
+    }
+  }
+}

package/exemplos/multi_tenant.sema

@@ -0,0 +1,140 @@
+module exemplos.multi.tenant {
+  docs {
+    resumo: "Isolamento de dados por tenant com provisionamento e controle de limites."
+  }
+
+  entity Tenant {
+    fields {
+      id: Id
+      nome: Texto
+      slug: Texto
+      plano: Texto
+      ativo: Booleano
+      criado_em: Timestamp
+    }
+  }
+
+  entity LimiteTenant {
+    fields {
+      tenant_id: Id
+      recurso: Texto
+      limite: Inteiro
+      utilizado: Inteiro
+    }
+  }
+
+  task provisionar_tenant {
+    input {
+      nome: Texto required
+      slug: Texto required
+      plano: Texto required
+      email_admin: Email required
+    }
+    output {
+      tenant: Tenant
+    }
+    rules {
+      slug deve_ser unico em Tenant.slug
+      slug deve_ser formato_slug_valido
+      plano em [FREE, PRO, ENTERPRISE]
+      email_admin deve_ser email_valido
+    }
+    effects {
+      persistencia Tenant
+      persistencia LimiteTenant
+      persistencia Usuario
+      evento tenant_provisionado criticidade = alta
+      notificacao admin boas_vindas criticidade = media
+      auditoria provisionamento_tenant criticidade = alta
+    }
+    guarantees {
+      tenant existe
+      tenant.ativo == verdadeiro
+    }
+    error {
+      slug_duplicado: "Este slug ja esta em uso."
+      plano_invalido: "Plano selecionado nao existe."
+      email_invalido: "Email do administrador invalido."
+    }
+    tests {
+      caso "provisiona tenant pro" {
+        given { nome: "Empresa X"  slug: "empresa-x"  plano: "PRO"  email_admin: "admin@x.com" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task verificar_limite {
+    input {
+      tenant_id: Id required
+      recurso: Texto required
+      quantidade: Inteiro required
+    }
+    output {
+      permitido: Booleano
+      utilizado: Inteiro
+      limite: Inteiro
+    }
+    rules {
+      tenant_id deve_ser valido
+      recurso deve_ser preenchido
+      quantidade > 0
+    }
+    effects {
+      consulta LimiteTenant por tenant_id e recurso
+      auditoria verificacao_limite
+    }
+    guarantees {
+      permitido existe
+    }
+    error {
+      tenant_nao_encontrado: "Tenant nao localizado."
+      recurso_desconhecido: "Recurso nao rastreado para este tenant."
+    }
+    tests {
+      caso "dentro do limite" {
+        given { tenant_id: "ten_1"  recurso: "usuarios"  quantidade: 5 }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task suspender_tenant {
+    input {
+      tenant_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+      tenant_ativo: Booleano
+    }
+    rules {
+      tenant_id deve_ser valido
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia Tenant
+      evento tenant_suspenso criticidade = alta
+      notificacao admin suspensao_tenant criticidade = alta
+      auditoria suspensao_tenant criticidade = alta
+    }
+    state ciclo_tenant {
+      transitions {
+        ATIVO -> SUSPENSO
+      }
+    }
+    guarantees {
+      protocolo existe
+      tenant_ativo == falso
+    }
+    error {
+      tenant_ja_suspenso: "Tenant ja esta suspenso."
+    }
+    tests {
+      caso "suspende tenant ativo" {
+        given { tenant_id: "ten_1"  motivo: "Inadimplencia" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}