1 files changed, 11 insertions, 1 deletions
diff --git a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiModelManager.java b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiModelManager.java
index 1e269f1ba..47727fbc2 100644
--- a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiModelManager.java
+++ b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiModelManager.java
@@ -340,6 +340,11 @@ public class QVTiModelManager implements ModelManager
 			return modelManager;
 		}
 		
+		@Override
+		public @Nullable String getName() {
+			return transformation.getName();
+		}
+		
 		public @NonNull Transformation getTransformation() {
 			return transformation;
 		}
@@ -359,6 +364,11 @@ public class QVTiModelManager implements ModelManager
 		public @NonNull Set<EObject> getAllObjects() {
 			throw new UnsupportedOperationException();
 		}
+		
+		@Override
+		public @Nullable String getName() {
+			return typedModel.getName();
+		}
 
 		@Override
 		public @NonNull Set<EObject> getObjectsOfKind(@NonNull org.eclipse.ocl.pivot.Class type) {
@@ -386,7 +396,7 @@ public class QVTiModelManager implements ModelManager
 		public @NonNull Collection<EObject> getRootObjects() {
 			throw new UnsupportedOperationException();
 		}
-
+		
 		public @NonNull TypedModel getTypedModel() {
 			return typedModel;
 		}