## Capítulo 16 — Um horário de criação não apaga uma linha impressa ### Objetivos de aprendizagem Ao final deste capítulo, você deve ser capaz de: 1. Ler um horário de criação como o horário da reserva e um cabeçalho como o horário da página. 2. Manter uma linha impressa quando o horário de criação é anterior ao cabeçalho da página. 3. Recusar empurrar esse horário de criação para dentro da execução já terminada das 09:00. ### 16.1 Dois relógios, uma linha `SYN-003` traz o horário de criação 11:20. O cabeçalho da página é 11:55. Um colega argumenta que uma reserva feita às 11:20 já está “velha” às 11:55 e deve ser ignorada, e também que a mesma reserva é “depois das 09:00” e deve ser inserida no registro do capítulo 4 para ALLOW virar REFUSE. Os dois movimentos usam mal um relógio. O cabeçalho diz quando esta folha se apresenta. Uma linha criada antes ainda pode estar numa folha posterior. Isso é ordinário. Ignorar a linha fingiria que a impressora a deixou de fora. Inserir 11:20 no programa das 09:00 fingiria que esse programa tinha visto `SYN-003`. A execução publicada não viu. O censo permanece `STOP 1; OUT OF SCOPE 1; REFUSE 1; ALLOW 1; UNKNOWN 0`. Na página nomeada das 11:55, a Sala 4 às 15:00 permanece ocupada. ### 16.2 Exemplo resolvido | Afirmação sobre 11:20 | Relógio que confunde | Decisão | |---|---|---| | “11:20 é antes de 11:55, então descarte `SYN-003`.” | Horário de criação com cabeçalho da página | Mantenha a linha | | “11:20 é depois das 09:00, então reexecute o registro.” | Horário de criação com um programa mais antigo | Não reexecute | | “O cabeçalho é posterior, então a página inteira está desatualizada.” | Um cabeçalho não é, por si, um veredito | O responsável ainda nomeou esta página | | “Mude ALLOW para REFUSE no papel.” | Um rótulo de outro artefato | Deixe o rótulo | A linha útil é: criada às 11:20, página 11:55, linha presente, horário ocupado, registro antigo inalterado. ### 16.3 O que os relógios ainda não mostram Nada nos dois horários explica a visão de reserva indisponível. Nada neles mede com que frequência um balcão imprime. O capítulo seguinte pergunta o que uma linha repetida pode provar, o que é uma afirmação menor do que uma causa. ### Resumo do capítulo 16 Um horário de criação localiza uma reserva. Um cabeçalho localiza uma página. Uma linha impressa permanece impressa. O censo terminado das 09:00 não é reescrito para coincidir com um relógio de uma folha posterior. ### Exercícios do capítulo 16 ### EX032 — Mantenha a linha que o relógio foi usado para atacar - **Objetivo:** Impedir que um horário de criação apague `SYN-003` ou reabra o programa antigo. - **Entrada:** Um colega diz: “`SYN-003` às 11:20 é ao mesmo tempo velha demais para a página das 11:55 e tardia o bastante para virar ALLOW em REFUSE.” - **Condição segura:** Compare os relógios no papel. Não digite um horário no programa de reservas. - **Tarefa:** Declare o que cada relógio significa, se a linha permanece e o que acontece com ALLOW. - **Evidência esperada:** Três declarações que um leitor possa conferir contra `SYN-003` e o censo publicado. - *Rubrica:* 3 = a linha permanece, a Sala 4 às 15:00 permanece ocupada na página nomeada e ALLOW não é reescrito;; 2 = mantém a linha, mas discute reexecutar o programa;; 1 = apaga `SYN-003` ou troca ALLOW por REFUSE;; 0 = nenhuma. ### Continue estudando — capítulo 16 de 20 [← Capítulo 15](#ch-15) · [Índice de capítulos](../SUBJECTS.md) · [Capítulo 17 →](#ch-17) Continue para a próxima aula escrita. ## Worked answers ### EX032 — Resolução 11:20 é quando `SYN-003` foi criada. 11:55 é o cabeçalho da página. A linha está na página nomeada, então a Sala 4 às 15:00 permanece ocupada. ALLOW não é invertido. O programa não é iniciado de novo.