// Copied from org.eclipse.ocl.examples.test.xtext.PivotDocumentationExamples.java | |
// only print the set of book categories for valid libraries | |
for (Library next : constraintEval.select(libraries)) { | |
@SuppressWarnings("unchecked") | |
Set<BookCategory> categories = (Set<BookCategory>) queryEval.evaluate(next); | |
System.out.printf("%s: %s%n", next.getName(), categories); | |
} |