kjs/DESIGN.ideas

   1 Get rid of SourceElementsNode by integrating its functionality into
   2 StatementNode.
   3
   4 ==========================================================================
   5
   6 The hash value of a string could be calculated at creation time and be
   7 stored in the UString instance for later use by the lookup functions.
   8
   9 ==========================================================================
  10
  11 Proposal for a new object model. Far from being complete.
  12
  13   Object                            Type
  14 +---------+                    +-------------+
  15 |  type   | ---------------->  | toString()  |
  16 |         |                    | toNumber()  |
  17 |  data   |                    |   ....      |
  18 +---------+                    | construct() |
  19      |                         +-------------+
  20      |                                |   /|\
  21     \|/                               |    |
  22 +---------+                           |    |
  23 |  type   |                           |    |
  24 |         | Shared (optional)        \|/   |
  25 |  data   |                       +-------------+
  26 +---------+     +---------+       | types       |
  27        /|\      |         |<------| gc          | Interpreter/Environment
  28         +-------|         |       |   ....      |
  29                 |         |       | excp state  |
  30                 +---------+       +-------------+
  31               Garbage Collector
  32
  33 Features:
  34         - offers class static data (nice replacement for pointers to member
  35         function objects in the prototype object)
  36         - no more need to pass around ExecState pointers for the C++ user
  37         (substituted with the need for Object* in the type implementation)
  38         - simple types are stored simple (no new'ed Imp objects)
  39
  40 Alternative A: pass around Object by pointer rather than value
  41                rather than new'ing they should come out of a pool
  42
  43 Alternative B: instead of virtual functions like toBoolean(), Type could
  44                have an array of function pointers which can be modified
  45                on the fly and checked for != 0.
  46
  47 Limitations: Konqueror's requirement to allow access to other frame's
  48              interpreter data but flagging errors on the caller's side
  49              is not satisfied.
  50
  51 class Interpreter;
  52
  53 class Type {
  54 public:
  55   Type(Interpreter* i, Type *b) : ip(i), bs(b) { }
  56   virtual UString name() const = 0;
  57   Type* base() const { return bs; }
  58   Interpreter* interpreter() const { return ip; }
  59
  60   virtual bool toBoolean(Object *o);
  61   // ....
  62   virtual Object construct(const List &args);
  63
  64   // factory
  65   Boolean newBoolean(bool b) { return Boolean(interpreter(), b); }
  66
  67 private:
  68   Interpreter* ip;
  69   Type* bs;
  70 };
  71
  72 union Data {
  73    bool b;
  74    double d;
  75    // UString ???
  76    Shared* sh;
  77 };
  78
  79 class Object {
  80 public:
  81    // creation
  82    Boolean newBoolean(bool b) { return Boolean(typ->interpreter(), b); }
  83
  84    // conversion
  85    bool to Boolean() const { return typ->toBoolean(this); }
  86
  87    // this object's "parent"
  88    Interpreter* interpreter() const { return typ->ip; }
  89 private:
  90    Type* typ;
  91    Data dat;
  92 };
  93
  94 class Boolean : public Object {
  95 public:
  96    // used by convenience function newBoolean()
  97    Boolean(Interpreter *i, bool b) {
  98       typ = i->booleanType();
  99       dat.b = b;
 100    }
 101    Boolean(const Boolean &b) {
 102       typ = b.typ;
 103       dat.b = b.b;
 104    }
 105    Boolean& operator=(const Boolean &b) {
 106       type = b.typ;
 107       dat.b = b.b;
 108       return *this;
 109    }
 110 };