多项选择题

​程序设计语言的断言主要分为如下的类别()。

A.前置断言
B.后置断言
C.不变断言
D.有效断言