sgf_parser 0.1.0

data/.irbrc

@@ -0,0 +1,3 @@
+$:.push(File.dirname(__FILE__) + '/lib')
+
+require 'sgf'

data/.rvmrc

@@ -0,0 +1,4 @@
+export rvm_gemset_create_on_use_flag=1
+
+rvm use 1.8.7@sgf_parser
+

data/Gemfile

@@ -0,0 +1,10 @@
+source "http://rubygems.org"
+
+group :development do
+  gem "jeweler"
+end
+
+group :test do
+  gem "rspec", "~>1.3.0"
+end
+

data/Gemfile.lock

@@ -0,0 +1,17 @@
+GEM
+  remote: http://rubygems.org/
+  specs:
+    git (1.2.5)
+    jeweler (1.6.4)
+      bundler (~> 1.0)
+      git (>= 1.2.5)
+      rake
+    rake (0.9.2.2)
+    rspec (1.3.2)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  jeweler
+  rspec (~> 1.3.0)

data/LICENSE

@@ -0,0 +1,20 @@
+Copyright (c) 2008 YOUR NAME
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.textile

@@ -0,0 +1,27 @@
+A SGF parser gem
+
+
+NOTES
+
+(Below are tested on MAC OS X 10.5.8)
+Use 'file -i XXX.sgf' to check file encoding 
+Use 'iconv -f gb18030 XXX.sgf' to convert GB2312/GB18030 to UTF16
+
+Benchmark
+
+time for i in {1..1000}; do bin/sgf spec/fixtures/2009-11-01-1.sgf; done
+
+Fri Jan  8 08:49:18 EST 2010
+  real    0m26.221s
+  user    0m20.404s
+  sys     0m5.262s
+
+Fri Jan  8 09:55:02 EST 2010
+  real    0m24.453s
+  user    0m18.758s
+  sys     0m5.080s
+
+Sun Jan 10 10:01:09 EST 2010
+  real    0m18.660s
+  user    0m12.994s
+  sys     0m5.099s

data/Rakefile

@@ -0,0 +1,20 @@
+begin
+  require 'jeweler'
+  Jeweler::Tasks.new do |gem|
+    gem.name = "sgf_parser"
+    gem.summary = %Q{A SGF parser}
+    gem.description = %Q{A simple SGF parser}
+    gem.email = "gcao99@gmail.com"
+    gem.homepage = "http://github.com/gcao/discuz_robot"
+    gem.authors = ["Guoliang Cao"]
+    gem.add_development_dependency "rspec", "~> 1.3.0"
+  end
+  Jeweler::GemcutterTasks.new
+rescue LoadError
+  puts "Jeweler (or a dependency) not available. Install it with: gem install jeweler"
+end
+
+desc "visualize SGF state machine"
+task :vst do
+  system("bin/stm2dot && dot -T svg -o doc/sgf_state_machine.svg doc/sgf_state_machine.dot")
+end

data/VERSION

@@ -0,0 +1 @@
+0.1.0

data/bin/sgf

@@ -0,0 +1,28 @@
+#!/usr/bin/env ruby
+
+if ARGV.size == 0
+  puts <<-USAGE
+Usage: 
+  sgf <DIRECTORY_OR_FILE>
+  USAGE
+  exit 1
+end
+
+sgf_rb = File.expand_path(File.dirname(__FILE__) + '/../lib/sgf.rb')
+if File.exists?(sgf_rb)
+  require sgf_rb
+else
+  require 'rubygems'
+  require 'sgf'
+end
+
+filename = ARGV[0]
+debug    = ENV["DEBUG"] == "true"
+
+if File.directory?(filename)
+  Dir["#{filename}/**/*"].each do |file|
+    SGF::Parser.parse_file(file, debug)
+  end
+else
+  SGF::Parser.parse_file(filename, debug)
+end

data/bin/stm2dot

