1 files changed, 35 insertions, 0 deletions
diff --git a/othersrc/OTRE/src/org/objectteams/IBaseMigratable.java b/othersrc/OTRE/src/org/objectteams/IBaseMigratable.java
new file mode 100644
index 000000000..edc9202ba
--- /dev/null
+++ b/othersrc/OTRE/src/org/objectteams/IBaseMigratable.java
@@ -0,0 +1,35 @@
+/**********************************************************************
+ * This file is part of the "Object Teams Runtime Environment"
+ * 
+ * Copyright 2008 Berlin Institute of Technology, Germany.
+ * 
+ * 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
+ * $Id: IBaseMigratable.java 23408 2010-02-03 18:07:35Z stephan $
+ * 
+ * Please visit http://www.objectteams.org for updates and contact.
+ * 
+ * Contributors:
+ * Berlin Institute of Technology - Initial API and implementation
+ **********************************************************************/
+package org.objectteams;
+
+/**
+ * Marker interface: if a role declares to implement this interface
+ * the compiler will generate the method defined herein, and prepare
+ * the role so that the migration will indeed be possible.
+ * 
+ * @author stephan
+ * @since 1.2.5
+ */
+public interface IBaseMigratable {
+	/**
+	 * Migrate the current role to the otherBase.
+	 * 
+	 * @param otherBase new base that this role should adapt, must
+	 *        be of a valid base type for the current role.
+	 */
+	<B> void migrateToBase(B otherBase);
+}