import org.eclipse.ocl.ecore.EcoreEnvironmentFactory; //导入依赖的package包/类
public static void main(String[] args) {
	try {
	    EPackage.Registry registry = new EPackageRegistryImpl();
	    registry.put(LRBACPackage.eNS_URI, LRBACPackage.eINSTANCE);
	    EcoreEnvironmentFactory environmentFactory = new EcoreEnvironmentFactory(registry);
	    OCL ocl = OCL.newInstance(environmentFactory);
	    URL url = new URL("file:/media/data/dev/k3/k3Projects/fr.inria.triskell.kompren.oclSlicer/fr.inria.triskell.kompren.oclSlicer/src/main/resources/models/PaperCst.ocl");
	    InputStream in = url.openConnection().getInputStream();

		 try {
		     OCLInput document = new OCLInput(in);
		     ResourceSet resSet = new ResourceSetImpl();
		     resSet.getResourceFactoryRegistry().getExtensionToFactoryMap().put("xmi", new XMIResourceFactoryImpl());
		     Resource res = resSet.createResource(URI.createURI("out.xmi"));
		     res.getContents().addAll(ocl.parse(document));
		    res.save(Collections.emptyMap());
		    res.unload();
		 } finally {
		     in.close();
		 }
	} catch (Exception e) {
		e.printStackTrace();
	}
}
 

import org.eclipse.ocl.ecore.EcoreEnvironmentFactory; //导入依赖的package包/类
@SuppressWarnings("unchecked")
private static List<MethodDeclaration> getProtectedMethodDeclarations(Resource resource) {
    try {
        OCL ocl = OCL.newInstance(EcoreEnvironmentFactory.INSTANCE);
        OCLInput oclInput = new OCLInput(new FileInputStream(new File("ocl/protectedMethods.ocl")));
        List<Constraint> constraints = ocl.parse(oclInput);
        return (List<MethodDeclaration>) ocl.createQuery(constraints.get(0)).evaluate(resource.getContents().get(0));
    }
    catch (Exception e) {
        NeoLogger.error(e);
        return Collections.emptyList();
    }
}
 

import org.eclipse.ocl.ecore.EcoreEnvironmentFactory; //导入依赖的package包/类
public void createViewFilterLinks() {
  for (Filter viewpointFilter : viewpointFilters) {
    // Part 1: Execute the ocl query.
    if (!viewpointFilter.isFilterOnlyEstructuralFeatures()) {
      String oclQuery = viewpointFilter.getOclQuery();
      OCL<EPackage, EClassifier, EOperation, EStructuralFeature, EEnumLiteral, EParameter,
          EObject, CallOperationAction, SendSignalAction, org.eclipse.ocl.ecore.Constraint,
          EClass, EObject> ocl;
      ocl = OCL.newInstance(EcoreEnvironmentFactory.INSTANCE);

      // create an OCL helper object
      helper = ocl.createOCLHelper();
      try {
        // En el caso que el query sea un allInstances toca crear un extentMap
        // para su evaluacion. (Lo que pasa es que en el caso que estoy usando
        // no hay condiciones que se apliquen sobre el allInstances)
        // TODO El extentMap se necesita solo si el ocl es un allInstances.
        ocl.setExtentMap(createExtentMapHelper(viewpointFilter));

        OCLExpression<EClassifier> parsedQuery = helper.createQuery(oclQuery);
        Query<EClassifier, EClass, EObject> theQueryCreatedByOcl = ocl.createQuery(parsedQuery);
        Object objectsToFilter = theQueryCreatedByOcl.evaluate();
        if (objectsToFilter instanceof Collection) {
          Collection<EObject> objs = (Collection<EObject>) objectsToFilter;
          createFilterLinks(objs, viewpointFilter);
        } else if (objectsToFilter instanceof EObject) {
          createFilterLink((EObject) objectsToFilter, viewpointFilter);
        }

        // Part 2: Generate the link.

      } catch (ParserException e) {
        // TODO Auto-generated catch block
        e.printStackTrace();
      }
    }

  }
}
 

import org.eclipse.ocl.ecore.EcoreEnvironmentFactory; //导入依赖的package包/类
public static OclToEcl getInstance(ILogger logger) {
  Environment<EPackage, EClassifier, EOperation, EStructuralFeature, EEnumLiteral, EParameter, EObject, CallOperationAction, SendSignalAction, Constraint, EClass, EObject> auxEnv = EcoreEnvironmentFactory.INSTANCE.createEnvironment();    
  return new OclToEcl(auxEnv, logger);
}