@@ -0,0 +1,18 @@
+#!/usr/bin/env ruby
+
+dot_file = File.expand_path(File.dirname(__FILE__) + "/../doc/sgf_state_machine.dot")
+dot_file = ARGV[0] if ARGV.size > 0
+
+sgf_rb = File.expand_path(File.dirname(__FILE__) + '/../lib/sgf.rb')
+if File.exists?(sgf_rb)
+  require sgf_rb
+  require File.expand_path(File.dirname(__FILE__) + '/../lib/sgf/more/stm_dot_converter.rb')
+else
+  require 'rubygems'
+  require 'sgf'
+  require 'sgf/more/stm_dot_converter'
+end
+
+File.open(dot_file, 'w') do |f|
+  f.print SGF::More::StmDotConverter.new.process(SGF::SGFStateMachine.new)
+end

data/doc/sgf_state_machine.dot

@@ -0,0 +1,58 @@
+digraph SGF_STATE_MACHINE{
+        {rank = same; begin;}
+        {rank = same; game_begin;}
+        {rank = same; var_begin game_node;}
+        {rank = same; prop_name_begin;}
+        {rank = same; prop_name;}
+        {rank = same; value_begin;}
+        {rank = same; value value_escape;}
+        {rank = same; value_end;}
+        {rank = same; var_end;}
+        {rank = same; game_end invalid;}
+        begin[style = "filled",shape = "circle",fillcolor = "#44ff44"];
+value[];
+value_escape[];
+value -> value_escape[label="\\"];
+value -> value[label="[^\]]"];
+value_end[];
+value -> value_end[label="\]", weight=100];
+game_node[];
+value_end -> game_node[label=";"];
+var_begin[];
+value_end -> var_begin[label="\("];
+prop_name_begin[];
+value_end -> prop_name_begin[label="[a-zA-Z]"];
+value_begin[];
+value_end -> value_begin[label="\["];
+var_end[];
+value_end -> var_end[label="\)", weight=100];
+invalid[style = "filled",label = "error",shape = "octagon",fillcolor = "#ff4444"];
+value_end -> invalid[color="#FFBBBB", weight=-100];
+var_end -> game_node[label=";", weight=90];
+var_end -> var_begin[label="\("];
+game_end[style = "filled",label = "end",shape = "doublecircle",fillcolor = "#44ff44"];
+var_end -> game_end[label="EOS", weight=100];
+var_end -> var_end[label="\)"];
+var_end -> invalid[color="#FFBBBB", weight=-100];
+value_begin -> value[label="[^\]]", weight=100];
+value_begin -> value_escape[label="\\"];
+value_begin -> value_end[label="\]"];
+game_begin[];
+begin -> game_begin[label="\(", weight=100];
+begin -> invalid[color="#FFBBBB", weight=-100];
+game_node -> var_begin[label="\("];
+game_node -> prop_name_begin[label="[a-zA-Z]", weight=100];
+game_node -> var_end[label="\)"];
+game_node -> invalid[color="#FFBBBB", weight=-100];
+prop_name[];
+prop_name_begin -> prop_name[label="[a-zA-Z]", weight=100];
+prop_name_begin -> value_begin[label="\["];
+prop_name_begin -> invalid[color="#FFBBBB", weight=-100];
+game_begin -> game_node[label=";", weight=100];
+game_begin -> invalid[color="#FFBBBB", weight=-100];
+value_escape -> value[label="."];
+var_begin -> game_node[label=";"];
+var_begin -> invalid[color="#FFBBBB", weight=-100];
+prop_name -> value_begin[label="\[", weight=100];
+prop_name -> invalid[color="#FFBBBB", weight=-100];
+}

data/doc/sgf_state_machine.svg

