Revision: 19183
Author: [email protected]
Date: Fri Feb 7 08:42:33 2014 UTC
Log: Experimental parser: output alias dot to html
[email protected]
BUG=
Review URL: https://codereview.chromium.org/136753019
http://code.google.com/p/v8/source/detail?r=19183
Modified:
/branches/experimental/parser/tools/lexer_generator/generator.py
/branches/experimental/parser/tools/lexer_generator/rule_parser.py
=======================================
--- /branches/experimental/parser/tools/lexer_generator/generator.py Thu
Feb 6 11:40:10 2014 UTC
+++ /branches/experimental/parser/tools/lexer_generator/generator.py Fri
Feb 7 08:42:33 2014 UTC
@@ -86,11 +86,16 @@
def generate_rule_tree_html(rule_processor):
scripts = []
loads = []
+ for i, (name, alias) in enumerate(list(rule_processor.alias_iter())):
+ alias_i = "alias_%d" % i
+ dot = alias.to_dot()
+ scripts.append(script_template % (alias_i, dot))
+ loads.append(load_template % ("alias [%s]" % name, alias_i))
for i, (name, automata) in
enumerate(list(rule_processor.automata_iter())):
rule_i = "rule_%d" % i
dot = automata.rule_term().to_dot()
scripts.append(script_template % (rule_i, dot))
- loads.append(load_template % ("rules [%s]" % name, rule_i))
+ loads.append(load_template % ("rule [%s]" % name, rule_i))
body = "\n".join(scripts) + (load_outer_template % "\n".join(loads))
return file_template % body
=======================================
--- /branches/experimental/parser/tools/lexer_generator/rule_parser.py Thu
Feb 6 19:35:17 2014 UTC
+++ /branches/experimental/parser/tools/lexer_generator/rule_parser.py Fri
Feb 7 08:42:33 2014 UTC
@@ -335,6 +335,9 @@
RuleParser.parse(string, self.__parser_state)
self.__process_parser_state()
+ def alias_iter(self):
+ return iter(self.__parser_state.aliases.items())
+
def automata_iter(self):
return iter(self.__automata.items())
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
