Question

我在ecore模型上使用OCL约束并生成代码。所以事情就像这样简单我有一个具有属性startDate和endDate的类任务它有一个ocl约束： - 不变量，表示startDate < endDate。

我为这个项目生成了java代码，并且有一个java类：

public class TmsValidator extends EObjectValidator {

  //what is diagnosticChain and context in the below method

  public boolean validateTask_C2(Task task, DiagnosticChain diagnostics, Map<Object, Object context) {
    return validate(TmsPackage.Literals.TASK,
         task,
         diagnostics,
         context,
         "http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot",
         "C2",
         TASK__C2__EEXPRESSION,
         Diagnostic.ERROR,
         DIAGNOSTIC_SOURCE,
         0);    
  }
}

所以从我的主课，我如何在这里验证我的任务。我想打电话给OCL 约束以检查startDate是否小于endDate

public class {  
  public static void main(String []a){  
    Task t = new
    Task ();    
    // How do I validate my task here  . I want to call the 
    //OCL constraint to check if startDate is less than endDate         
  }     
}

Answer 1

使用eclipse.modeling.mdt.ocl或eclipse.tools.emf论坛，您更有可能获得快速的答案。当然，您使用TmsFactory.eINSTANCE创建模型的实例，并且可以使用Diagnostician.INSTANCE验证建模对象的所有约束。

如何从java的主代码中调用OCL约束（生成的java模型源代码）

1 个答案: