// Copied from org.eclipse.ocl.examples.test.xtext.PivotDocumentationExamples.java | |
// Create an EPackage.Registry for just the EXTLibraryPackage | |
EPackage.Registry registry = new EPackageRegistryImpl(); | |
registry.put(EXTLibraryPackage.eNS_URI, EXTLibraryPackage.eINSTANCE); | |
// Create an OCL that creates a ResourceSet using the minimal EPackage.Registry | |
OCL ocl = OCL.newInstance(registry); | |
ResourceSet resourceSet = ocl.getResourceSet(); | |
// get an OCL text file via some hypothetical API | |
URI uri = getInputURI("/model/parsingDocumentsExample.ocl"); | |
// parse the contents as an OCL document | |
Resource asResource = ocl.parse(uri); |