@semacode/cli 1.5.17 → 1.5.19

package/exemplos/assinatura.sema

@@ -1,136 +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
-      assinatura.status == ATIVA
-      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
-      assinatura.status == ATIVA
-      assinatura.proximo_vencimento <= hoje
-    }
-    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,88 +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
-    }
-    rules {
-      acao deve_ser preenchida
-      recurso deve_ser preenchido
-      ator_id deve_ser valido
-    }
-    effects {
-      persistencia RegistroAuditoria criticidade = alta
-    }
-    guarantees {
-      auditoria_id existe
-      RegistroAuditoria.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 }
+      }
+    }
+  }
+}