Intervalo positivo entre partidas
Verifica se headway_secs de frequencies.txt é um número inteiro superior a zero.
Propriedades da regra
| Propriedade | Valor |
|---|---|
| Rule ID | frequencies_headway_secs_positive_and_aligns_trip |
| Ficheiro | frequencies.txt |
| Campo | headway_secs |
| Tipo | Número inteiro positivo |
| Severidade | Obrigatório |
Descrição do campo: intervalo de serviço, em segundos, entre partidas consecutivas.
Mais informação em frequencies.txt.
Como funciona
Quando a regra passa, headway_secs é um número inteiro superior a zero. Apesar do nome da regra, esta não compara o intervalo com a duração da viagem. A regra só é avaliada depois de trip_id, start_time e end_time passarem as respetivas validações.
A regra avalia cada linha do frequencies.txt, seguindo os passos abaixo por ordem, até um deles dar o resultado.
| # | Pergunta | Se sim | Se não |
|---|---|---|---|
| 1 | O campo está vazio? | Verifica se a configuração da regra exige ou recomenda este campo. Se sim, reporta o problema. Se não, aceita | Segue para o passo 2 |
| 2 | A configuração da regra define que este campo não deve ser preenchido? | ❌ Reporta o problema | Segue para o passo 3 |
| 3 | O valor é superior a zero? | ✅ Passa | ❌ Reporta o problema: valor inválido |
O valor não é arredondado. Um valor que não possa ser lido como número inteiro é reportado pela validação de leitura de frequencies.txt, antes desta regra.
Exemplos
| Valor | Resultado | Porquê |
|---|---|---|
600 | ✅ Passa | É um número inteiro positivo |
0 | ❌ Problema | O valor não é superior a zero |
| vazio | ❌ Problema | Falta um campo obrigatório |
600 com o campo proibido | ❌ Problema | A configuração proíbe o campo |
Como corrigir
| Problema | Causa provável | O que fazer |
|---|---|---|
| Valor inválido | headway_secs é igual ou inferior a zero | Corrigir headway_secs em frequencies.txt para um número inteiro superior a zero |
| Campo em falta | A configuração da regra exige ou recomenda headway_secs | Preencher headway_secs em frequencies.txt com um número inteiro superior a zero |
| Campo preenchido quando não devia | A configuração da regra proíbe headway_secs | Remover o valor de headway_secs em frequencies.txt ou rever a configuração da regra |