# HG changeset patch
# User Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
# Date 1207776496 25200
# Node ID db96af55f46eb6805f386c2b3abc17464d2ef01e
# Parent  5bee690ea6b60a3c40647d7f49e70b71e7d8ded7
allow access to the pointee's TypeId.

diff -r 5bee690ea6b6 -r db96af55f46e src/core/pointer.h
--- a/src/core/pointer.h	Wed Apr 09 13:05:20 2008 -0700
+++ b/src/core/pointer.h	Wed Apr 09 14:28:16 2008 -0700
@@ -76,7 +76,11 @@
 MakePointerAccessor (Ptr<U> (T::*getter) (void) const,
 		     void (T::*setter) (Ptr<U>));
 
-class PointerChecker : public AttributeChecker {};
+class PointerChecker : public AttributeChecker 
+{
+public:
+  virtual TypeId GetPointeeTypeId (void) const = 0;
+};
 template <typename T>
 Ptr<AttributeChecker> MakePointerChecker (void);
 
@@ -121,6 +125,9 @@
   virtual Attribute Create (void) const {
     return Attribute::Create<PointerValue> ();
   }
+  virtual TypeId GetPointeeTypeId (void) const {
+    return T::GetTypeId ();
+  }
 };
 
 /********************************************************