X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=Usermode%2FLibraries%2Flibc%2B%2B.so_src%2Ftypeinfo.cc;h=e860f586e143bb6c9a57fef7fc49b768c9c42944;hb=0f68a84d600ae8c88e444552c07f04b0dbd67003;hp=b0a9b3e1b9020d2455e3337e380a4aaa5c16f4da;hpb=515d24f4080529f45fc94c4522f2a0da3fe98148;p=tpg%2Facess2.git

diff --git a/Usermode/Libraries/libc++.so_src/typeinfo.cc b/Usermode/Libraries/libc++.so_src/typeinfo.cc
index b0a9b3e1..e860f586 100644
--- a/Usermode/Libraries/libc++.so_src/typeinfo.cc
+++ b/Usermode/Libraries/libc++.so_src/typeinfo.cc
@@ -6,6 +6,9 @@
  * - typeid and dynamic_cast
  */
 #include <typeinfo>
+#include <cxxabi.h>
+#include <acess/sys.h>
+#include <cstdlib>
 
 namespace std {
 
@@ -16,16 +19,19 @@ type_info::~type_info()
 
 bool type_info::operator==(const type_info& other) const
 {
+	//_SysDebug("type_info::operator== - '%s' == '%s'", this->__type_name, other.__type_name);
 	return this->__type_name == other.__type_name;
 }
 
 bool type_info::operator!=(const type_info& other) const
 {
+	//_SysDebug("type_info::operator!= - '%s' != '%s'", this->__type_name, other.__type_name);
 	return this->__type_name != other.__type_name;
 }
 
 bool type_info::before(const type_info& other) const
 {
+	//_SysDebug("type_info::before - '%s' < '%s'", this->__type_name, other.__type_name);
 	return this->__type_name < other.__type_name;
 }
 
@@ -41,10 +47,74 @@ type_info::type_info(const type_info& rhs):
 }
 type_info& type_info::operator=(const type_info& rhs)
 {
+	_SysDebug("type_info::operator=, was %s now %s", __type_name, rhs.__type_name);
 	__type_name = rhs.__type_name;
 	return *this;
 }
 
+bool type_info::is_class() const
+{
+	if( typeid(*this) == typeid(::__cxxabiv1::__class_type_info) )
+		return true;
+	if( is_subclass() )
+		return true;
+	return false;
+}
 
-};	// namespace std
+bool type_info::is_subclass() const
+{
+	if( typeid(*this) == typeid(::__cxxabiv1::__si_class_type_info) )
+		return true;
+	if( typeid(*this) == typeid(::__cxxabiv1::__vmi_class_type_info) )
+		return true;
+	return false;
+}
+
+// Acess-defined
+bool type_info::__is_child(const type_info &poss_child, unsigned long &offset) const
+{
+	_SysDebug("typeids = this:%s , poss_child:%s", typeid(*this).name(), typeid(poss_child).name());
+
+	// Check #1: Child is same type
+	if( poss_child == *this ) {
+		offset = 0;
+		return true;
+	}
+	
+	// Check #2: This type must be a class
+	if( !this->is_class() ) {
+		return false;
+	}
+	// Check #3: Child class must be a subclass
+	if( !poss_child.is_subclass() ) {
+		return false;
+	}
+	
+	if( typeid(poss_child) == typeid(::__cxxabiv1::__si_class_type_info) ) {
+		auto &si_poss_child = reinterpret_cast<const ::__cxxabiv1::__si_class_type_info&>(poss_child);
+		// Single inheritance
+		_SysDebug("type_info::__is_child - Single inheritance");
+		return __is_child( *si_poss_child.__base_type, offset );
+	}
+	else if( typeid(poss_child) == typeid(::__cxxabiv1::__vmi_class_type_info) ) {
+		// Multiple inheritance
+		_SysDebug("TODO: type_info::__is_child - Multiple inheritance");
+		abort();
+	}
+	else {
+		// Oops!
+		_SysDebug("ERROR: type_info::__is_child - Reported subclass type, but not a subclass %s",
+			typeid(poss_child).name()
+			);
+		abort();
+	}
+}
 
+
+// NOTE: Not defined by the C++ ABI, but is similar to one defined by GCC (__cxa_type_match
+//bool __acess_type_match(std::typeinfo& possibly_derived, const std::typeinfo& base_type)
+//{
+//	return false;
+//}
+
+};	// namespace std