From 9145e85c4aaddf51c2b676ead04bcdff01f9962d Mon Sep 17 00:00:00 2001
From: Andreas Stöckel <astoecke@techfak.uni-bielefeld.de>
Date: Wed, 14 Jan 2015 22:05:12 +0100
Subject: Using "name" property for printing name in the graphviz export

---
 src/core/managed/Manager.cpp | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

(limited to 'src/core/managed/Manager.cpp')

diff --git a/src/core/managed/Manager.cpp b/src/core/managed/Manager.cpp
index c6b162b..60f7332 100644
--- a/src/core/managed/Manager.cpp
+++ b/src/core/managed/Manager.cpp
@@ -27,8 +27,7 @@
 #include <iostream>
 #include <fstream>
 #include <core/common/Rtti.hpp>
-#include <core/model/Node.hpp>
-#include <core/XML.hpp>
+#include <core/common/Property.hpp>
 #endif
 
 namespace ousia {
@@ -595,12 +594,11 @@ void Manager::exportGraphviz(const char *filename)
 		// Read type information and Node name (if available)
 		const RttiType &type = objectPtr->type();
 		const std::string &typeName = type.name;
-		std::string name = "";
-		if (type.isa(RttiTypes::Node)) {
-			name = dynamic_cast<const Node *>(objectPtr)->getName();
-		}
-		if (type.isa(RttiTypes::XMLElement)) {
-			name = dynamic_cast<const xml::Element *>(objectPtr)->name;
+
+		// Fetch the name of the object if the object has a "name" property
+		std::string name;
+		if (type.hasProperty("name")) {
+			name = type.getProperty("name")->get(objectPtr).toString();
 		}
 
 		// Print the node
-- 
cgit v1.2.3