的语法结构（如卫语句或断言）在代码中进行检测。例如，阶乘只定义于自然数（大于等于零的整数）。因此计算阶乘的程序将会假定输入的值是一个整数，并且它大于等于零，这就是一个先决条件。
在面向对象编程中.面向对象编程中先决条件是契约式设计的一个重要组成部分。契约式设计还包括后置条件和不变条件的概念。要成功执行一个子程序所需的任何关于对象状态的限制条件都定义在先决条件中。从程序开发者的角度来看，这就构成了契约中子程序调用者的一部分。调用者有义务来确保在调用子程序前满足先决条件，而被调