@ContractsDsl：专用DSL的一部分的指定声明，用于构建函数的契约。它是由@Retention(AnnotationRetention.BINARY)来进行注解的，他的注解方式有五种
@ContractsDsl：专用DSL的一部分的指定声明，用于构建函数的契约。它是由@Retention(AnnotationRetention.BINARY)来进行注解的，他的注解方式有五种
1
@ContractsDsl：专用DSL的一部分的指定声明，用于构建函数的契约。它是由@Retention(AnnotationRetention.BINARY)来进行注解的，他的注解方式有五种