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