如何解决如何在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类。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
