phobos2/object.d

   1
   2 // Implementation is in internal\object.d
   3
   4 module object;
   5
   6 alias bool bit;
   7
   8 alias typeof(int.sizeof) size_t;
   9 alias typeof(cast(void*)0 - cast(void*)0) ptrdiff_t;
  10 alias size_t hash_t;
  11
  12 alias invariant(char)[] string;
  13 alias invariant(wchar)[] wstring;
  14 alias invariant(dchar)[] dstring;
  15
  16 extern (C)
  17 {   int printf(in char *, ...);
  18 }
  19
  20 class Object
  21 {
  22     void print();
  23     string toString();
  24     hash_t toHash();
  25     int opCmp(Object o);
  26     int opEquals(Object o);
  27
  28     final void notifyRegister(void delegate(Object) dg);
  29     final void notifyUnRegister(void delegate(Object) dg);
  30
  31     static Object factory(string classname);
  32 }
  33
  34 struct Interface
  35 {
  36     ClassInfo classinfo;
  37     void *[] vtbl;
  38     ptrdiff_t offset;           // offset to Interface 'this' from Object 'this'
  39 }
  40
  41 class ClassInfo : Object
  42 {
  43     byte[] init;                // class static initializer
  44     string name;                // class name
  45     void *[] vtbl;              // virtual function pointer table
  46     Interface[] interfaces;
  47     ClassInfo base;
  48     void *destructor;
  49     void (*classInvariant)(Object);
  50     uint flags;
  51     //  1:                      // is IUnknown or is derived from IUnknown
  52     //  2:                      // has no possible pointers into GC memory
  53     //  4:                      // has offTi[] member
  54     //  8:                      // has constructors
  55     // 16:                      // has xgetMembers member
  56     void *deallocator;
  57     OffsetTypeInfo[] offTi;
  58     void* defaultConstructor;   // default Constructor
  59     const(MemberInfo[]) function(string) xgetMembers;
  60
  61     static ClassInfo find(string classname);
  62     Object create();
  63     const(MemberInfo[]) getMembers(string);
  64 }
  65
  66 struct OffsetTypeInfo
  67 {
  68     size_t offset;
  69     TypeInfo ti;
  70 }
  71
  72 class TypeInfo
  73 {
  74     hash_t getHash(in void *p);
  75     int equals(in void *p1, in void *p2);
  76     int compare(in void *p1, in void *p2);
  77     size_t tsize();
  78     void swap(void *p1, void *p2);
  79     TypeInfo next();
  80     void[] init();
  81     uint flags();
  82     // 1:                       // has possible pointers into GC memory
  83     OffsetTypeInfo[] offTi();
  84     void destroy(void *p);
  85     void postblit(void *p);
  86 }
  87
  88 class TypeInfo_Typedef : TypeInfo
  89 {
  90     TypeInfo base;
  91     string name;
  92     void[] m_init;
  93 }
  94
  95 class TypeInfo_Enum : TypeInfo_Typedef
  96 {
  97 }
  98
  99 class TypeInfo_Pointer : TypeInfo
 100 {
 101     TypeInfo m_next;
 102 }
 103
 104 class TypeInfo_Array : TypeInfo
 105 {
 106     TypeInfo value;
 107 }
 108
 109 class TypeInfo_StaticArray : TypeInfo
 110 {
 111     TypeInfo value;
 112     size_t len;
 113 }
 114
 115 class TypeInfo_AssociativeArray : TypeInfo
 116 {
 117     TypeInfo value;
 118     TypeInfo key;
 119 }
 120
 121 class TypeInfo_Function : TypeInfo
 122 {
 123     TypeInfo next;
 124 }
 125
 126 class TypeInfo_Delegate : TypeInfo
 127 {
 128     TypeInfo next;
 129 }
 130
 131 class TypeInfo_Class : TypeInfo
 132 {
 133     ClassInfo info;
 134 }
 135
 136 class TypeInfo_Interface : TypeInfo
 137 {
 138     ClassInfo info;
 139 }
 140
 141 class TypeInfo_Struct : TypeInfo
 142 {
 143     string name;
 144     void[] m_init;
 145
 146     uint function(in void*) xtoHash;
 147     int function(in void*, in void*) xopEquals;
 148     int function(in void*, in void*) xopCmp;
 149     string function(const(void)*) xtoString;
 150
 151     uint m_flags;
 152
 153     const(MemberInfo[]) function(string) xgetMembers;
 154     void function(void*) xdtor;
 155     void function(void*) xpostblit;
 156 }
 157
 158 class TypeInfo_Tuple : TypeInfo
 159 {
 160     TypeInfo[] elements;
 161 }
 162
 163 class TypeInfo_Const : TypeInfo
 164 {
 165     TypeInfo next;
 166 }
 167
 168 class TypeInfo_Invariant : TypeInfo_Const
 169 {
 170 }
 171
 172 abstract class MemberInfo
 173 {
 174     string name();
 175 }
 176
 177 class MemberInfo_field : MemberInfo
 178 {
 179     this(string name, TypeInfo ti, size_t offset);
 180
 181     override string name();
 182     TypeInfo typeInfo();
 183     size_t offset();
 184 }
 185
 186 class MemberInfo_function : MemberInfo
 187 {
 188     enum
 189     {   Virtual = 1,
 190         Member = 2,
 191         Static = 4,
 192     }
 193
 194     this(string name, TypeInfo ti, void* fp, uint flags);
 195
 196     override string name();
 197     TypeInfo typeInfo();
 198     void* fp();
 199     uint flags();
 200 }
 201
 202 // Recoverable errors
 203
 204 class Exception : Object
 205 {
 206     string msg;
 207     Exception next;
 208
 209     this(string msg);
 210     this(string msg, Error next);
 211
 212     void print();
 213     string toString();
 214 }
 215
 216 // Non-recoverable errors
 217
 218 class Error : Exception
 219 {
 220     this(string msg);
 221     this(string msg, Error next);
 222 }
 223
 224 /** If the top-level main throws this, the message will be printed to stderr
 225  * and the program terminates with the given exit code.
 226  */
 227 class SystemExit : Exception {
 228     int exitCode;
 229
 230     this(string msg, int exitCode = 1);
 231 }