public class ModelOCL {

	/**
	 * @param args
	 */
	private ResourceSet resSet;
	private Collection<Constraint> Contraintes;

	public ModelOCL(){
		resSet = new ResourceSetImpl();
		resSet.getResourceFactoryRegistry().getExtensionToFactoryMap().put(XMIResource.Factory.Registry.DEFAULT_EXTENSION, new XMIResourceFactoryImpl());
	}

public void loadModel(String pathModel, String pathOCL){
	ResourceSet resourceSet = new ResourceSetImpl();
	
	// Register the default resource factory -- only needed for stand-alone!
	resourceSet.getResourceFactoryRegistry().getExtensionToFactoryMap().put(XMIResource.Factory.Registry.DEFAULT_EXTENSION, new XMIResourceFactoryImpl());

	URI fileURI = URI.createFileURI(pathModel);
	
	// Demand load the resource for this file.
	Resource resource = resourceSet.getResource(fileURI, true);

		EList<EObject> modelContents=resource.getContents();
				// Load OCL file

		EPackage.Registry.INSTANCE.put(((EPackage) modelContents.get(0)).getName(), modelContents.get(0));
			
		OCL<EPackage, EClassifier, EOperation, EStructuralFeature, EEnumLiteral, EParameter, EObject, CallOperationAction, SendSignalAction, Constraint, EClass, EObject> ocl;
		ocl = OCL.newInstance(EcoreEnvironmentFactory.INSTANCE);
			InputStream in;
			Contraintes = new HashSet<Constraint>();
				
				try
				{
					in = new FileInputStream(pathOCL);

					// parse the contents as an OCL document
					try
					{
						OCLInput document = new OCLInput(in);
						Contraintes =  ocl.parse(document);
					}
					catch (ParserException e)
					{
						// TODO Auto-generated catch block
						e.printStackTrace();
						System.out.println(e.getCause());
					}
					finally
					{
				    try
					{
						in.close();
					}
				    catch (IOException e)
					{
						// TODO Auto-generated catch block
						e.printStackTrace();
					}
				}
				}catch (FileNotFoundException e)
				{
					// TODO Auto-generated catch block
					e.printStackTrace();
				}
						
	}
	
public void OCLToXML(String path) {		
		
		Resource newResource = resSet.createResource(URI.createURI(path));
		for (Constraint Contrainte:Contraintes )
			newResource.getContents().add(Contrainte);
		
		try {
		
			newResource.save(Collections.EMPTY_MAP);
		} catch (IOException e) {
			//e.printStackTrace();
		}

	}


protected void XmlToOCL(String path) {
	
	File file = new File(path);
	String stringOCL = "package \n\n"; 

	for (Constraint Contrainte : Contraintes) {
				
		OCLExpression<EClassifier> body = Contrainte.getSpecification()
				.getBodyExpression();

		Variable<EClassifier, EParameter> context = Contrainte
				.getSpecification().getContextVariable();
		
			
		stringOCL += "context " + context.getType().getEPackage().getName()+
				"::"+context.getType().getName() + "\n"
				+ "inv " + Contrainte.getName() + ":\n\t" +	body.accept(ToString.getInstance(body)) + "\n\n";
		System.out.println(stringOCL);
	}
		
			
	
	
	FileWriter fw = null;
	try {
		fw = new FileWriter(file);
		fw.write(stringOCL);
	} catch (IOException e) {
		e.printStackTrace();
	} finally {
		if (fw != null) {
			try {
				fw.close();
			} catch (IOException e) {
				e.printStackTrace();
			}
		}
	}
}


	public  static void main(String[] args) {
		// TODO Auto-generated method stub
		ModelOCL test =new ModelOCL();	
		test.loadModel("./outputs/UML.ecore", "./inputs/UML.ocl");		   
	}

}