《表1 逻辑运算符：基于AOP的契约定义及其与JML契约的转换》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于AOP的契约定义及其与JML契约的转换》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

对于比较运算符，AOP和JML同样对应的都是Java类型，主要包括：==、！=、<、>、<=、>=等。但是二者在逻辑运算符上稍有不同，AOP和JML两种语言在逻辑运算符上的映射关系如表1所示。