@semacode/cli 1.5.18 → 1.5.19

package/exemplos/multi_tenant.sema

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

package/exemplos/notificacao.sema

@@ -1,149 +1,149 @@
-module exemplos.notificacao {
-  docs {
-    resumo: "Envio de notificacoes por email, SMS e push com rastreamento."
-  }
-
-  entity Notificacao {
-    fields {
-      id: Id
-      destinatario_id: Id
-      canal: Texto
-      titulo: Texto
-      corpo: Texto
-      status: Texto
-      enviada_em: Timestamp
-    }
-  }
-
-  task enviar_email {
-    input {
-      destinatario: Email required
-      titulo: Texto required
-      corpo: Texto required
-      template: Texto
-    }
-    output {
-      notificacao_id: Id
-    }
-    rules {
-      destinatario deve_ser email_valido
-      titulo deve_ser preenchido
-      corpo deve_ser preenchido
-    }
-    effects {
-      consulta provedor_email criticidade = alta
-      persistencia Notificacao
-      auditoria email_enviado
-    }
-    guarantees {
-      notificacao_id existe
-    }
-    error {
-      destinatario_invalido: "Endereco de email invalido."
-      provedor_indisponivel: "Servico de email temporariamente indisponivel."
-      limite_excedido: "Limite de envios por hora atingido."
-    }
-    tests {
-      caso "envia email valido" {
-        given { destinatario: "user@app.com"  titulo: "Bem vindo"  corpo: "Ola!" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task enviar_push {
-    input {
-      device_token: Texto required
-      titulo: Texto required
-      corpo: Texto required
-      dados: Objeto
-    }
-    output {
-      notificacao_id: Id
-    }
-    rules {
-      device_token deve_ser preenchido
-      titulo deve_ser preenchido
-    }
-    effects {
-      consulta provedor_push criticidade = media
-      persistencia Notificacao
-      auditoria push_enviado
-    }
-    guarantees {
-      notificacao_id existe
-    }
-    error {
-      token_invalido: "Token de dispositivo invalido ou expirado."
-      provedor_indisponivel: "Servico push indisponivel."
-    }
-    tests {
-      caso "envia push valido" {
-        given { device_token: "tok_123"  titulo: "Alerta"  corpo: "Nova mensagem" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task registrar_falha_notificacao {
-    input {
-      canal: Texto required
-    }
-    output {
-      protocolo_falha: Id
-    }
-    rules {
-      canal deve_ser preenchido
-    }
-    effects {
-      auditoria falha_notificacao
-      persistencia Notificacao
-    }
-    guarantees {
-      protocolo_falha existe
-    }
-    tests {
-      caso "registra falha de canal" {
-        given { canal: "email" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task confirmar_notificacao {
-    input {
-      destinatario_id: Id required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      destinatario_id deve_ser valido
-    }
-    effects {
-      auditoria notificacao_concluida
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "confirma notificacao multicanal" {
-        given { destinatario_id: "usr_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  flow notificar_multicanal {
-    destinatario_id: Id
-    titulo: Texto
-    corpo: Texto
-    canal_email: Texto
-    canal_push: Texto
-    etapa email usa enviar_email com destinatario = destinatario_id, titulo = titulo, corpo = corpo em_sucesso concluir em_erro registrar_falha_email
-    etapa push usa enviar_push com device_token = destinatario_id, titulo = titulo, corpo = corpo em_sucesso concluir em_erro registrar_falha_push
-    etapa registrar_falha_email usa registrar_falha_notificacao com canal = canal_email depende_de email
-    etapa registrar_falha_push usa registrar_falha_notificacao com canal = canal_push depende_de push
-    etapa concluir usa confirmar_notificacao com destinatario_id = destinatario_id depende_de email
-  }
-}
+module exemplos.notificacao {
+  docs {
+    resumo: "Envio de notificacoes por email, SMS e push com rastreamento."
+  }
+
+  entity Notificacao {
+    fields {
+      id: Id
+      destinatario_id: Id
+      canal: Texto
+      titulo: Texto
+      corpo: Texto
+      status: Texto
+      enviada_em: Timestamp
+    }
+  }
+
+  task enviar_email {
+    input {
+      destinatario: Email required
+      titulo: Texto required
+      corpo: Texto required
+      template: Texto
+    }
+    output {
+      notificacao_id: Id
+    }
+    rules {
+      destinatario deve_ser email_valido
+      titulo deve_ser preenchido
+      corpo deve_ser preenchido
+    }
+    effects {
+      consulta provedor_email criticidade = alta
+      persistencia Notificacao
+      auditoria email_enviado
+    }
+    guarantees {
+      notificacao_id existe
+    }
+    error {
+      destinatario_invalido: "Endereco de email invalido."
+      provedor_indisponivel: "Servico de email temporariamente indisponivel."
+      limite_excedido: "Limite de envios por hora atingido."
+    }
+    tests {
+      caso "envia email valido" {
+        given { destinatario: "user@app.com"  titulo: "Bem vindo"  corpo: "Ola!" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task enviar_push {
+    input {
+      device_token: Texto required
+      titulo: Texto required
+      corpo: Texto required
+      dados: Objeto
+    }
+    output {
+      notificacao_id: Id
+    }
+    rules {
+      device_token deve_ser preenchido
+      titulo deve_ser preenchido
+    }
+    effects {
+      consulta provedor_push criticidade = media
+      persistencia Notificacao
+      auditoria push_enviado
+    }
+    guarantees {
+      notificacao_id existe
+    }
+    error {
+      token_invalido: "Token de dispositivo invalido ou expirado."
+      provedor_indisponivel: "Servico push indisponivel."
+    }
+    tests {
+      caso "envia push valido" {
+        given { device_token: "tok_123"  titulo: "Alerta"  corpo: "Nova mensagem" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task registrar_falha_notificacao {
+    input {
+      canal: Texto required
+    }
+    output {
+      protocolo_falha: Id
+    }
+    rules {
+      canal deve_ser preenchido
+    }
+    effects {
+      auditoria falha_notificacao
+      persistencia Notificacao
+    }
+    guarantees {
+      protocolo_falha existe
+    }
+    tests {
+      caso "registra falha de canal" {
+        given { canal: "email" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task confirmar_notificacao {
+    input {
+      destinatario_id: Id required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      destinatario_id deve_ser valido
+    }
+    effects {
+      auditoria notificacao_concluida
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "confirma notificacao multicanal" {
+        given { destinatario_id: "usr_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  flow notificar_multicanal {
+    destinatario_id: Id
+    titulo: Texto
+    corpo: Texto
+    canal_email: Texto
+    canal_push: Texto
+    etapa email usa enviar_email com destinatario = destinatario_id, titulo = titulo, corpo = corpo em_sucesso concluir em_erro registrar_falha_email
+    etapa push usa enviar_push com device_token = destinatario_id, titulo = titulo, corpo = corpo em_sucesso concluir em_erro registrar_falha_push
+    etapa registrar_falha_email usa registrar_falha_notificacao com canal = canal_email depende_de email
+    etapa registrar_falha_push usa registrar_falha_notificacao com canal = canal_push depende_de push
+    etapa concluir usa confirmar_notificacao com destinatario_id = destinatario_id depende_de email
+  }
+}