Robust/src/Runtime/DSTM/interface/dstm.c

   1 #include "dstm.h"
   2
   3 extern int classsize[];
   4
   5 /* BEGIN object header */
   6
   7 // Get a new object id
   8 unsigned int getNewOID(void) {
   9         static int id = 1;
  10         return id++;
  11 }
  12
  13 // Get the size of the object for a given type
  14 unsigned int objSize(objheader_t *object) {
  15         return classsize[object->type];
  16 }
  17
  18 /* END object header */
  19