Experimental parser: more dot escaping

tools/lexer_generator/automaton.py

 # Copyright 2013 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 43 matching lines @@
     return state
 
   @staticmethod
   def generate_dot(start_node, terminal_set, edge_iterator):
 
     def escape(v):
       v = str(v).replace('\r', '\\\\r')
       v = str(v).replace('\t', '\\\\t')
       v = str(v).replace('\n', '\\\\n')
       v = str(v).replace('\\', '\\\\')
+      v = str(v).replace('\"', '\\\"')
       return v
 
     def f(node, node_content):
       for key, values in node.transitions().items():
         if key == TransitionKey.epsilon():
           key = "ε"
         # TODO pass this action as parameter
         if type(values) == TupleType:
           values = [values]
         for (state, action) in values:
@@ skipping 22 matching lines @@
   rankdir=LR;
   node [shape = %s, style=filled, bgcolor=lightgrey]; S_%s
   node [shape = doublecircle, style=unfilled]; %s
   node [shape = circle];
 %s
 }
     ''' % (start_shape,
            start_number,
            " ".join(terminals),
            "\n".join(node_content))