Eclipse OCL 开发

最新推荐文章于 2024-09-16 18:00:58 发布

JavaMan_chen

最新推荐文章于 2024-09-16 18:00:58 发布

阅读量4.9k

点赞数

文章标签： eclipse library constraints query hashmap integer

本文链接：https://blog.csdn.net/JavaMan_chen/article/details/6017948

版权

本文介绍了如何使用Eclipse的OCL库进行OCL表达式的解析和评估。首先，通过OCL.newInstance创建环境，然后利用OCLHelper创建查询和约束。通过setContext等方法设置上下文环境，创建Invariant和Query对象。接着，使用Query对象评估约束和查询，并展示如何从文件解析OCL约束。最后，给出一个示例约束文件的内容，说明如何存储和检查解析后的约束。

摘要由CSDN通过智能技术生成

OCL解析器提供了两个类用于解析ocl表达式，分别是OCLHelper和OCL:
OCLHelper接口的设计直接用于解析表达式，而OCL则作为解析的切入点。

OCL的解析首先要为其创建一个环境，如：是基于UML模型的还是基于ECore模型的。
可通过在构造函数中指定相应的EnvironmentFactory来实现，如：
OCL<?, EClassifier, ?, ?, ?, ?, ?, ?, ?, Constraint, EClass, EObject> ocl;
ocl = OCL.newInstance(EcoreEnvironmentFactory.INSTANCE);//ECore环境

在OCL类中声明了两个方法getEnvironment()和getEvaluationEnvironment()分别用于获取模型的根环境和评估环境，这两个环境是由EnvironmentFactory接口创建的。
在根环境中可以嵌套一些子环境用于定义package的命名空间，以此获取package的上下文，先看一段简单的OCL描述：
--包上下文 package Company --类上下文 context Person inv: name<>'zhangsan' --操作上下文 context Person::getCurrentSpouse() : Person pre: self.isMarried = true body: self.mariages->select( m | m.ended = false ).spouse --属性上下文 context Person::income : Integer init: parents.income->sum() * 1% -- pocket allowance endpackage