I'm working on a java application that takes as input a set of valid models and a set of invalid models, OCL constraints are generated automatically, my objective is to check if the models are violating the constraints or no.
I found on this topic an answer but the parameters aren't very clear.
Does anyone know what should I make instead of "EXTLibraryPackage.Literals.LIBRARY"
// create an OCL helper object
OCLHelper helper =
// set the OCL context classifier
Constraint invariant = helper.createInvariant(
"books->forAll(b1, b2 | b1 <> b2 implies b1.title <> b2.title)");
OCLExpression<EClassifier> query = helper.createQuery(
"books->collect(b : Book | b.category)->asSet()");