From 4ba1669b39b1c7ac8b2883087855d430ccc564e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <jsoentgen@gmail.com>
Date: Tue, 8 May 2012 12:16:13 +0200
Subject: [PATCH] Add dynamic_pointer_cast method to Shared_pointer

This methods is currently only used for casting an Io_channel
object to an Socket_io_channel object.
---
 ports/src/noux/shared_pointer.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ports/src/noux/shared_pointer.h b/ports/src/noux/shared_pointer.h
index 4f4ec8e35f..85aedb6560 100644
--- a/ports/src/noux/shared_pointer.h
+++ b/ports/src/noux/shared_pointer.h
@@ -145,6 +145,12 @@ namespace Noux {
 			T const* operator -> () const { return _ptr; }
 
 			operator bool () const { return _ptr != 0; }
+
+			template<typename To>
+			Shared_pointer<To> dynamic_pointer_cast()
+			{
+				return Shared_pointer<To>(dynamic_cast<To *>(_ptr), _alloc);
+			}
 	};
 }