Прецедент условия

— Прецедент условия это событие или состояние дел, которое необходимо, прежде чем произойдет что-то еще. В договорном праве прецедентом условия является событие, которое должно произойти, если только его ненаступление не оправдано, до того, как наступит срок исполнения по контракту, т. е. до того, как возникнет какое-либо договорное обязательство. ^[1]

В законе о наследстве и трастах это положение завещания или траста, которое предотвращает передачу дара или завещания до тех пор, пока что-то не произойдет или не произойдет, например, до достижения определенного возраста или до смерти другого человека. Для сравнения: последующее условие завершает обязанность, тогда как предшествующее условие инициирует обязанность.

В вычислениях цикл while — это инструкция для проверки прецедента условия, а затем выполнения действия только в том случае, если эта проверка оценивается как «истина» ; после чего управление затем возвращается в начало цикла и цикл проверки и условного выполнения начинается заново. Напротив, цикл do while сначала выполняет действие, затем проверяет условие последующее , а затем возвращает управление в начало цикла, если проверка оценена как «истина». Любой цикл завершается, как только проверка оценивается как «ложь», после чего поток управления продолжается дальше, теперь «вне» инструкции цикла.