如何在OCL中验证java.util.Date属性？

问题描述

我正尝试在emf.ecore 2.23中添加日期类型的验证，如下例所示

invariant validation1:
        self.startDate.before(self.terminationDate);

或

invariant validation2:
            self.startDate < self.terminationDate;

使用此链接https://wiki.eclipse.org/EMF/Recipes#Recipe:_Generating_data_types_that_support_date.2Ftime_format， 我添加了日期java.util.Date，但是ocl仍然无法识别方法。 我也未能添加EAnnotation类型http：/// org / eclipse / emf / ecore / util / DateConversionDelegate。

解决方法

不幸的是，Ecore将EDate建模为EMF不支持用户定义方法的EDataType。 OCL仅支持“查找” = / 。一旦Eclipse OCL支持扩展到支持底层语言API的使用，这便是一个很好的改进用例。评论已添加到https://bugs.eclipse.org/bugs/show_bug.cgi?id=370087

今天，这是EMF的“错误”。 EDate应该已经被声明为EClass，但这会带来其他困难。

今天，解决方法仍然是使用诸如before（date1：​​EDate，date2：EDate）：Boolean之类的方法声明并手动实现无状态EDateHelper类。