typeinfo - access and such

Author: borisbat

src/builtin/module_builtin_rtti.cpp

@@ -645,7 +645,8 @@ namespace das {
         TypeInfoAnnotation(ModuleLibrary & ml) : ManagedTypeInfoAnnotation ("TypeInfo", ml) {
             addField<DAS_BIND_MANAGED_FIELD(type)>("_type","type");
             addField<DAS_BIND_MANAGED_FIELD(dim)>("dim");
-            addField<DAS_BIND_MANAGED_FIELD(annotation_or_name)>("annotation_or_name");
+            // addField<DAS_BIND_MANAGED_FIELD(annotation_or_name)>("annotation_or_name");
+            addProperty<DAS_BIND_MANAGED_PROP(getAnnotation)>("annotation_or_name", "getAnnotation");
         }
     };
 

src/builtin/rtti.das

@@ -145,6 +145,37 @@ def public class_info(cl) : StructInfo const? {
     }
 }
 
+def public type_info(cl) : TypeInfo const? {
+    static_if (typeinfo is_pointer(cl)) {
+        if (cl == null) {
+            return null
+        }
+        static_if (typeinfo is_class(*cl)) {
+            unsafe {
+                return (reinterpret<TypeInfo const?>((*cl).__rtti))
+            }
+        } else {
+            concept_assert(false, "not a pointer to a class")
+            return null
+        }
+    } static_elif (typeinfo is_class(cl)) {
+        unsafe {
+            return reinterpret<TypeInfo const?>(cl.__rtti)
+        }
+    } static_elif (typeinfo is_lambda(cl)) {
+        unsafe {
+            var l = reinterpret<int8 ??> addr(cl)
+            if (l == null) {
+                return null
+            }
+            return reinterpret<TypeInfo const ??>(l[0] - 16)
+        }
+    } else {
+        concept_assert(false, "this type does not have class info. its not a class or a lambda with options rtti")
+        return null
+    }
+}
+
 [generic]
 def type_info(vinfo : LocalVariableInfo) : TypeInfo const? {
     unsafe {