| // Copied from org.eclipse.ocl.examples.test.xtext.PivotDocumentationExamples.java | |
| // Register an extended EValidator for the Complete OCL document constraints | |
| CompleteOCLEObjectValidator myValidator = new CompleteOCLEObjectValidator( | |
| EXTLibraryPackage.eINSTANCE, uri, ocl.getEnvironmentFactory()); | |
| EValidator.Registry.INSTANCE.put(EXTLibraryPackage.eINSTANCE, myValidator); | |
| // Validate the entire Resource containing the library | |
| Resource resource = library.eResource(); | |
| MyDiagnostician diagnostician = new MyDiagnostician(); | |
| Diagnostic diagnostics = diagnostician.validate(resource); | |
| // Print the diagnostics | |
| if (diagnostics.getSeverity() != Diagnostic.OK) { | |
| String formattedDiagnostics = PivotUtil.formatDiagnostics(diagnostics, "\n"); | |
| debugPrintf("Validation: %s\n", formattedDiagnostics); | |
| } |