@semacode/cli 1.5.18 → 1.5.19

package/exemplos/agendamento.sema

@@ -1,105 +1,105 @@
-module exemplos.agendamento {
-  docs {
-    resumo: "Agendamento de tarefas recorrentes e unicas com controle de execucao."
-  }
-
-  entity Agendamento {
-    fields {
-      id: Id
-      nome: Texto
-      tipo: Texto
-      expressao_cron: Texto
-      payload: Objeto
-      ativo: Booleano
-      ultima_execucao: Timestamp
-      proxima_execucao: Timestamp
-    }
-  }
-
-  entity ExecucaoAgendamento {
-    fields {
-      id: Id
-      agendamento_id: Id
-      status: Texto
-      iniciado_em: Timestamp
-      concluido_em: Timestamp
-      erro: Texto
-    }
-  }
-
-  task criar_agendamento {
-    input {
-      nome: Texto required
-      tipo: Texto required
-      expressao_cron: Texto required
-      payload: Objeto
-    }
-    output {
-      agendamento: Agendamento
-    }
-    rules {
-      nome deve_ser preenchido
-      expressao_cron deve_ser valida
-      tipo deve_ser registrado
-    }
-    effects {
-      persistencia Agendamento
-      evento agendamento_criado criticidade = baixa
-      auditoria criacao_agendamento
-    }
-    guarantees {
-      agendamento existe
-      agendamento.ativo == verdadeiro
-    }
-    error {
-      cron_invalido: "Expressao cron invalida."
-      tipo_nao_registrado: "Tipo de agendamento nao existe."
-      nome_duplicado: "Ja existe agendamento com este nome."
-    }
-    tests {
-      caso "cria agendamento diario" {
-        given { nome: "relatorio_diario"  tipo: "gerar_relatorio"  expressao_cron: "0 8 * * *" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task executar_agendamento {
-    input {
-      agendamento_id: Id required
-    }
-    output {
-      execucao_id: Id
-    }
-    rules {
-      agendamento_id deve_ser valido
-    }
-    effects {
-      consulta Agendamento por agendamento_id
-      persistencia ExecucaoAgendamento
-      persistencia Agendamento
-      evento agendamento_executado criticidade = baixa
-      auditoria execucao_agendamento
-    }
-    state ciclo_execucao {
-      transitions {
-        PENDENTE -> EM_EXECUCAO
-        EM_EXECUCAO -> CONCLUIDO
-        EM_EXECUCAO -> FALHOU
-      }
-    }
-    guarantees {
-      execucao_id existe
-    }
-    error {
-      agendamento_inativo: "Agendamento esta desativado."
-      execucao_em_andamento: "Ja existe uma execucao em andamento para este agendamento."
-    }
-    tests {
-      caso "executa agendamento ativo" {
-        given { agendamento_id: "agd_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.agendamento {
+  docs {
+    resumo: "Agendamento de tarefas recorrentes e unicas com controle de execucao."
+  }
+
+  entity Agendamento {
+    fields {
+      id: Id
+      nome: Texto
+      tipo: Texto
+      expressao_cron: Texto
+      payload: Objeto
+      ativo: Booleano
+      ultima_execucao: Timestamp
+      proxima_execucao: Timestamp
+    }
+  }
+
+  entity ExecucaoAgendamento {
+    fields {
+      id: Id
+      agendamento_id: Id
+      status: Texto
+      iniciado_em: Timestamp
+      concluido_em: Timestamp
+      erro: Texto
+    }
+  }
+
+  task criar_agendamento {
+    input {
+      nome: Texto required
+      tipo: Texto required
+      expressao_cron: Texto required
+      payload: Objeto
+    }
+    output {
+      agendamento: Agendamento
+    }
+    rules {
+      nome deve_ser preenchido
+      expressao_cron deve_ser valida
+      tipo deve_ser registrado
+    }
+    effects {
+      persistencia Agendamento
+      evento agendamento_criado criticidade = baixa
+      auditoria criacao_agendamento
+    }
+    guarantees {
+      agendamento existe
+      agendamento.ativo == verdadeiro
+    }
+    error {
+      cron_invalido: "Expressao cron invalida."
+      tipo_nao_registrado: "Tipo de agendamento nao existe."
+      nome_duplicado: "Ja existe agendamento com este nome."
+    }
+    tests {
+      caso "cria agendamento diario" {
+        given { nome: "relatorio_diario"  tipo: "gerar_relatorio"  expressao_cron: "0 8 * * *" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task executar_agendamento {
+    input {
+      agendamento_id: Id required
+    }
+    output {
+      execucao_id: Id
+    }
+    rules {
+      agendamento_id deve_ser valido
+    }
+    effects {
+      consulta Agendamento por agendamento_id
+      persistencia ExecucaoAgendamento
+      persistencia Agendamento
+      evento agendamento_executado criticidade = baixa
+      auditoria execucao_agendamento
+    }
+    state ciclo_execucao {
+      transitions {
+        PENDENTE -> EM_EXECUCAO
+        EM_EXECUCAO -> CONCLUIDO
+        EM_EXECUCAO -> FALHOU
+      }
+    }
+    guarantees {
+      execucao_id existe
+    }
+    error {
+      agendamento_inativo: "Agendamento esta desativado."
+      execucao_em_andamento: "Ja existe uma execucao em andamento para este agendamento."
+    }
+    tests {
+      caso "executa agendamento ativo" {
+        given { agendamento_id: "agd_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/assinatura.sema

@@ -1,133 +1,133 @@
-module exemplos.assinatura {
-  docs {
-    resumo: "Gestao de assinaturas recorrentes com upgrade, downgrade e cancelamento."
-  }
-
-  entity Assinatura {
-    fields {
-      id: Id
-      cliente_id: Id
-      plano_id: Id
-      status: Texto
-      inicio_em: Timestamp
-      proximo_vencimento: Timestamp
-      cancelada_em: Timestamp
-    }
-  }
-
-  task criar_assinatura {
-    input {
-      cliente_id: Id required
-      plano_id: Id required
-      token_pagamento: Texto required
-    }
-    output {
-      assinatura: Assinatura
-    }
-    rules {
-      cliente_id deve_ser valido
-      plano_id deve_ser valido
-      token_pagamento deve_ser valido
-    }
-    effects {
-      consulta Cliente por cliente_id
-      consulta Plano por plano_id
-      consulta gateway_pagamento criticidade = alta
-      persistencia Assinatura
-      evento assinatura_criada criticidade = alta
-      notificacao cliente confirmacao_assinatura criticidade = media
-      auditoria criacao_assinatura criticidade = alta
-    }
-    state ciclo_assinatura {
-      transitions {
-        PENDENTE -> ATIVA
-      }
-    }
-    guarantees {
-      assinatura existe
-      assinatura.status == ATIVA
-    }
-    error {
-      pagamento_recusado: "Pagamento inicial recusado."
-      cliente_ja_assina: "Cliente ja possui assinatura ativa."
-      plano_invalido: "Plano nao disponivel para assinatura."
-    }
-    tests {
-      caso "cria assinatura pro" {
-        given { cliente_id: "cli_1"  plano_id: "plano_pro"  token_pagamento: "tok_ok" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task cancelar_assinatura {
-    input {
-      assinatura_id: Id required
-      motivo: Texto required
-      imediato: Booleano
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      assinatura_id deve_ser valido
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia Assinatura
-      consulta gateway_pagamento criticidade = alta
-      evento assinatura_cancelada criticidade = alta
-      notificacao cliente confirmacao_cancelamento criticidade = media
-      auditoria cancelamento_assinatura criticidade = alta
-    }
-    state ciclo_assinatura {
-      transitions {
-        ATIVA -> CANCELADA
-        ATIVA -> PENDENTE_CANCELAMENTO
-      }
-    }
-    guarantees {
-      protocolo existe
-    }
-    error {
-      assinatura_ja_cancelada: "Assinatura ja foi cancelada."
-    }
-    tests {
-      caso "cancela assinatura ativa" {
-        given { assinatura_id: "asn_1"  motivo: "Nao preciso mais"  imediato: falso }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task renovar_assinatura {
-    input {
-      assinatura_id: Id required
-    }
-    output {
-      protocolo_cobranca: Id
-    }
-    rules {
-      assinatura_id deve_ser valido
-    }
-    effects {
-      consulta gateway_pagamento criticidade = alta
-      persistencia Assinatura
-      evento assinatura_renovada criticidade = media
-      auditoria renovacao_assinatura criticidade = alta
-    }
-    guarantees {
-      protocolo_cobranca existe
-    }
-    error {
-      pagamento_recusado: "Cobranca de renovacao recusada — assinatura sera suspensa."
-      assinatura_cancelada: "Nao e possivel renovar assinatura cancelada."
-    }
-    tests {
-      caso "renova assinatura no vencimento" {
-        given { assinatura_id: "asn_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.assinatura {
+  docs {
+    resumo: "Gestao de assinaturas recorrentes com upgrade, downgrade e cancelamento."
+  }
+
+  entity Assinatura {
+    fields {
+      id: Id
+      cliente_id: Id
+      plano_id: Id
+      status: Texto
+      inicio_em: Timestamp
+      proximo_vencimento: Timestamp
+      cancelada_em: Timestamp
+    }
+  }
+
+  task criar_assinatura {
+    input {
+      cliente_id: Id required
+      plano_id: Id required
+      token_pagamento: Texto required
+    }
+    output {
+      assinatura: Assinatura
+    }
+    rules {
+      cliente_id deve_ser valido
+      plano_id deve_ser valido
+      token_pagamento deve_ser valido
+    }
+    effects {
+      consulta Cliente por cliente_id
+      consulta Plano por plano_id
+      consulta gateway_pagamento criticidade = alta
+      persistencia Assinatura
+      evento assinatura_criada criticidade = alta
+      notificacao cliente confirmacao_assinatura criticidade = media
+      auditoria criacao_assinatura criticidade = alta
+    }
+    state ciclo_assinatura {
+      transitions {
+        PENDENTE -> ATIVA
+      }
+    }
+    guarantees {
+      assinatura existe
+      assinatura.status == ATIVA
+    }
+    error {
+      pagamento_recusado: "Pagamento inicial recusado."
+      cliente_ja_assina: "Cliente ja possui assinatura ativa."
+      plano_invalido: "Plano nao disponivel para assinatura."
+    }
+    tests {
+      caso "cria assinatura pro" {
+        given { cliente_id: "cli_1"  plano_id: "plano_pro"  token_pagamento: "tok_ok" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task cancelar_assinatura {
+    input {
+      assinatura_id: Id required
+      motivo: Texto required
+      imediato: Booleano
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      assinatura_id deve_ser valido
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia Assinatura
+      consulta gateway_pagamento criticidade = alta
+      evento assinatura_cancelada criticidade = alta
+      notificacao cliente confirmacao_cancelamento criticidade = media
+      auditoria cancelamento_assinatura criticidade = alta
+    }
+    state ciclo_assinatura {
+      transitions {
+        ATIVA -> CANCELADA
+        ATIVA -> PENDENTE_CANCELAMENTO
+      }
+    }
+    guarantees {
+      protocolo existe
+    }
+    error {
+      assinatura_ja_cancelada: "Assinatura ja foi cancelada."
+    }
+    tests {
+      caso "cancela assinatura ativa" {
+        given { assinatura_id: "asn_1"  motivo: "Nao preciso mais"  imediato: falso }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task renovar_assinatura {
+    input {
+      assinatura_id: Id required
+    }
+    output {
+      protocolo_cobranca: Id
+    }
+    rules {
+      assinatura_id deve_ser valido
+    }
+    effects {
+      consulta gateway_pagamento criticidade = alta
+      persistencia Assinatura
+      evento assinatura_renovada criticidade = media
+      auditoria renovacao_assinatura criticidade = alta
+    }
+    guarantees {
+      protocolo_cobranca existe
+    }
+    error {
+      pagamento_recusado: "Cobranca de renovacao recusada — assinatura sera suspensa."
+      assinatura_cancelada: "Nao e possivel renovar assinatura cancelada."
+    }
+    tests {
+      caso "renova assinatura no vencimento" {
+        given { assinatura_id: "asn_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/auditoria.sema

@@ -1,89 +1,89 @@
-module exemplos.auditoria {
-  docs {
-    resumo: "Registro imutavel de acoes criticas com rastreabilidade completa."
-  }
-
-  entity RegistroAuditoria {
-    fields {
-      id: Id
-      ator_id: Id
-      ator_tipo: Texto
-      acao: Texto
-      recurso: Texto
-      recurso_id: Id
-      dados_antes: Objeto
-      dados_depois: Objeto
-      ip_origem: Texto
-      timestamp: Timestamp
-      contexto: Objeto
-    }
-  }
-
-  task registrar_acao {
-    input {
-      ator_id: Id required
-      acao: Texto required
-      recurso: Texto required
-      recurso_id: Id required
-      dados_antes: Objeto
-      dados_depois: Objeto
-      ip_origem: Texto
-    }
-    output {
-      auditoria_id: Id
-      imutavel: Booleano
-    }
-    rules {
-      acao deve_ser preenchida
-      recurso deve_ser preenchido
-      ator_id deve_ser valido
-    }
-    effects {
-      persistencia RegistroAuditoria criticidade = alta
-    }
-    guarantees {
-      auditoria_id existe
-      imutavel == verdadeiro
-    }
-    error {
-      falha_persistencia: "Nao foi possivel registrar a auditoria — operacao bloqueada."
-    }
-    tests {
-      caso "registra acao critica" {
-        given { ator_id: "usr_1"  acao: "deletar_usuario"  recurso: "Usuario"  recurso_id: "usr_2" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task consultar_historico {
-    input {
-      recurso: Texto required
-      recurso_id: Id required
-      data_inicio: Data
-      data_fim: Data
-    }
-    output {
-      registros: Lista
-      total: Inteiro
-    }
-    rules {
-      recurso deve_ser preenchido
-      recurso_id deve_ser valido
-    }
-    effects {
-      consulta RegistroAuditoria por recurso e recurso_id
-      auditoria consulta_historico
-    }
-    guarantees {
-      registros existe
-      total >= 0
-    }
-    tests {
-      caso "consulta historico de usuario" {
-        given { recurso: "Usuario"  recurso_id: "usr_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.auditoria {
+  docs {
+    resumo: "Registro imutavel de acoes criticas com rastreabilidade completa."
+  }
+
+  entity RegistroAuditoria {
+    fields {
+      id: Id
+      ator_id: Id
+      ator_tipo: Texto
+      acao: Texto
+      recurso: Texto
+      recurso_id: Id
+      dados_antes: Objeto
+      dados_depois: Objeto
+      ip_origem: Texto
+      timestamp: Timestamp
+      contexto: Objeto
+    }
+  }
+
+  task registrar_acao {
+    input {
+      ator_id: Id required
+      acao: Texto required
+      recurso: Texto required
+      recurso_id: Id required
+      dados_antes: Objeto
+      dados_depois: Objeto
+      ip_origem: Texto
+    }
+    output {
+      auditoria_id: Id
+      imutavel: Booleano
+    }
+    rules {
+      acao deve_ser preenchida
+      recurso deve_ser preenchido
+      ator_id deve_ser valido
+    }
+    effects {
+      persistencia RegistroAuditoria criticidade = alta
+    }
+    guarantees {
+      auditoria_id existe
+      imutavel == verdadeiro
+    }
+    error {
+      falha_persistencia: "Nao foi possivel registrar a auditoria — operacao bloqueada."
+    }
+    tests {
+      caso "registra acao critica" {
+        given { ator_id: "usr_1"  acao: "deletar_usuario"  recurso: "Usuario"  recurso_id: "usr_2" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task consultar_historico {
+    input {
+      recurso: Texto required
+      recurso_id: Id required
+      data_inicio: Data
+      data_fim: Data
+    }
+    output {
+      registros: Lista
+      total: Inteiro
+    }
+    rules {
+      recurso deve_ser preenchido
+      recurso_id deve_ser valido
+    }
+    effects {
+      consulta RegistroAuditoria por recurso e recurso_id
+      auditoria consulta_historico
+    }
+    guarantees {
+      registros existe
+      total >= 0
+    }
+    tests {
+      caso "consulta historico de usuario" {
+        given { recurso: "Usuario"  recurso_id: "usr_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}