Graph node attribute printing.

src/jsregexp.cc

 // 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 1478 matching lines @@
 
 #ifdef DEBUG
 
 
 class DotPrinter: public NodeVisitor {
  public:
   DotPrinter() : stream_(&alloc_) { }
   void PrintNode(const char* label, RegExpNode* node);
   void Visit(RegExpNode* node);
   void PrintOnFailure(RegExpNode* from, RegExpNode* on_failure);
+  void PrintAttributes(RegExpNode* from);
   StringStream* stream() { return &stream_; }
 #define DECLARE_VISIT(Type)                                          \
   virtual void Visit##Type(Type##Node* that);
 FOR_EACH_NODE_TYPE(DECLARE_VISIT)
 #undef DECLARE_VISIT
  private:
   HeapStringAllocator alloc_;
   StringStream stream_;
   std::set<RegExpNode*> seen_;
 };
@@ skipping 82 matching lines @@
     }
     stream()->Add("}}");
   }
  private:
   bool first_;
   StringStream* stream() { return stream_; }
   StringStream* stream_;
 };
 
 
+void DotPrinter::PrintAttributes(RegExpNode* that) {
+  stream()->Add("  a%p [shape=Mrecord, style=dashed, color=lightgrey, "
+                "fontcolor=lightgrey, margin=0.1, fontsize=10, label=\"{",
+                that);
+  NodeInfo* info = that->info();
+  stream()->Add("{NI|%i}|{SI|%i}|{WI|%i}",
+                info->follows_newline_interest,
+                info->follows_start_interest,
+                info->follows_word_interest);
+  stream()->Add("|{DN|%i}|{DS|%i}|{DW|%i}",
+                info->determine_newline,
+                info->determine_start,
+                info->determine_word);
+  Label* label = that->label();
+  if (label->is_bound())
+    stream()->Add("|{@|%i}", label->pos());
+  stream()->Add("}\"];\n");
+  stream()->Add("  a%p -> n%p [style=dashed, color=lightgrey, "
+                "arrowhead=none];\n", that, that);
+}
+
+
 void DotPrinter::VisitChoice(ChoiceNode* that) {
   stream()->Add("  n%p [shape=Mrecord, label=\"", that);
   TableEntryHeaderPrinter header_printer(stream());
   that->table()->ForEach(&header_printer);
   stream()->Add("\"]\n", that);
+  PrintAttributes(that);
   TableEntryBodyPrinter body_printer(stream(), that);
   that->table()->ForEach(&body_printer);
   PrintOnFailure(that, that->on_failure());
   for (int i = 0; i < that->alternatives()->length(); i++) {
     GuardedAlternative alt = that->alternatives()->at(i);
     alt.node()->Accept(this);
   }
 }
 
 
@@ skipping 17 matching lines @@
           stream()->Add("%k-%k", range.from(), range.to());
         }
         stream()->Add("]");
         break;
       }
       default:
         UNREACHABLE();
     }
   }
   stream()->Add("\", shape=box, peripheries=2];\n");
+  PrintAttributes(that);
   stream()->Add("  n%p -> n%p;\n", that, that->on_success());
   Visit(that->on_success());
   PrintOnFailure(that, that->on_failure());
 }
 
 
 void DotPrinter::VisitBackReference(BackReferenceNode* that) {
   stream()->Add("  n%p [label=\"$%i..$%i\", shape=doubleoctagon];\n",
                 that,
                 that->start_register(),
                 that->end_register());
+  PrintAttributes(that);
   stream()->Add("  n%p -> n%p;\n", that, that->on_success());
   Visit(that->on_success());
   PrintOnFailure(that, that->on_failure());
 }
 
 
 void DotPrinter::VisitEnd(EndNode* that) {
   stream()->Add("  n%p [style=bold, shape=point];\n", that);
+  PrintAttributes(that);
 }
 
 
 void DotPrinter::VisitAction(ActionNode* that) {
   stream()->Add("  n%p [", that);
   switch (that->type_) {
     case ActionNode::STORE_REGISTER:
       stream()->Add("label=\"$%i:=%i\", shape=octagon",
                     that->data_.u_store_register.reg,
                     that->data_.u_store_register.value);
@@ skipping 15 matching lines @@
                     that->data_.u_position_register.reg);
       break;
     case ActionNode::BEGIN_SUBMATCH:
       stream()->Add("label=\"begin\", shape=septagon");
       break;
     case ActionNode::ESCAPE_SUBMATCH:
       stream()->Add("label=\"escape\", shape=septagon");
       break;
   }
   stream()->Add("];\n");
+  PrintAttributes(that);
   stream()->Add("  n%p -> n%p;\n", that, that->on_success());
   Visit(that->on_success());
 }
 
 
 class DispatchTableDumper {
  public:
   explicit DispatchTableDumper(StringStream* stream) : stream_(stream) { }
   void Call(uc16 key, DispatchTable::Entry entry);
   StringStream* stream() { return stream_; }
@@ skipping 887 matching lines @@
   byte codes[1024];
   IrregexpAssembler assembler(Vector<byte>(codes, 1024));
   RegExpMacroAssemblerIrregexp macro_assembler(&assembler);
   return compiler.Assemble(&macro_assembler,
                            node,
                            input->capture_count);
 }
 
 
 }}  // namespace v8::internal