《表2 集合类型的映射：基于AOP的契约定义及其与JML契约的转换》

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

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

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

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

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

Java最核心的3种集合类型分别是set（集）、list（列表）、map（映射）。JML定义了对应的模型种类来表示各种不同的Java类的集合，分为对象集合和值集合，都实现了JMLCollection接口。对象集合中元素是对象的引用，并不关心对象的值。对象集合分为JMLObjectSet，JMLObjectBag，JMLObjectSequence 3种。值集合分为JMLValueSet，JMLValueBag，JMLValueSeque-nce3种，值集合中的元素存储的是对象的值。集合类型的对应关系如表2所示。