Hora de fim da frequência
Verifica se end_time de frequencies.txt tem oito caracteres e três partes numéricas separadas por dois pontos.
Propriedades da regra
| Propriedade | Valor |
|---|---|
| Rule ID | frequency_end_time_valid |
| Ficheiro | frequencies.txt |
| Campo | end_time |
| Tipo | Hora |
| Severidade | Obrigatório |
Descrição do campo: hora a que o serviço muda para outro intervalo, ou termina, na primeira paragem da viagem.
Mais informação em frequencies.txt.
Como funciona
Quando a regra passa, end_time tem oito caracteres e três partes numéricas separadas por :. A regra não limita os valores das partes nem confirma que end_time é posterior a start_time. A regra só é avaliada depois de start_time passar a respetiva validação.
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 tem oito caracteres, três partes numéricas e dois separadores :? | ✅ Passa | ❌ Reporta o problema: formato inválido |
O valor é verificado exatamente como está escrito. Os espaços no início e no fim não são ignorados.
Exemplos
| Valor | Resultado | Porquê |
|---|---|---|
08:00:00 com start_time igual a 09:00:00 | ✅ Passa | A regra não compara as duas horas |
10:00 | ❌ Problema | Faltam os segundos |
| vazio | ❌ Problema | Falta um campo obrigatório |
10:00:00 com o campo proibido | ❌ Problema | A configuração proíbe o campo |
Como corrigir
| Problema | Causa provável | O que fazer |
|---|---|---|
| Formato inválido | end_time não tem oito caracteres, três partes numéricas ou dois separadores : | Corrigir end_time em frequencies.txt para o formato HH:MM:SS |
| Campo em falta | A configuração da regra exige ou recomenda end_time | Preencher end_time em frequencies.txt no formato HH:MM:SS |
| Campo preenchido quando não devia | A configuração da regra proíbe end_time | Remover o valor de end_time em frequencies.txt ou rever a configuração da regra |