blob: 7a7b2dd7537114a437c00f3d2915614c2dc8f14c [file] [log] [blame]
// Copied from
Library library = getLibrary(); // get library from a hypothetical source
OCLHelper<EClassifier, ?, ?, Constraint> helper = ocl.createOCLHelper();
// use the constraints defined in the OCL document
// use the getBooks() additional operation to find a book
OCLExpression<EClassifier> query = helper.createQuery(
"getBooks('Bleak House')->asSequence()->first()");
Book book = (Book) ocl.evaluate(library, query);
System.out.printf("Got book: %s%n", book);
// use the unique_title constraint to validate the book
System.out.printf("Validate book: %b%n",
ocl.check(book, constraintMap.get("unique_title")));