Precondition tests are handled by before advice, which is executed just before the corresponding method execution join point.

前置条件测试由before建议处理，该建议就在对应的方法执行连接点之前执行。

youdao

The basic point in the realization of education rights is the precondition of our study.

教育权利实现的基点问题，是教育权利实现研究的前提。

youdao

Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.

在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。

youdao