tla2dot 0.0.3

data/lib/tla2dot/parser.tab.rb

@@ -0,0 +1,712 @@
+#
+# DO NOT MODIFY!!!!
+# This file is automatically generated by Racc 1.4.12
+# from Racc grammer file "".
+#
+
+require 'racc/parser.rb'
+class Tla2DotParser < Racc::Parser
+
+module_eval(<<'...end parser.y/module_eval...', 'parser.y', 89)
+
+class Node
+
+  include TLA2DOT::Utils::MyLogger    # mix logger
+  
+  @@logger = nil;                     # common logger for all nodes
+  @@options = {};                     # common logger for all nodes
+
+
+  # ------------------------------------------------------------------
+  # Attributes
+
+  # instance 
+  attr_accessor :name       #
+  attr_accessor :variables  # hash of name=>
+  attr_accessor :edges      # list of nodes reachable
+
+  # ------------------------------------------------------------------
+  # constructore
+  def initialize( name, variables )
+    @name = name
+    @variables = variables
+    @edges = []
+    @filter_render_variables = []
+  end
+
+  def myLogger
+    return @@logger if @@logger
+    @@logger = getLogger( "Node", getOptions )
+    @@logger.info( "#{__method__} created" )
+    @@logger
+  end
+  
+  def setOptions( options )
+    @@options = options
+  end
+
+  def getOptions
+    @@options 
+  end
+  
+  def name
+    @name
+  end
+
+  def variables=( variables )
+    @variables = variables
+  end
+
+  def variables
+    @variables
+  end
+
+  def ==( node )
+    node.respond_to?( :name) && self.name == node.name
+  end
+
+  def add_edge( node )
+    @edges << node unless @edges.include?( node ) 
+  end
+  
+  def successor_cnt
+    @edges.size
+  end
+
+  # array of successors for the node
+  def successors
+    @edges
+  end
+
+  # array tranitions (from_state->to_state) from this node to another
+  def transitions
+    myLogger.debug( "#{__method__} starting" )
+    successors.select{ |n| n.name != name }.map{ |n| { :to_state => n.name, :from_state => self.name } }
+  end
+
+  # array of variable names to render
+  def filter_render_variables
+    myLogger.debug( "#{__method__} filter_render_variables=#{@filter_render_variables} #{@filter_render_variables.class}" )
+    @filter_render_variables
+  end
+
+  # called when added to graph
+  def filter_render_variables=( variables )
+
+    @filter_render_variables = variables
+  end
+
+  # return true is state should show variable
+  def include_variable( variable )
+    
+    return filter_render_variables.include?( variable ) if
+      filter_render_variables.kind_of?( Array )
+
+    # assume boolean
+    return filter_render_variables
+
+  end
+  
+
+  # node variable to render as key/state hash (including 'id')
+  def content
+    myLogger.debug( "#{__method__} starting" )
+    vars = variables;
+    vars['ID'] = name
+    vars.select{ |k,v| include_variable( k ) }.
+      map { |k,v|
+         {:key =>k, :val => v, :state => render_value(v) }
+      }
+      
+  end
+
+  # escape for mustache rendering
+  def render_value( v )
+    return v.to_s.
+            gsub( /\{/, "\\{" ).
+            gsub( /\}/, "\\}" ).
+            gsub( /=>/, "=" ).
+            # gsub( /\{/, "" ).
+            # gsub( /\}/, "" ).
+            # gsub( /\[/, "" ).
+            # gsub( /\]/, "" ).
+            # gsub( /\[/, "\\[" ).
+            # gsub( /\]/, "\\]" ).
+            gsub( /"/, '\\"' )
+    # case
+    # when v.kind_of?( Hash )
+    #   return v.to_s.gsub( /\{/, "\\{" ).gsub( /\}/, "\\}" )
+    # else
+    #   return v
+    # end
+        
+  end
+  
+
+end
+
+
+class Graph
+
+  include TLA2DOT::Utils::MyLogger    # mix logger
+
+
+  attr_reader :nodes       #
+  
+  def initialize( filter_render_variables, options )
+    @nodes = {}
+    # filter_render_variables passed to node
+    @filter_render_variables = filter_render_variables
+    setOptions( options )
+  end
+
+  def myLogger
+    return @logger if @logger
+    @logger = getLogger( "Graph", getOptions )
+    @logger.info( "#{__method__} created" )
+    @logger
+  end
+
+
+  def setOptions( options )
+    @options = options
+  end
+
+  def getOptions
+    @options
+  end
+
+  def add_node(node)
+    node.filter_render_variables=( @filter_render_variables )
+    node.setOptions( getOptions )
+    myLogger.debug( "#{__method__} added node #{node}, @filter_render_variables=#{@filter_render_variables} #{@filter_render_variables.class}" )
+    @nodes[node.name] = node
+    self
+  end
+
+  
+  def nodes
+    @nodes
+  end
+
+  def states
+    @nodes.values
+  end
+  
+
+  def node_cnt
+    @nodes.size
+  end
+
+
+  def add_edge(predecessor_name, successor_name)
+
+    predecessor_node = @nodes[predecessor_name]
+    raise "Unknown precessor node #{predecessor_name}" unless predecessor_node
+    successor_node = @nodes[successor_name]
+    raise "Unknown precessor node #{successor_name}" unless successor_node
+    @nodes[predecessor_name].add_edge(@nodes[successor_name])
+  end
+
+  def [](name)
+    @nodes[name]
+  end  
+end
+
+# ------------------------------------------------------------------
+
+  include TLA2DOT::Utils::MyLogger    # mix logger
+  PROGNAME = "parser"               # progname for logger
+
+  def initialize( options = {} )
+    @logger = getLogger( PROGNAME, options )
+    @logger.debug( "#{__method__} initialized" )
+    setOptions( options )
+  end
+  
+  def setOptions( options )
+    @options = options
+  end
+
+  def getOptions
+    @options
+  end
+
+  
+
+# entry point
+def parse(str, filter_render_variables = [] )
+  @logger.info( "#{__method__} parsing started" )
+  @graph = Graph.new( filter_render_variables, getOptions )
+  @line = 0
+  return @graph  if str.nil? || str.empty? 
+  @str = str.kind_of?( Array ) ? str : [ str ]
+  begin
+    ret = yyparse self, :scan
+    @logger.info( "#{__method__} parsing done" )
+    return ret
+  rescue Exception => e
+    puts "Error on line #{@line} near #{@current}"
+    @logger.error( "#{__method__} error #{e}" )
+    # puts e
+    return nil
+  end
+end
+
+private
+
+# return next line for scanner
+def next_str
+  @current =  @str.any? ? @str.shift : nil
+  @line += 1
+  @current
+end
+
+
+# racc token scanner
+def scan
+  while true
+    str = next_str
+    break if str.nil?
+    until str.empty?
+      case str
+      when /\A\s+/
+        str = $'
+      when /\AState (\d+):/
+        yield [ :STATE, $1 ]
+        str = $'
+      when /\AState (\d+)\/(-?\d+):/
+        # using fingerprint name
+        yield [ :STATE, $2 ]
+        str = $'
+      when /\AState (\d+):/
+        yield [ :STATE, $1 ]
+        str = $'
+      when /\ATransition ([0-9\-\+]+)/
+        yield [ :TRANS, $1 ]
+        str = $'
+      when /\A"([^"]*)"*/
+        yield [ :STRING, $1 ]
+        str = $'
+      when /\A[a-zA-Z]\w*/
+        yield [ :IDENT, $& ]
+        str = $'
+      when /\A-?\d+/
+        yield [ :INTEGER, $& ]
+        str = $'
+      when /\A\/\\/
+        yield [ :AND, $& ]
+        str = $'
+      when /\A\|->/
+        yield [ $&, $& ]
+        str = $'
+      # when /\A\n/
+      #   puts "Nl"
+      #   yield [ :NL, $& ]
+      #   str = $'
+      when /\A\-->/
+        yield [ $&, $& ]
+        str = $'
+      when /\A=/
+        yield [ $&, $& ]
+        str = $'
+      else
+        c = str[0,1]
+        yield [ c, c ]
+        str = str[1..-1]
+      end
+    end # until
+  end # while
+  yield [ false, '$']   # is optional from Racc 1.3.7
+end
+
+...end parser.y/module_eval...
+##### State transition tables begin ###
+
+racc_action_table = [
+    32,    22,    39,    58,    34,    51,    52,    41,    33,    38,
+    50,    57,    40,    46,    32,    27,    39,    45,    34,    25,
+    26,     6,    33,    38,     9,    32,    40,    39,     6,    34,
+    62,     9,    63,    33,    38,    17,    32,    40,    39,    19,
+    34,    18,    15,    12,    33,    38,    22,    32,    40,    39,
+    53,    34,    28,    61,    22,    33,    38,    10,    32,    40,
+    39,    65,    34,    15,   nil,   nil,    33,    38,    27,   nil,
+    40,    29,    25,    26 ]
+
+racc_action_check = [
+    40,    38,    40,    47,    40,    42,    44,    38,    40,    40,
+    42,    47,    40,    40,    52,    17,    52,    39,    52,    17,
+    17,     2,    52,    52,     2,    58,    52,    58,     0,    58,
+    54,     0,    54,    58,    58,     8,    63,    58,    63,    12,
+    63,    10,     7,     6,    63,    63,    51,    45,    63,    45,
+    45,    45,    21,    53,    15,    45,    45,     1,    28,    45,
+    28,    62,    28,    13,   nil,   nil,    28,    28,    23,   nil,
+    28,    23,    23,    23 ]
+
+racc_action_pointer = [
+    26,    57,    19,   nil,   nil,   nil,    40,    32,    29,   nil,
+    41,   nil,    35,    53,   nil,    46,   nil,    11,   nil,   nil,
+   nil,    41,   nil,    64,   nil,   nil,   nil,   nil,    54,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    -7,    11,
+    -4,   nil,    -4,   nil,    -9,    43,   nil,    -6,   nil,   nil,
+   nil,    38,    10,    46,    23,   nil,   nil,   nil,    21,   nil,
+   nil,   nil,    54,    32,   nil,   nil,   nil ]
+
+racc_action_default = [
+   -43,   -43,    -1,    -2,    -4,    -5,   -43,    -8,    -9,   -11,
+   -43,    -3,   -43,    -7,   -18,   -43,   -10,   -43,    67,    -6,
+   -19,   -43,   -21,   -43,   -13,   -15,   -16,   -17,   -43,   -12,
+   -14,   -20,   -22,   -23,   -24,   -25,   -26,   -27,   -43,   -43,
+   -43,   -28,   -43,   -30,   -43,   -43,   -38,   -43,   -40,   -42,
+   -29,   -43,   -43,   -43,   -43,   -35,   -37,   -39,   -43,   -31,
+   -32,   -33,   -43,   -43,   -41,   -34,   -36 ]
+
+racc_goto_table = [
+    31,    55,    48,    43,    24,    14,     3,    21,    11,    23,
+    30,    20,    16,    42,    13,    54,    59,    56,     2,    66,
+    64,    47,     1,   nil,    60,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    56 ]
+
+racc_goto_check = [
+    14,    21,    23,    19,    11,    12,     3,    13,     3,    10,
+    11,    12,     9,    18,     7,    20,    19,    14,     2,    21,
+    23,    22,     1,   nil,    14,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    14 ]
+
+racc_goto_pointer = [
+   nil,    22,    18,     6,   nil,   nil,   nil,     7,   nil,     4,
+    -8,   -13,    -2,    -8,   -28,   nil,   nil,   nil,   -25,   -35,
+   -30,   -44,   -19,   -38 ]
+
+racc_goto_default = [
+   nil,   nil,   nil,   nil,     4,     5,     7,   nil,     8,   nil,
+   nil,   nil,   nil,    44,    49,    35,    36,    37,   nil,   nil,
+   nil,   nil,   nil,   nil ]
+
+racc_reduce_table = [
+  0, 0, :racc_error,
+  1, 19, :_reduce_1,
+  1, 20, :_reduce_none,
+  2, 20, :_reduce_none,
+  1, 21, :_reduce_4,
+  1, 21, :_reduce_none,
+  3, 23, :_reduce_6,
+  2, 22, :_reduce_7,
+  1, 22, :_reduce_none,
+  1, 24, :_reduce_none,
+  2, 24, :_reduce_none,
+  1, 26, :_reduce_11,
+  3, 27, :_reduce_none,
+  1, 28, :_reduce_none,
+  2, 28, :_reduce_none,
+  1, 29, :_reduce_none,
+  1, 29, :_reduce_none,
+  1, 29, :_reduce_none,
+  1, 25, :_reduce_none,
+  2, 25, :_reduce_19,
+  4, 30, :_reduce_20,
+  1, 31, :_reduce_none,
+  1, 32, :_reduce_22,
+  1, 32, :_reduce_none,
+  1, 32, :_reduce_none,
+  1, 32, :_reduce_none,
+  1, 32, :_reduce_none,
+  1, 32, :_reduce_none,
+  2, 33, :_reduce_28,
+  3, 33, :_reduce_29,
+  1, 36, :_reduce_30,
+  3, 36, :_reduce_31,
+  3, 37, :_reduce_32,
+  4, 35, :_reduce_33,
+  5, 35, :_reduce_34,
+  1, 38, :_reduce_none,
+  3, 38, :_reduce_36,
+  1, 39, :_reduce_37,
+  2, 34, :_reduce_38,
+  3, 34, :_reduce_39,
+  1, 40, :_reduce_none,
+  3, 40, :_reduce_41,
+  1, 41, :_reduce_42 ]
+
+racc_reduce_n = 43
+
+racc_shift_n = 67
+
+racc_token_table = {
+  false => 0,
+  :error => 1,
+  :TRANS => 2,
+  "-->" => 3,
+  :INTEGER => 4,
+  :STATE => 5,
+  "<" => 6,
+  ">" => 7,
+  :IDENT => 8,
+  "," => 9,
+  :AND => 10,
+  "=" => 11,
+  :STRING => 12,
+  "[" => 13,
+  "]" => 14,
+  "|->" => 15,
+  "{" => 16,
+  "}" => 17 }
+
+racc_nt_base = 18
+
+racc_use_result_var = false
+
+Racc_arg = [
+  racc_action_table,
+  racc_action_check,
+  racc_action_default,
+  racc_action_pointer,
+  racc_goto_table,
+  racc_goto_check,
+  racc_goto_default,
+  racc_goto_pointer,
+  racc_nt_base,
+  racc_reduce_table,
+  racc_token_table,
+  racc_shift_n,
+  racc_reduce_n,
+  racc_use_result_var ]
+
+Racc_token_to_s_table = [
+  "$end",
+  "error",
+  "TRANS",
+  "\"-->\"",
+  "INTEGER",
+  "STATE",
+  "\"<\"",
+  "\">\"",
+  "IDENT",
+  "\",\"",
+  "AND",
+  "\"=\"",
+  "STRING",
+  "\"[\"",
+  "\"]\"",
+  "\"|->\"",
+  "\"{\"",
+  "\"}\"",
+  "$start",
+  "target",
+  "entries",
+  "entry",
+  "state",
+  "trans",
+  "state_def",
+  "variables",
+  "state_id",
+  "actiondef",
+  "actionspecs",
+  "actionspec",
+  "variable",
+  "name",
+  "value",
+  "record",
+  "set",
+  "seq",
+  "rlist",
+  "ritem",
+  "seqlist",
+  "seqitem",
+  "slist",
+  "sitem" ]
+
+Racc_debug_parser = false
+
+##### State transition tables end #####
+
+# reduce 0 omitted
+
+module_eval(<<'.,.,', 'parser.y', 12)
+  def _reduce_1(val, _values)
+     @graph 
+  end
+.,.,
+
+# reduce 2 omitted
+
+# reduce 3 omitted
+
+module_eval(<<'.,.,', 'parser.y', 17)
+  def _reduce_4(val, _values)
+     @graph.add_node( val[0] )  
+  end
+.,.,
+
+# reduce 5 omitted
+
+module_eval(<<'.,.,', 'parser.y', 21)
+  def _reduce_6(val, _values)
+     @graph.add_edge( val[0], val[2] ) 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 27)
+  def _reduce_7(val, _values)
+     val[0].variables=val[1]; val[0] 
+  end
+.,.,
+
+# reduce 8 omitted
+
+# reduce 9 omitted
+
+# reduce 10 omitted
+
+module_eval(<<'.,.,', 'parser.y', 33)
+  def _reduce_11(val, _values)
+     Node.new( val[0], {} ) 
+  end
+.,.,
+
+# reduce 12 omitted
+
+# reduce 13 omitted
+
+# reduce 14 omitted
+
+# reduce 15 omitted
+
+# reduce 16 omitted
+
+# reduce 17 omitted
+
+# reduce 18 omitted
+
+module_eval(<<'.,.,', 'parser.y', 46)
+  def _reduce_19(val, _values)
+     k=val[1].keys.first; val[0][k] = val[1][k]; val[0] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 48)
+  def _reduce_20(val, _values)
+     {  val[1] => val[3] } 
+  end
+.,.,
+
+# reduce 21 omitted
+
+module_eval(<<'.,.,', 'parser.y', 52)
+  def _reduce_22(val, _values)
+     val[0].to_i 
+  end
+.,.,
+
+# reduce 23 omitted
+
+# reduce 24 omitted
+
+# reduce 25 omitted
+
+# reduce 26 omitted
+
+# reduce 27 omitted
+
+module_eval(<<'.,.,', 'parser.y', 59)
+  def _reduce_28(val, _values)
+     {} 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 60)
+  def _reduce_29(val, _values)
+     val[1] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 62)
+  def _reduce_30(val, _values)
+     val[0] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 63)
+  def _reduce_31(val, _values)
+     k=val[2].keys.first; val[0][k] = val[2][k]; val[0] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 65)
+  def _reduce_32(val, _values)
+     { val[0] => val[2] } 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 68)
+  def _reduce_33(val, _values)
+     [] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 69)
+  def _reduce_34(val, _values)
+     val[2] 
+  end
+.,.,
+
+# reduce 35 omitted
+
+module_eval(<<'.,.,', 'parser.y', 72)
+  def _reduce_36(val, _values)
+     val[0].push( val[2][0] ); val[0] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 74)
+  def _reduce_37(val, _values)
+     [ val[0] ] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 77)
+  def _reduce_38(val, _values)
+     [] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 78)
+  def _reduce_39(val, _values)
+     val[1] 
+  end
+.,.,
+
+# reduce 40 omitted
+
+module_eval(<<'.,.,', 'parser.y', 81)
+  def _reduce_41(val, _values)
+     val[0].push( val[2][0] ); val[0] 
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 83)
+  def _reduce_42(val, _values)
+     [ val[0] ] 
+  end
+.,.,
+
+def _reduce_none(val, _values)
+  val[0]
+end
+
+end   # class Tla2DotParser
+
+
+if $0 == __FILE__
+  src = <<EOS
+{
+  name => MyName,
+  id => MyIdent
+}
+EOS
+  puts 'Parsing (String):'
+  print src
+  puts
+  puts 'Result (Ruby Object):'
+  p HashParser.new.parse(src)
+end