Assertions 在Delphi 中怎么翻译呢？

Question

好像是断言，在C/C++里面经常有的：assert(p!=NULL)，大概就是这个意思吧。

Answer 1

确认之后给分
可否继续请教一下
short pre-condition and post-condition routines with your component 
procedures/functions
该如何翻译呢？
（不回答不影响得分）

Answer 2

在你的源代码里包含断言是一种良好的编程技巧，它对于用户明白组件作者的假设(/设想)有很大帮助。（断言就是组件过程/函数的前提或XX<post-condition >例程。）

Answer 3

pre-conditon?前提?
post-condition 怎么翻译，急！