Rudimentary analysis

src/jsregexp.h

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 146 matching lines @@
   uc16 to() { return to_; }
   void set_to(uc16 value) { to_ = value; }
   bool is_valid() { return from_ <= to_; }
   bool IsSingleton() { return (from_ == to_); }
  private:
   uc16 from_;
   uc16 to_;
 };
 
 
+template <typename Node, class Callback>
+static void DoForEach(Node* node, Callback callback);
+
+
 // A zone splay tree.  The config type parameter encapsulates the
 // different configurations of a concrete splay tree:
 //
 //   typedef Key: the key type
 //   typedef Value: the value type
 //   static const kNoKey: the dummy key used when no key is set
 //   static const kNoValue: the dummy value used to initialize nodes
 //   int (Compare)(Key& a, Key& b) -> {-1, 0, 1}: comparison function
 //
 template <typename Config>
@@ skipping 41 matching lines @@
   // tree.
   void Splay(const Key& key);
 
   class Node : public ZoneObject {
    public:
     Node(const Key& key, const Value& value)
       : key_(key),
         value_(value),
         left_(NULL),
         right_(NULL) { }
+     Key key() { return key_; }
+     Value value() { return value_; }
+     Node* left() { return left_; }
+     Node* right() { return right_; }
    private:
     friend class ZoneSplayTree;
     friend class Locator;
     Key key_;
     Value value_;
     Node* left_;
     Node* right_;
   };
 
   // A locator provides access to a node in the tree without actually
   // exposing the node.
   class Locator {
    public:
+    Locator(Node* node) : node_(node) { }
     Locator() : node_(NULL) { }
     const Key& key() { return node_->key_; }
     Value& value() { return node_->value_; }
     void set_value(const Value& value) { node_->value_ = value; }
     inline void bind(Node* node) { node_ = node; }
    private:
     Node* node_;
   };
 
+  template <class Callback>
+  void ForEach(Callback c) {
+    DoForEach<typename ZoneSplayTree<Config>::Node, Callback>(root_, c);
+  }
+
  private:
   Node* root_;
 };
 
 
 // A set of unsigned integers that behaves especially well on small
 // integers (< 32).  May do zone-allocation.
 class OutSet {
  public:
   OutSet() : first_(0), remaining_(NULL) { }
   explicit inline OutSet(unsigned value);
   static inline OutSet empty() { return OutSet(); }
   void Set(unsigned value);
   bool Get(unsigned value);
   OutSet Clone();
+  static const unsigned kFirstLimit = 32;
  private:
   OutSet(uint32_t first, ZoneList<unsigned>* remaining)
     : first_(first), remaining_(remaining) { }
-  static const unsigned kFirstLimit = 32;
   uint32_t first_;
   ZoneList<unsigned>* remaining_;
 };
 
 
 // A mapping from integers, specified as ranges, to a set of integers.
 // Used for mapping character ranges to choices.
 class DispatchTable {
  public:
   class Entry {
@@ skipping 23 matching lines @@
       if (a == b)
         return 0;
       else if (a < b)
         return -1;
       else
         return 1;
     }
   };
   void AddRange(CharacterRange range, int value);
   OutSet Get(uc16 value);
+  void Dump();
  private:
   ZoneSplayTree<Config>* tree() { return &tree_; }
   ZoneSplayTree<Config> tree_;
 };
 
 
 struct RegExpParseResult {
   RegExpTree* tree;
   bool has_character_escapes;
   Handle<String> error;
   int capture_count;
 };
 
 
 class RegExpEngine: public AllStatic {
  public:
   static RegExpNode* Compile(RegExpParseResult* input);
   static void DotPrint(const char* label, RegExpNode* node);
 };
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_JSREGEXP_H_