@@ -0,0 +1,269 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.24.0 (20090616.2323)
+ -->
+<!-- Title: SGF_STATE_MACHINE Pages: 1 -->
+<svg width="879pt" height="864pt"
+ viewBox="0.00 0.00 879.38 864.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 860)">
+<title>SGF_STATE_MACHINE</title>
+<polygon fill="white" stroke="white" points="-4,5 -4,-860 876.382,-860 876.382,5 -4,5"/>
+<!-- begin -->
+<g id="node2" class="node"><title>begin</title>
+<ellipse fill="#44ff44" stroke="black" cx="174" cy="-825" rx="29.8234" ry="30.3205"/>
+<text text-anchor="middle" x="174" y="-819.4" font-family="Times,serif" font-size="14.00">begin</text>
+</g>
+<!-- game_begin -->
+<g id="node4" class="node"><title>game_begin</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-726" rx="54.9558" ry="18"/>
+<text text-anchor="middle" x="174" y="-720.4" font-family="Times,serif" font-size="14.00">game_begin</text>
+</g>
+<!-- begin&#45;&gt;game_begin -->
+<g id="edge46" class="edge"><title>begin&#45;&gt;game_begin</title>
+<path fill="none" stroke="black" d="M174,-794.489C174,-781.746 174,-767.024 174,-754.502"/>
+<polygon fill="black" stroke="black" points="177.5,-754.17 174,-744.17 170.5,-754.17 177.5,-754.17"/>
+<text text-anchor="middle" x="176.5" y="-763.4" font-family="Times,serif" font-size="14.00">(</text>
+</g>
+<!-- invalid -->
+<g id="node23" class="node"><title>invalid</title>
+<polygon fill="#ff4444" stroke="black" points="60.0837,-20.5442 60.0837,-35.4558 42.4611,-46 17.5389,-46 -0.0837396,-35.4558 -0.0837396,-20.5442 17.5389,-10 42.4611,-10 60.0837,-20.5442"/>
+<text text-anchor="middle" x="30" y="-22.4" font-family="Times,serif" font-size="14.00">error</text>
+</g>
+<!-- begin&#45;&gt;invalid -->
+<g id="edge48" class="edge"><title>begin&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M204.014,-820.483C314.092,-803.369 693.77,-739.341 781,-658 915.865,-532.24 870.516,-425.895 830,-246 824.5,-221.58 827.277,-213.22 814,-192 774.054,-128.158 740.303,-127.064 668,-106 440.842,-39.8213 371.479,-94.3096 138,-56 114.346,-52.1188 88.3239,-45.4471 67.7504,-39.5896"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="68.7019,-36.2214 58.1226,-36.7953 66.7507,-42.944 68.7019,-36.2214"/>
+</g>
+<!-- game_node -->
+<g id="node7" class="node"><title>game_node</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-640" rx="51.9298" ry="18"/>
+<text text-anchor="middle" x="174" y="-634.4" font-family="Times,serif" font-size="14.00">game_node</text>
+</g>
+<!-- game_begin&#45;&gt;game_node -->
+<g id="edge64" class="edge"><title>game_begin&#45;&gt;game_node</title>
+<path fill="none" stroke="black" d="M174,-707.762C174,-696.36 174,-681.434 174,-668.494"/>
+<polygon fill="black" stroke="black" points="177.5,-668.212 174,-658.212 170.5,-668.212 177.5,-668.212"/>
+<text text-anchor="middle" x="176.5" y="-677.4" font-family="Times,serif" font-size="14.00">;</text>
+</g>
+<!-- game_begin&#45;&gt;invalid -->
+<g id="edge66" class="edge"><title>game_begin&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M189.034,-708.181C199.923,-696.687 215.717,-682.68 233,-676 286.925,-655.158 705.112,-690.388 753,-658 787.614,-634.589 781.991,-612.805 791,-572 803.512,-515.326 855.404,-275.074 792,-192 701.939,-73.9992 283.256,-86.5902 138,-56 114.975,-51.1511 89.4837,-44.5993 69.0509,-39.0525"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="69.7337,-35.6106 59.164,-36.3403 67.8818,-42.3612 69.7337,-35.6106"/>
+</g>
+<!-- var_begin -->
+<g id="node6" class="node"><title>var_begin</title>
+<ellipse fill="none" stroke="black" cx="699" cy="-640" rx="44.9809" ry="18"/>
+<text text-anchor="middle" x="699" y="-634.4" font-family="Times,serif" font-size="14.00">var_begin</text>
+</g>
+<!-- var_begin&#45;&gt;game_node -->
+<g id="edge70" class="edge"><title>var_begin&#45;&gt;game_node</title>
+<path fill="none" stroke="black" d="M654.652,-635.933C603.645,-631.475 517.36,-624.611 443,-622 370.931,-619.469 288.175,-626.505 233.701,-632.508"/>
+<polygon fill="black" stroke="black" points="233.076,-629.056 223.531,-633.653 233.86,-636.012 233.076,-629.056"/>
+<text text-anchor="middle" x="440" y="-623.4" font-family="Times,serif" font-size="14.00">;</text>
+</g>
+<!-- var_begin&#45;&gt;invalid -->
+<g id="edge72" class="edge"><title>var_begin&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M704.97,-622.028C728.252,-548.187 804.43,-267.018 653,-160 630.845,-144.342 196.1,-95.4045 170,-88 131.769,-77.1539 90.1783,-58.3652 62.3473,-44.6968"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="63.6171,-41.4193 53.1051,-40.0971 60.4982,-47.6861 63.6171,-41.4193"/>
+</g>
+<!-- game_node&#45;&gt;var_begin -->
+<g id="edge50" class="edge"><title>game_node&#45;&gt;var_begin</title>
+<path fill="none" stroke="black" d="M226.743,-640C326.419,-640 541.565,-640 643.403,-640"/>
+<polygon fill="black" stroke="black" points="643.485,-643.5 653.485,-640 643.485,-636.5 643.485,-643.5"/>
+<text text-anchor="middle" x="440" y="-641.4" font-family="Times,serif" font-size="14.00">(</text>
+</g>
+<!-- prop_name_begin -->
+<g id="node9" class="node"><title>prop_name_begin</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-554" rx="74.0375" ry="18"/>
+<text text-anchor="middle" x="174" y="-548.4" font-family="Times,serif" font-size="14.00">prop_name_begin</text>
+</g>
+<!-- game_node&#45;&gt;prop_name_begin -->
+<g id="edge52" class="edge"><title>game_node&#45;&gt;prop_name_begin</title>
+<path fill="none" stroke="black" d="M174,-621.762C174,-610.36 174,-595.434 174,-582.494"/>
+<polygon fill="black" stroke="black" points="177.5,-582.212 174,-572.212 170.5,-582.212 177.5,-582.212"/>
+<text text-anchor="middle" x="200.5" y="-591.4" font-family="Times,serif" font-size="14.00">[a&#45;zA&#45;Z]</text>
+</g>
+<!-- var_end -->
+<g id="node20" class="node"><title>var_end</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-124" rx="38.0318" ry="18"/>
+<text text-anchor="middle" x="174" y="-118.4" font-family="Times,serif" font-size="14.00">var_end</text>
+</g>
+<!-- game_node&#45;&gt;var_end -->
+<g id="edge54" class="edge"><title>game_node&#45;&gt;var_end</title>
+<path fill="none" stroke="black" d="M225.514,-637.499C326.191,-632.297 541.889,-619.499 572,-604 598.06,-590.586 615,-583.31 615,-554 615,-554 615,-554 615,-425 615,-345.294 651.9,-309.707 604,-246 557.505,-184.162 322.558,-144.639 220.943,-130.185"/>
+<polygon fill="black" stroke="black" points="221.347,-126.708 210.958,-128.785 220.375,-133.64 221.347,-126.708"/>
+<text text-anchor="middle" x="623.5" y="-376.4" font-family="Times,serif" font-size="14.00">)</text>
+</g>
+<!-- game_node&#45;&gt;invalid -->
+<g id="edge56" class="edge"><title>game_node&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M215.515,-628.956C311.427,-600.752 538.639,-517.257 517,-364 509.37,-309.958 521.521,-284.664 483,-246 468.457,-231.404 144.291,-153.206 127,-142 126.394,-141.607 79.7758,-86.6943 51.3959,-53.2349"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="53.7501,-50.5995 44.6127,-45.2367 48.4115,-55.1271 53.7501,-50.5995"/>
+</g>
+<!-- prop_name -->
+<g id="node11" class="node"><title>prop_name</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-468" rx="49.9024" ry="18"/>
+<text text-anchor="middle" x="174" y="-462.4" font-family="Times,serif" font-size="14.00">prop_name</text>
+</g>
+<!-- prop_name_begin&#45;&gt;prop_name -->
+<g id="edge58" class="edge"><title>prop_name_begin&#45;&gt;prop_name</title>
+<path fill="none" stroke="black" d="M174,-535.762C174,-524.36 174,-509.434 174,-496.494"/>
+<polygon fill="black" stroke="black" points="177.5,-496.212 174,-486.212 170.5,-496.212 177.5,-496.212"/>
+<text text-anchor="middle" x="200.5" y="-505.4" font-family="Times,serif" font-size="14.00">[a&#45;zA&#45;Z]</text>
+</g>
+<!-- value_begin -->
+<g id="node13" class="node"><title>value_begin</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-382" rx="53.8258" ry="18"/>
+<text text-anchor="middle" x="174" y="-376.4" font-family="Times,serif" font-size="14.00">value_begin</text>
+</g>
+<!-- prop_name_begin&#45;&gt;value_begin -->
+<g id="edge60" class="edge"><title>prop_name_begin&#45;&gt;value_begin</title>
+<path fill="none" stroke="black" d="M210.421,-538.158C218.501,-532.918 226.107,-526.257 231,-518 246.414,-491.989 243.575,-478.326 233,-450 226.707,-433.145 214.145,-417.699 202.223,-405.803"/>
+<polygon fill="black" stroke="black" points="204.601,-403.234 194.945,-398.874 199.774,-408.304 204.601,-403.234"/>
+<text text-anchor="middle" x="244.5" y="-462.4" font-family="Times,serif" font-size="14.00">[</text>
+</g>
+<!-- prop_name_begin&#45;&gt;invalid -->
+<g id="edge62" class="edge"><title>prop_name_begin&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M155.178,-536.552C142.27,-523.675 125.621,-505.131 115,-486 38.6639,-348.491 46.3484,-298.62 32,-142 29.2401,-111.875 28.6712,-104.25 29,-74 29.0619,-68.3089 29.1667,-62.2224 29.2859,-56.4015"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="32.7861,-56.4289 29.5096,-46.3534 25.7878,-56.273 32.7861,-56.4289"/>
+</g>
+<!-- prop_name&#45;&gt;value_begin -->
+<g id="edge74" class="edge"><title>prop_name&#45;&gt;value_begin</title>
+<path fill="none" stroke="black" d="M174,-449.762C174,-438.36 174,-423.434 174,-410.494"/>
+<polygon fill="black" stroke="black" points="177.5,-410.212 174,-400.212 170.5,-410.212 177.5,-410.212"/>
+<text text-anchor="middle" x="176.5" y="-419.4" font-family="Times,serif" font-size="14.00">[</text>
+</g>
+<!-- prop_name&#45;&gt;invalid -->
+<g id="edge76" class="edge"><title>prop_name&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M153.636,-451.342C139.541,-438.704 121.495,-420.119 111,-400 49.7354,-282.557 34.7516,-121.018 31.133,-56.3951"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="34.617,-55.9888 30.6124,-46.18 27.6261,-56.3452 34.617,-55.9888"/>
+</g>
+<!-- value -->
+<g id="node15" class="node"><title>value</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-296" rx="29.1856" ry="18"/>
+<text text-anchor="middle" x="174" y="-290.4" font-family="Times,serif" font-size="14.00">value</text>
+</g>
+<!-- value_begin&#45;&gt;value -->
+<g id="edge40" class="edge"><title>value_begin&#45;&gt;value</title>
+<path fill="none" stroke="black" d="M174,-363.762C174,-352.36 174,-337.434 174,-324.494"/>
+<polygon fill="black" stroke="black" points="177.5,-324.212 174,-314.212 170.5,-324.212 177.5,-324.212"/>
+<text text-anchor="middle" x="184.5" y="-333.4" font-family="Times,serif" font-size="14.00">[^]]</text>
+</g>
+<!-- value_escape -->
+<g id="node16" class="node"><title>value_escape</title>
+<ellipse fill="none" stroke="black" cx="336" cy="-296" rx="58.1142" ry="18"/>
+<text text-anchor="middle" x="336" y="-290.4" font-family="Times,serif" font-size="14.00">value_escape</text>
+</g>
+<!-- value_begin&#45;&gt;value_escape -->
+<g id="edge42" class="edge"><title>value_begin&#45;&gt;value_escape</title>
+<path fill="none" stroke="black" d="M202.962,-366.625C229.324,-352.631 268.437,-331.867 297.436,-316.472"/>
+<polygon fill="black" stroke="black" points="299.276,-319.458 306.468,-311.678 295.994,-313.275 299.276,-319.458"/>
+<text text-anchor="middle" x="267" y="-333.4" font-family="Times,serif" font-size="14.00">\</text>
+</g>
+<!-- value_end -->
+<g id="node18" class="node"><title>value_end</title>
+<ellipse fill="none" stroke="black" cx="174" cy="-210" rx="46.877" ry="18"/>
+<text text-anchor="middle" x="174" y="-204.4" font-family="Times,serif" font-size="14.00">value_end</text>
+</g>
+<!-- value_begin&#45;&gt;value_end -->
+<g id="edge44" class="edge"><title>value_begin&#45;&gt;value_end</title>
+<path fill="none" stroke="black" d="M223.054,-374.395C283.665,-363.879 381.452,-342.876 403,-314 450.943,-249.751 312.342,-224.167 230.103,-214.834"/>
+<polygon fill="black" stroke="black" points="230.444,-211.35 220.124,-213.749 229.687,-218.309 230.444,-211.35"/>
+<text text-anchor="middle" x="415.5" y="-290.4" font-family="Times,serif" font-size="14.00">]</text>
+</g>
+<!-- value&#45;&gt;value -->
+<g id="edge14" class="edge"><title>value&#45;&gt;value</title>
+<path fill="none" stroke="black" d="M200.574,-303.806C211.629,-304.344 221,-301.742 221,-296 221,-292.142 216.77,-289.701 210.641,-288.679"/>
+<polygon fill="black" stroke="black" points="210.731,-285.179 200.574,-288.194 210.394,-292.171 210.731,-285.179"/>
+<text text-anchor="middle" x="231.5" y="-290.4" font-family="Times,serif" font-size="14.00">[^]]</text>
+</g>
+<!-- value&#45;&gt;value_escape -->
+<g id="edge12" class="edge"><title>value&#45;&gt;value_escape</title>
+<path fill="none" stroke="black" d="M203.713,-296C221.694,-296 245.404,-296 267.779,-296"/>
+<polygon fill="black" stroke="black" points="267.94,-299.5 277.94,-296 267.94,-292.5 267.94,-299.5"/>
+<text text-anchor="middle" x="240" y="-297.4" font-family="Times,serif" font-size="14.00">\</text>
+</g>
+<!-- value&#45;&gt;value_end -->
+<g id="edge16" class="edge"><title>value&#45;&gt;value_end</title>
+<path fill="none" stroke="black" d="M174,-277.762C174,-266.36 174,-251.434 174,-238.494"/>
+<polygon fill="black" stroke="black" points="177.5,-238.212 174,-228.212 170.5,-238.212 177.5,-238.212"/>
+<text text-anchor="middle" x="176.5" y="-247.4" font-family="Times,serif" font-size="14.00">]</text>
+</g>
+<!-- value_escape&#45;&gt;value -->
+<g id="edge68" class="edge"><title>value_escape&#45;&gt;value</title>
+<path fill="none" stroke="black" d="M296.078,-282.808C278.349,-278.467 257.193,-275.352 238,-278 228.596,-279.297 218.628,-281.619 209.429,-284.173"/>
+<polygon fill="black" stroke="black" points="208.421,-280.821 199.813,-286.998 210.394,-287.538 208.421,-280.821"/>
+<text text-anchor="middle" x="240" y="-279.4" font-family="Times,serif" font-size="14.00">.</text>
+</g>
+<!-- value_end&#45;&gt;var_begin -->
+<g id="edge20" class="edge"><title>value_end&#45;&gt;var_begin</title>
+<path fill="none" stroke="black" d="M221.064,-211.66C349.066,-217.446 694,-242.033 694,-339 694,-554 694,-554 694,-554 694,-573.261 695.265,-594.909 696.523,-611.666"/>
+<polygon fill="black" stroke="black" points="693.055,-612.206 697.335,-621.898 700.033,-611.652 693.055,-612.206"/>
+<text text-anchor="middle" x="696.5" y="-419.4" font-family="Times,serif" font-size="14.00">(</text>
+</g>
+<!-- value_end&#45;&gt;game_node -->
+<g id="edge18" class="edge"><title>value_end&#45;&gt;game_node</title>
+<path fill="none" stroke="black" d="M220.488,-213.028C301.462,-218.651 461.821,-231.464 483,-246 495.96,-254.895 569,-382.967 569,-425 569,-554 569,-554 569,-554 569,-577.472 570.412,-589.443 552,-604 527.784,-623.146 336.627,-633.548 235.798,-637.751"/>
+<polygon fill="black" stroke="black" points="235.588,-634.257 225.739,-638.162 235.874,-641.251 235.588,-634.257"/>
+<text text-anchor="middle" x="571.5" y="-419.4" font-family="Times,serif" font-size="14.00">;</text>
+</g>
+<!-- value_end&#45;&gt;prop_name_begin -->
+<g id="edge22" class="edge"><title>value_end&#45;&gt;prop_name_begin</title>
+<path fill="none" stroke="black" d="M220.595,-213.091C297.764,-218.604 445.483,-230.977 464,-246 475.679,-255.475 472.522,-263.167 475,-278 497.343,-411.73 318.344,-499.678 226.341,-535.62"/>
+<polygon fill="black" stroke="black" points="224.994,-532.388 216.913,-539.24 227.503,-538.923 224.994,-532.388"/>
+<text text-anchor="middle" x="487.5" y="-376.4" font-family="Times,serif" font-size="14.00">[a&#45;zA&#45;Z]</text>
+</g>
+<!-- value_end&#45;&gt;value_begin -->
+<g id="edge24" class="edge"><title>value_end&#45;&gt;value_begin</title>
+<path fill="none" stroke="black" d="M220.569,-212.912C293.913,-217.979 429.534,-229.477 444,-246 473.277,-279.439 473.277,-312.561 444,-346 430.593,-361.313 313.119,-372.311 237.605,-377.872"/>
+<polygon fill="black" stroke="black" points="236.965,-374.409 227.243,-378.621 237.469,-381.391 236.965,-374.409"/>
+<text text-anchor="middle" x="468.5" y="-290.4" font-family="Times,serif" font-size="14.00">[</text>
+</g>
+<!-- value_end&#45;&gt;var_end -->
+<g id="edge26" class="edge"><title>value_end&#45;&gt;var_end</title>
+<path fill="none" stroke="black" d="M174,-191.762C174,-180.36 174,-165.434 174,-152.494"/>
+<polygon fill="black" stroke="black" points="177.5,-152.212 174,-142.212 170.5,-152.212 177.5,-152.212"/>
+<text text-anchor="middle" x="176.5" y="-161.4" font-family="Times,serif" font-size="14.00">)</text>
+</g>
+<!-- value_end&#45;&gt;invalid -->
+<g id="edge28" class="edge"><title>value_end&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M150.702,-194.064C133.331,-181.378 109.802,-162.414 93,-142 71.0237,-115.299 52.8214,-79.8169 41.7266,-55.5736"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="44.8323,-53.9448 37.5542,-46.2454 38.4424,-56.8029 44.8323,-53.9448"/>
+</g>
+<!-- var_end&#45;&gt;var_begin -->
+<g id="edge32" class="edge"><title>var_end&#45;&gt;var_begin</title>
+<path fill="none" stroke="black" d="M212.103,-125.364C310.15,-129.113 569.322,-140.605 653,-160 711.29,-173.511 778,-150.165 778,-210 778,-554 778,-554 778,-554 778,-578.461 771.042,-585.535 755,-604 749.67,-610.135 743.044,-615.615 736.235,-620.338"/>
+<polygon fill="black" stroke="black" points="734.105,-617.547 727.597,-625.908 737.898,-623.431 734.105,-617.547"/>
+<text text-anchor="middle" x="780.5" y="-376.4" font-family="Times,serif" font-size="14.00">(</text>
+</g>
+<!-- var_end&#45;&gt;game_node -->
+<g id="edge30" class="edge"><title>var_end&#45;&gt;game_node</title>
+<path fill="none" stroke="black" d="M211.044,-128.204C246.635,-132.144 301.943,-138.01 350,-142 381.289,-144.598 605.972,-142.44 632,-160 652.434,-173.786 656,-185.35 656,-210 656,-554 656,-554 656,-554 656,-579.255 650.162,-590.216 629,-604 596.854,-624.937 352.973,-634.799 236.093,-638.36"/>
+<polygon fill="black" stroke="black" points="235.758,-634.868 225.867,-638.665 235.967,-641.865 235.758,-634.868"/>
+<text text-anchor="middle" x="658.5" y="-376.4" font-family="Times,serif" font-size="14.00">;</text>
+</g>
+<!-- var_end&#45;&gt;var_end -->
+<g id="edge36" class="edge"><title>var_end&#45;&gt;var_end</title>
+<path fill="none" stroke="black" d="M208.176,-131.871C220.224,-131.997 230,-129.373 230,-124 230,-120.306 225.379,-117.912 218.576,-116.817"/>
+<polygon fill="black" stroke="black" points="218.385,-113.297 208.176,-116.129 217.923,-120.281 218.385,-113.297"/>
+<text text-anchor="middle" x="232.5" y="-118.4" font-family="Times,serif" font-size="14.00">)</text>
+</g>
+<!-- game_end -->
+<g id="node22" class="node"><title>game_end</title>
+<ellipse fill="#44ff44" stroke="black" cx="174" cy="-28" rx="22.9471" ry="23.372"/>
+<ellipse fill="none" stroke="black" cx="174" cy="-28" rx="26.8743" ry="27.372"/>
+<text text-anchor="middle" x="174" y="-22.4" font-family="Times,serif" font-size="14.00">end</text>
+</g>
+<!-- var_end&#45;&gt;game_end -->
+<g id="edge34" class="edge"><title>var_end&#45;&gt;game_end</title>
+<path fill="none" stroke="black" d="M174,-105.943C174,-94.6899 174,-79.7809 174,-66.0175"/>
+<polygon fill="black" stroke="black" points="177.5,-65.7953 174,-55.7954 170.5,-65.7954 177.5,-65.7953"/>
+<text text-anchor="middle" x="187.5" y="-75.4" font-family="Times,serif" font-size="14.00">EOS</text>
+</g>
+<!-- var_end&#45;&gt;invalid -->
+<g id="edge38" class="edge"><title>var_end&#45;&gt;invalid</title>
+<path fill="none" stroke="#ffbbbb" d="M151.816,-109.21C126.9,-92.5997 86.3725,-65.5817 58.9735,-47.3157"/>
+<polygon fill="#ffbbbb" stroke="#ffbbbb" points="60.8375,-44.3519 50.5755,-41.717 56.9545,-50.1762 60.8375,-44.3519"/>
+</g>
+</g>
+</svg>