Package org.eclipse.emf.validation.service

Examples of org.eclipse.emf.validation.service.IBatchValidator


    View target = view;
    OntoUML.diagram.part.ValidationMarker.removeAllMarkers(diagramEditPart
        .getViewer());
    Diagnostic diagnostic = runEMFValidator(view);
    createMarkers(target, diagnostic, diagramEditPart);
    IBatchValidator validator = (IBatchValidator) ModelValidationService
        .getInstance().newValidator(EvaluationMode.BATCH);
    validator.setIncludeLiveConstraints(true);
    if (view.isSetElement() && view.getElement() != null) {
      IStatus status = validator.validate(view.getElement());
      createMarkers(target, status, diagramEditPart);
    }
    OntoUML.diagram.providers.OntoUMLValidationDecoratorProvider
        .refreshDecorators(view);
    for (Iterator it = view.eAllContents(); it.hasNext();) {
View Full Code Here


    if (target != null) {
      DispelMarkerNavigationProvider.deleteMarkers(target);
    }
    Diagnostic diagnostic = runEMFValidator(view);
    createMarkers(target, diagnostic, diagramEditPart);
    IBatchValidator validator = (IBatchValidator) ModelValidationService
        .getInstance().newValidator(EvaluationMode.BATCH);
    validator.setIncludeLiveConstraints(true);
    if (view.isSetElement() && view.getElement() != null) {
      IStatus status = validator.validate(view.getElement());
      createMarkers(target, status, diagramEditPart);
    }
  }
View Full Code Here

    if (target != null) {
      DispelMarkerNavigationProvider.deleteMarkers(target);
    }
    Diagnostic diagnostic = runEMFValidator(view);
    createMarkers(target, diagnostic, diagramEditPart);
    IBatchValidator validator = (IBatchValidator) ModelValidationService
        .getInstance().newValidator(EvaluationMode.BATCH);
    validator.setIncludeLiveConstraints(true);
    if (view.isSetElement() && view.getElement() != null) {
      IStatus status = validator.validate(view.getElement());
      createMarkers(target, status, diagramEditPart);
    }
  }
View Full Code Here

    if (target != null) {
      DispelMarkerNavigationProvider.deleteMarkers(target);
    }
    Diagnostic diagnostic = runEMFValidator(view);
    createMarkers(target, diagnostic, diagramEditPart);
    IBatchValidator validator = (IBatchValidator) ModelValidationService
        .getInstance().newValidator(EvaluationMode.BATCH);
    validator.setIncludeLiveConstraints(true);
    if (view.isSetElement() && view.getElement() != null) {
      IStatus status = validator.validate(view.getElement());
      createMarkers(target, status, diagramEditPart);
    }
  }
View Full Code Here

    if (target != null) {
      Fd2MarkerNavigationProvider.deleteMarkers(target);
    }
    Diagnostic diagnostic = runEMFValidator(view);
    createMarkers(target, diagnostic, diagramEditPart);
    IBatchValidator validator = (IBatchValidator) ModelValidationService
        .getInstance().newValidator(EvaluationMode.BATCH);
    validator.setIncludeLiveConstraints(true);
    if (view.isSetElement() && view.getElement() != null) {
      IStatus status = validator.validate(view.getElement());
      createMarkers(target, status, diagramEditPart);
    }
  }
View Full Code Here

  }
 
  public static IStatus validateModel(Model model) {
    ClassicalBClientSelector.running = true;

    IBatchValidator validator = (IBatchValidator)ModelValidationService.getInstance()
      .newValidator(EvaluationMode.BATCH);
    validator.setIncludeLiveConstraints(true);

    IStatus status = validator.validate(model);

    ClassicalBClientSelector.running = false;
   
    return status;
  }
View Full Code Here

 
 
  public static IStatus validateModel(Model model) {
    ClassicalBClientSelector.running = true;

    IBatchValidator validator = (IBatchValidator)ModelValidationService.getInstance()
      .newValidator(EvaluationMode.BATCH);
    validator.setIncludeLiveConstraints(true);

    IStatus status = validator.validate(model);

    ClassicalBClientSelector.running = false;
   
    return status;
  }
View Full Code Here

TOP

Related Classes of org.eclipse.emf.validation.service.IBatchValidator

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.