Referência dos tipos de objeto

​

Tipos de campo e como os valores viajam

​

O que um campo declara

​

O que o servidor recusa num tipo

1. Um campo, um valor, um eixo de tempo ou um campo derivado usa um nome que outro já tem, ou um nome que a linguagem reserva (abaixo).
2. Um estado que o ciclo de vida, um temporizador ou um vocabulário nomeia não está declarado; um timers_on nomeia um eixo não declarado; um campo de conteúdo, completeness.total_field, um defeito conhecido, uma chave de union ou uma ação de refresh nomeia um campo ou valor não declarado; prefer_source, use_source, quote() ou um vocabulário nomeia uma fonte não declarada; um campo derivado nomeia uma relação não declarada, ou uma cujo tipo o registro não declara, ou um min ou max sobre um campo que esse tipo não tem.
3. Um eixo derivado não nomeia a regra dele, ou uma regra está num eixo que não é derivado; um tipo derivado por introspecção perdeu a impressão digital.
4. Um membro quebra a própria regra: um campo plain com observadores, um claim_max_age acima de max_age, e as regras de fontes, ciclo de vida, temporizadores, releitura e finalidades que Tipos de objeto e estado descreve.
5. Uma expressão não se lê ou não se resolve contra o tipo: as condições (when, active_when, where) dão verdadeiro ou falso, e o due de um temporizador dá uma data ou um instante.

​

niadra-expr

​

Tokens

• Espaços, tabulações e quebras de linha separam tokens.
• Um nome é [a-z_][a-z0-9_]*, no máximo 64 caracteres, ASCII minúsculo.
• Um número são dígitos com um . opcional e pelo menos um dígito depois dele; não há sinal, um número negativo vem de uma subtração.
• Uma duração é um inteiro de no máximo seis dígitos seguido de ms, s, min, h ou d (m não é unidade, e 1.5h se escreve 90min).
• Uma string vai entre aspas simples, numa linha só, com \' e \\ como únicos escapes, no máximo 256 caracteres.
• Os operadores são ==, !=, <, <=, >, >=, +, -, (, ), [, ], , e .; as palavras-chave são and, or, not, in, true, false, none, yes, no, unobserved e known_defect.

​

Gramática

expression  = or ;
or          = and { "or" and } ;
and         = not { "and" not } ;
not         = "not" not | comparison ;
comparison  = sum [ ( "==" | "!=" | "<" | "<=" | ">" | ">=" | "in" ) sum ] ;
sum         = postfix { ( "+" | "-" ) postfix } ;
postfix     = primary { "." name } ;
primary     = number | duration | string | "true" | "false" | "none" | logical
            | name | call | "(" or ")" | "[" [ or { "," or } ] "]" ;
logical     = "yes" | "no" | "unobserved" | "known_defect" ;
call        = function "(" arguments ")" ;

​

Valores e os quatro valores lógicos

​

Nomes

​

Operadores

• x == yes é verdadeiro exatamente quando x leva yes, e o mesmo para as outras palavras lógicas; o resultado é sempre verdadeiro ou falso: available == unobserved pergunta se um valor foi observado.
• Fora isso, quando um dos lados de uma comparação, de + ou de - é desconhecido, o resultado é desconhecido (known_defect quando um deles o leva).
• Igualdade: duas ausências são iguais quando uma não tem nome ou as duas têm o mesmo (none é qualquer ausência); uma ausência nunca é igual a um valor presente; números pelo valor, strings pelos caracteres, durações pelo tamanho, datas e instantes como instantes (uma data é o início do dia), listas item a item; qualquer outro par é expr_type.
• Ordem (<, <=, >, >=) é falsa quando um dos lados é ausente; números, strings (por ponto de código), durações, datas e instantes se comparam; qualquer outro tipo é expr_type.
• in recebe uma lista à direita: verdadeiro quando a esquerda é igual a um item, desconhecido quando um item desconhecido poderia decidir, falso nos outros casos.
• and, or e not recebem verdadeiro, falso ou desconhecido, com lógica de três valores, da esquerda para a direita, e o primeiro operando que decide para a avaliação: false and x nunca avalia x.
• + e -: número com número; duração com duração; uma data ou um instante mais ou menos uma duração dá um instante; uma data mais ou menos dias úteis dá uma data; duas datas ou instantes subtraídos dão uma duração. Um operando ausente dá uma ausência.

​

Funções

​

Erros e limites

​

Próximos passos