interfaces added
diff --git a/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinController.java b/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinController.java new file mode 100644 index 0000000..7e246ba --- /dev/null +++ b/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinController.java
@@ -0,0 +1,38 @@ +/******************************************************************************* + * Copyright (c) Philipps University of Marburg. All rights reserved. + * This program and the accompanying materials are made + * available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Philipps University of Marburg - initial API and implementation + *******************************************************************************/ +package org.eclipse.emf.refactor.refactoring.henshin.interfaces; + +import org.eclipse.emf.refactor.refactoring.interfaces.IController; + +/** + * Interface used for specifying the controller of a specific model + * refactoring that shall be executed using Henshin. + * @generated NOT + * @author Thorsten Arendt + */ +public interface IHenshinController extends IController { + + /** + * Gets a HenshinRunner that executes Henshin transformations using + * the Henshin interpreter. + * @return HenshinRunner that executes Henshin transformations using + * the Henshin interpreter. + */ + public HenshinRunner getHenshinRunner(); + + /** + * @see org.eclipse.emf.refactor.common.core.IController# + * getDataManagementObject() + */ + @Override + public IHenshinDataManagement getDataManagementObject(); + +}
diff --git a/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinDataManagement.java b/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinDataManagement.java new file mode 100644 index 0000000..47e2e32 --- /dev/null +++ b/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinDataManagement.java
@@ -0,0 +1,48 @@ +/******************************************************************************* + * Copyright (c) Philipps University of Marburg. All rights reserved. + * This program and the accompanying materials are made + * available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Philipps University of Marburg - initial API and implementation + *******************************************************************************/ +package org.eclipse.emf.refactor.refactoring.henshin.interfaces; + +import org.eclipse.emf.refactor.refactoring.interfaces.IDataManagement; + +/** + * Interface used for specific data concerning a model refactoring that + * shall be executed by EMF model transformations using the Henshin + * interpreter. + * @generated NOT + * @author Thorsten Arendt + */ +public interface IHenshinDataManagement extends IDataManagement { + + /** + * Gets a HenshinInformation object used for checking the initial + * conditions of the EMF model refactoring. + * @return HenshinInformation object used for checking the initial + * conditions of the EMF model refactoring. + */ + public IHenshinInformation getInitialConditionsHenshinInformation(); + + /** + * Gets a HenshinInformation object used for checking the final + * conditions of the EMF model refactoring. + * @return HenshinInformation object used for checking the final + * conditions of the EMF model refactoring. + */ + public IHenshinInformation getFinalConditionsHenshinInformation(); + + /** + * Gets a HenshinInformation object used for executing the EMF + * model refactoring. + * @return HenshinInformation object used for executing the EMF + * model refactoring. + */ + public IHenshinInformation getCreateChangeHenshinInformation(); + +}
diff --git a/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinInformation.java b/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinInformation.java new file mode 100644 index 0000000..58635ed --- /dev/null +++ b/org.eclipse.emf.refactor.refactoring.henshin/src/org/eclipse/emf/refactor/refactoring/henshin/interfaces/IHenshinInformation.java
@@ -0,0 +1,43 @@ +/******************************************************************************* + * Copyright (c) Philipps University of Marburg. All rights reserved. + * This program and the accompanying materials are made + * available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Philipps University of Marburg - initial API and implementation + *******************************************************************************/ +package org.eclipse.emf.refactor.refactoring.henshin.interfaces; + +/** + * Interface used for specifying a Henshin file that shall be used by + * a specific EMF model refactoring. + * @generated NOT + * @author Thorsten Arendt + */ +public interface IHenshinInformation { + + /** + * Gets the HenshinDataManagement object of the specific EMF + * model refactoring. + * @return HenshinDataManagement object of the specific EMF + * model refactoring. + */ + public IHenshinDataManagement getHenshinDataManagement(); + + /** + * Returns the name of the Henshin transformation file that + * shall be used by a specific EMF model refactoring. + * @return Name of the Henshin transformation file that shall + * be used by a specific EMF model refactoring. + */ + public String getTransformationFileName(); + + /** + * Checks whether the Henshin transformation file is specified. + * @return true if the Henshin file is specified, false otherwise. + */ + public Boolean isTransformationFileSpecified(); + +}