Changeset 10519 for code/branches/core7/src/libraries/core/class/IdentifierManager.h

Timestamp:

May 31, 2015, 11:26:33 AM (10 years ago)

Author:

landauf

Message:

only verify freshly initialized identifiers

File:

• code/branches/core7/src/libraries/core/class/IdentifierManager.h (modified) (1 diff)

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

@@ -57 +57 @@
             /////////////////////////////
             void createClassHierarchy();
-            void verifyClassHierarchy();
+            void verifyClassHierarchy(const std::set<Identifier*>& initializedIdentifiers);
             void destroyClassHierarchy();