// 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)); |