使用GMF开发可视化界面编辑器(五)——模型的约束校验

    大千世界，约束无处不在，拿人来讲，活在社会当中，享受权利和义务的同时，也必须要遵守相应的法律约束。而这里我们所说的模型约束校验，就相当于为流程设计人员事先声明的法律，一旦不遵守规定，流程就会提示出错。

    GMF所提供的约束校验功能其实是使用了EMF的Validate子框架，并且在约束声明上使用了OCL表达式来完成。有关OCL表达式的语法不做过多讲解，可参考Object Constraint Language一书，这里主要介绍几个常用的函数：

针对实体类的：

    oclIsTypeOf (t : Classifier) : Boolean——判断该实体类是否是Classifier类型;

    oclIsKindOf (t : Classifier) : Boolean——判断该实体类是否是Classifier类型或其子类;

    oclAsType (t : Classifier)——将实体类强制转换成Classifier类型。

针对集合的(注意：集合方法通过->引用)：

    collection->select( boolean-expression )——对集合进行筛选，返回满足boolean-expression的实体集合;

    collection->forAll( boolean-expression )——对集合中的所有实体进行boolean-expression校验，当所有实体都校验通过时返回true，否则返回false;

    collection->exists( boolean-expression )——集合中是否存在满足boolean-expression约束的实体。

 

由于只是为了做实例演示，所以我们只简单声明了以下几个约束信息：<