| // Copied from org.eclipse.ocl.ecore.tests.DocumentationExamples.java | |
| // check a single library | |
| Library lib = getLibrary(); // hypothetical source of a library | |
| // check whether it satisfies the constraint | |
| System.out.printf("%s valid: %b", lib.getName(), ocl.check(lib, invariant)); |