Commit 88a0b2aa authored by Philip Makedonski's avatar Philip Makedonski
Browse files

* made violation dump public 

* commented out violation dump after check
parent f6266ab3

plugins/org.etsi.mts.tdl.constraints/src/org/etsi/mts/tdl/constraints/evl/Validator.java

+4 −4
Original line number Diff line number Diff line
@@ -152,7 +152,7 @@ public class Validator { 
					.filter(v -> ((EObject)v.getInstance()).eResource() == r)

					.collect(Collectors.toList());



				dumpViolations(violations);

//				dumpViolations(violations);

				

				//TODO: Needed? New API does not provide it

//				module.reset();
@@ -181,11 +181,11 @@ public class Validator { 
		return violations;

	}



	private void dumpViolations(List<UnsatisfiedConstraint> violations) {

	public void dumpViolations(List<UnsatisfiedConstraint> violations, boolean includeLocation) {

		for (UnsatisfiedConstraint constraint : violations) {

			System.out.println("  " + constraint.getMessage());

			System.out.println("  Validator: " + constraint.getMessage());

			//TODO: this can only work with XtextResources

			if (((EObject) constraint.getInstance()).eResource() instanceof XtextResource) {

			if (includeLocation && ((EObject) constraint.getInstance()).eResource() instanceof XtextResource) {

				ICompositeNode node = NodeModelUtils.findActualNodeFor((EObject) constraint.getInstance());

				String text = "Line "+node.getStartLine()+"-"+node.getEndLine()+ ": "+node.getText().trim();

				System.out.println("    " + text);