对象约束语言.pptVIP

13.6 使用集合 在OCL表达式的许多结果包含不止一个值，允许存在多个值被OCL称为Collection的一个对象列表。OCL中共定义了四种类型的对象列表，分别是：Collection（集合）、Set（集）、Bag（袋子）和Sequence（序列）。 13.6.1 创建集合 集合可以通过字符显式地创建，创建集合时只需要写出创建集合的类型名称，后跟以列表值，各值项使用逗号隔开，并被花括号包括。创建集合如下所示： Set{1,5,6,99} Set{ Jim, Tim, xy} Sequence{1,3,94,0,1,3} Sequence{ Jim, Tim, Jim} Bag{1,2,4,5,4} Bag{ Jim, Tim, Tim} 13.6.2 操作集合 为了便于操作集合，OCL加定义了一些操作，这里只给出一些常用且重要的操作来示例，更多具体的操作会在OCL的标准库中介绍。操作如下所示： select 按照一定的规则选择选取符合规则的项，组成一个新的集合。 reject 从集合中选择不满足规则的项，组成一个新的集合。 forAll 指定一个应用于集合中每个元素的约束。 exists 确定某个值是否存在于集合中的至少一个或多个成员中。 isEmpty 操作判断集合中是否有元素。 count 判断集合中等于count参数的元素个数，并返回该数值。 it