Changeset 10361 for code/branches/core7/src/libraries/core

Timestamp:

Apr 12, 2015, 11:05:10 PM (9 years ago)

Author:

landauf

Message:

added run-time check for class hierarchy

Location:

code/branches/core7/src/libraries/core/class

Files:

• Identifier.h (modified) (2 diffs)
• IdentifierManager.cc (modified) (1 diff)
• IdentifierManager.h (modified) (1 diff)

code/branches/core7/src/libraries/core/class/Identifier.h

@@ -223 +223 @@
             XMLPortObjectContainer* getXMLPortObjectContainer(const std::string& sectionname);
 
+            virtual bool canDynamicCastObjectToIdentifierClass(Identifiable* object) = 0;
 
         protected:
@@ -288 +289 @@
             virtual const std::string& getTypeidName()
                 { return this->typeidName_; }
+
+            virtual bool canDynamicCastObjectToIdentifierClass(Identifiable* object)
+                { return dynamic_cast<T*>(object) != 0; }
 
         private:

code/branches/core7/src/libraries/core/class/IdentifierManager.cc

@@ -146 +146 @@
         }
 
+        this->verifyClassHierarchy();
+
         this->stopCreatingHierarchy();
         orxout(internal_status) << "Finished class-hierarchy creation" << endl;
+    }
+
+    /**
+     * Verifies if the class hierarchy is consistent with the RTTI.
+     */
+    void IdentifierManager::verifyClassHierarchy()
+    {
+        Context temporaryContext(NULL);
+        for (std::map<std::string, Identifier*>::const_iterator it1 = this->identifierByTypeidName_.begin(); it1 != this->identifierByTypeidName_.end(); ++it1)
+        {
+            if (!it1->second->hasFactory())
+                continue;
+
+            Identifiable* temp = it1->second->fabricate(&temporaryContext);
+
+            for (std::map<std::string, Identifier*>::const_iterator it2 = this->identifierByTypeidName_.begin(); it2 != this->identifierByTypeidName_.end(); ++it2)
+            {
+                bool isA_AccordingToRtti = it2->second->canDynamicCastObjectToIdentifierClass(temp);
+                bool isA_AccordingToClassHierarchy = temp->isA(it2->second);
+
+                if (isA_AccordingToRtti != isA_AccordingToClassHierarchy)
+                {
+                    orxout(internal_error) << "Class hierarchy does not match RTTI: Class hierarchy claims that " << it1->second->getName() <<
+                        (isA_AccordingToClassHierarchy ? " is a " : " is not a ") << it2->second->getName() << " but RTTI says the opposite." << endl;
+                }
+            }
+
+            delete temp;
+        }
+
+        size_t numberOfObjects = temporaryContext.getObjectList<Listable>()->size();
+        if (numberOfObjects > 0)
+            orxout(internal_warning) << "There are still " << numberOfObjects << " listables left after creating the class hierarchy" << endl;
     }
 

code/branches/core7/src/libraries/core/class/IdentifierManager.h

@@ -59 +59 @@
             /////////////////////////////
             void createClassHierarchy();
+            void verifyClassHierarchy();
             void destroyAllIdentifiers();