| // Copied from org.eclipse.ocl.examples.test.xtext.PivotDocumentationExamples.java | |
| // check a single library | |
| Library lib = getLibrary(resourceSet); // hypothetical source of a library | |
| // check whether it satisfies the constraint | |
| debugPrintf("%s valid: %b\n", lib.getName(), ocl.check(lib, invariant)); |