opal-cj 0.7.0.beta1

data/lib/opal/parser/keywords.rb

@@ -0,0 +1,66 @@
+module Opal
+  module Keywords
+
+    class KeywordTable
+      attr_accessor :name, :id, :state
+
+      def initialize(name, id, state)
+        @name = name
+        @id = id
+        @state = state
+      end
+    end
+
+    KEYWORDS = [
+      ["__LINE__",  [:k__LINE__, :k__LINE__],   :expr_end],
+      ["__FILE__",  [:k__FILE__, :k__FILE__],   :expr_end],
+      ["alias",     [:kALIAS,    :kALIAS],      :expr_fname],
+      ["and",       [:kAND,      :kAND],        :expr_beg],
+      ["begin",     [:kBEGIN,    :kBEGIN],      :expr_beg],
+      ["break",     [:kBREAK,    :kBREAK],      :expr_mid],
+      ["case",      [:kCASE,     :kCASE],       :expr_beg],
+      ["class",     [:kCLASS,    :kCLASS],      :expr_class],
+      ["def",       [:kDEF,      :kDEF],        :expr_fname],
+      ["defined?",  [:kDEFINED,  :kDEFINED],    :expr_arg],
+      ["do",        [:kDO,       :kDO],         :expr_beg],
+      ["else",      [:kELSE,     :kELSE],       :expr_beg],
+      ["elsif",     [:kELSIF,    :kELSIF],      :expr_beg],
+      ["end",       [:kEND,      :kEND],        :expr_end],
+      ["ensure",    [:kENSURE,   :kENSURE],     :expr_beg],
+      ["false",     [:kFALSE,    :kFALSE],      :expr_end],
+      ["for",       [:kFOR,      :kFOR],        :expr_beg],
+      ["if",        [:kIF,       :kIF_MOD],     :expr_beg],
+      ["in",        [:kIN,       :kIN],         :expr_beg],
+      ["module",    [:kMODULE,   :kMODULE],     :expr_beg],
+      ["nil",       [:kNIL,      :kNIL],        :expr_end],
+      ["next",      [:kNEXT,     :kNEXT],       :expr_mid],
+      ["not",       [:kNOT,      :kNOT],        :expr_beg],
+      ["or",        [:kOR,       :kOR],         :expr_beg],
+      ["redo",      [:kREDO,     :kREDO],       :expr_end],
+      ["rescue",    [:kRESCUE,   :kRESCUE_MOD], :expr_mid],
+      ["return",    [:kRETURN,   :kRETURN],     :expr_mid],
+      ["self",      [:kSELF,     :kSELF],       :expr_end],
+      ["super",     [:kSUPER,    :kSUPER],      :expr_arg],
+      ["then",      [:kTHEN,     :kTHEN],       :expr_beg],
+      ["true",      [:kTRUE,     :kTRUE],       :expr_end],
+      ["undef",     [:kUNDEF,    :kUNDEF],      :expr_fname],
+      ["unless",    [:kUNLESS,   :kUNLESS_MOD], :expr_beg],
+      ["until",     [:kUNTIL,    :kUNTIL_MOD],  :expr_beg],
+      ["when",      [:kWHEN,     :kWHEN],       :expr_beg],
+      ["while",     [:kWHILE,    :kWHILE_MOD],  :expr_beg],
+      ["yield",     [:kYIELD,    :kYIELD],      :expr_arg]
+    ].map { |decl| KeywordTable.new(*decl) }
+
+    def self.map
+      unless @map
+        @map = {}
+        KEYWORDS.each { |k| @map[k.name] = k }
+      end
+      @map
+    end
+
+    def self.keyword(kw)
+      map[kw]
+    end
+  end
+end

data/lib/opal/parser/lexer.rb

@@ -0,0 +1,1208 @@
+require 'strscan'
+require 'opal/parser/keywords'
+
+module Opal
+  class Lexer
+
+    STR_FUNC_ESCAPE = 0x01
+    STR_FUNC_EXPAND = 0x02
+    STR_FUNC_REGEXP = 0x04
+    STR_FUNC_QWORDS = 0x08
+    STR_FUNC_SYMBOL = 0x10
+    STR_FUNC_INDENT = 0x20
+    STR_FUNC_XQUOTE = 0x40
+
+    STR_SQUOTE = 0x00
+    STR_DQUOTE = STR_FUNC_EXPAND
+    STR_XQUOTE = STR_FUNC_EXPAND | STR_FUNC_XQUOTE
+    STR_REGEXP = STR_FUNC_REGEXP | STR_FUNC_ESCAPE | STR_FUNC_EXPAND
+    STR_SWORD  = STR_FUNC_QWORDS
+    STR_DWORD  = STR_FUNC_QWORDS | STR_FUNC_EXPAND
+    STR_SSYM   = STR_FUNC_SYMBOL
+    STR_DSYM   = STR_FUNC_SYMBOL | STR_FUNC_EXPAND
+
+    attr_reader :line, :column
+    attr_reader :scope
+    attr_reader :eof_content
+
+    attr_accessor :lex_state
+    attr_accessor :strterm
+    attr_accessor :scanner
+    attr_accessor :yylval
+    attr_accessor :parser
+
+    def initialize(source, file)
+      @lex_state  = :expr_beg
+      @cond       = 0
+      @cmdarg     = 0
+      @line       = 1
+      @tok_line   = 1
+      @column     = 0
+      @tok_column = 0
+      @file       = file
+
+      @scanner = StringScanner.new(source)
+      @scanner_stack = [@scanner]
+
+      @case_stmt = nil
+      @start_of_lambda = nil
+    end
+
+    def has_local?(local)
+      parser.scope.has_local?(local.to_sym)
+    end
+
+    def cond_push(n)
+      @cond = (@cond << 1) | (n & 1)
+    end
+
+    def cond_pop
+      @cond = @cond >> 1
+    end
+
+    def cond_lexpop
+      @cond = (@cond >> 1) | (@cond & 1)
+    end
+
+    def cond?
+      (@cond & 1) != 0
+    end
+
+    def cmdarg_push(n)
+      @cmdarg = (@cmdarg << 1) | (n & 1)
+    end
+
+    def cmdarg_pop
+      @cmdarg = @cmdarg >> 1
+    end
+
+    def cmdarg_lexpop
+      @cmdarg = (@cmdarg >> 1) | (@cmdarg & 1)
+    end
+
+    def cmdarg?
+      (@cmdarg & 1) != 0
+    end
+
+    def arg?
+      [:expr_arg, :expr_cmdarg].include? @lex_state
+    end
+
+    def end?
+      [:expr_end, :expr_endarg, :expr_endfn].include? @lex_state
+    end
+
+    def beg?
+      [:expr_beg, :expr_value, :expr_mid, :expr_class].include? @lex_state
+    end
+
+    def after_operator?
+      [:expr_fname, :expr_dot].include? @lex_state
+    end
+
+    def spcarg?
+      arg? and @space_seen and !space?
+    end
+
+    def space?
+      @scanner.check(/\s/)
+    end
+
+    def set_arg_state
+      @lex_state = after_operator? ? :expr_arg : :expr_beg
+    end
+
+    def scan(regexp)
+      if result = @scanner.scan(regexp)
+        @column += result.length
+        @yylval += @scanner.matched
+      end
+
+      result
+    end
+
+    def skip(regexp)
+      if result = @scanner.scan(regexp)
+        @column += result.length
+        @tok_column = @column
+      end
+
+      result
+    end
+
+    def check(regexp)
+      @scanner.check regexp
+    end
+
+    def pushback(n)
+      @scanner.pos -= n
+    end
+
+    def matched
+      @scanner.matched
+    end
+
+    def line=(line)
+      @column = @tok_column = 0
+      @line = @tok_line = line
+    end
+
+    def next_token
+      token     = self.yylex
+      value     = self.yylval
+      location  = [@tok_line, @tok_column]
+
+      # once location is stored, ensure next token starts in correct place
+      @tok_column = @column
+      @tok_line = @line
+
+      [token, [value, location]]
+    end
+
+    def new_strterm(func, term, paren)
+      { :type => :string, :func => func, :term => term, :paren => paren }
+    end
+
+    def new_strterm2(func, term, paren)
+      term = new_strterm(func, term, paren)
+      term.merge({ :balance => true, :nesting => 0 })
+    end
+
+    def new_op_asgn(value)
+      self.yylval = value
+      :tOP_ASGN
+    end
+
+    def process_numeric
+      @lex_state = :expr_end
+
+      if scan(/[\d_]+\.[\d_]+\b|[\d_]+(\.[\d_]+)?[eE][-+]?[\d_]+\b/) # FLOATS
+        self.yylval = scanner.matched.gsub(/_/, '').to_f
+        return :tFLOAT
+      elsif scan(/([^0][\d_]*|0)\b/)                                 # BASE 10
+        self.yylval = scanner.matched.gsub(/_/, '').to_i
+        return :tINTEGER
+      elsif scan(/0[bB](0|1|_)+/)                                    # BASE 2
+        self.yylval = scanner.matched.to_i(2)
+        return :tINTEGER
+      elsif scan(/0[xX](\d|[a-f]|[A-F]|_)+/)                         # BASE 16
+        self.yylval = scanner.matched.to_i(16)
+        return :tINTEGER
+      elsif scan(/0[oO]?([0-7]|_)+/)                                 # BASE 8
+        self.yylval = scanner.matched.to_i(8)
+        return :tINTEGER
+      elsif scan(/0[dD]([0-9]|_)+/)                                  # BASE 10
+        self.yylval = scanner.matched.gsub(/_/, '').to_i
+        return :tINTEGER
+      else
+        raise "Lexing error on numeric type: `#{scanner.peek 5}`"
+      end
+    end
+
+    def read_escape
+      if scan(/\\/)
+        "\\"
+      elsif scan(/n/)
+        "\n"
+      elsif scan(/t/)
+        "\t"
+      elsif scan(/r/)
+        "\r"
+      elsif scan(/f/)
+        "\f"
+      elsif scan(/v/)
+        "\v"
+      elsif scan(/a/)
+        "\a"
+      elsif scan(/e/)
+        "\e"
+      elsif scan(/s/)
+        " "
+      elsif scan(/[0-7]{1,3}/)
+        (matched.to_i(8) % 0x100).chr
+      elsif scan(/x([0-9a-fA-F]{1,2})/)
+        scanner[1].to_i(16).chr
+      elsif scan(/u([0-9a-zA-Z]{1,4})/)
+        if defined?(::Encoding)
+          scanner[1].to_i(16).chr(Encoding::UTF_8)
+        else
+          # FIXME: no encoding on 1.8
+          ""
+        end
+      else
+        # escaped char doesnt need escaping, so just return it
+        scan(/./)
+      end
+    end
+
+    def peek_variable_name
+      if check(/[@$]/)
+        :tSTRING_DVAR
+      elsif scan(/\{/)
+        :tSTRING_DBEG
+      end
+    end
+
+    def here_document(str_parse)
+      eos_regx = /[ \t]*#{Regexp.escape(str_parse[:term])}(\r*\n|$)/
+      expand = true
+
+      # Don't escape single-quoted heredoc identifiers
+      escape = str_parse[:func] != STR_SQUOTE
+
+      if check(eos_regx)
+        scan(/[ \t]*#{Regexp.escape(str_parse[:term])}/)
+
+        if str_parse[:scanner]
+          @scanner_stack << str_parse[:scanner]
+          @scanner = str_parse[:scanner]
+        end
+
+        return :tSTRING_END
+      end
+
+      str_buffer = []
+
+      if scan(/#/)
+        if tok = peek_variable_name
+          return tok
+        end
+
+        str_buffer << '#'
+      end
+
+      until check(eos_regx) && scanner.bol?
+        if scanner.eos?
+          raise "reached EOF while in heredoc"
+        end
+
+        if scan(/\n/)
+          str_buffer << scanner.matched
+        elsif expand && check(/#(?=[\$\@\{])/)
+          break
+        elsif scan(/\\/)
+          str_buffer << (escape ? self.read_escape : scanner.matched)
+        else
+          reg = Regexp.new("[^\#\0\\\\\n]+|.")
+
+          scan reg
+          str_buffer << scanner.matched
+        end
+      end
+
+      complete_str = str_buffer.join ''
+      @line += complete_str.count("\n")
+
+      self.yylval = complete_str
+      return :tSTRING_CONTENT
+    end
+
+    def parse_string
+      str_parse = self.strterm
+      func = str_parse[:func]
+
+      space = false
+
+      qwords = (func & STR_FUNC_QWORDS) != 0
+      expand = (func & STR_FUNC_EXPAND) != 0
+      regexp = (func & STR_FUNC_REGEXP) != 0
+
+      space = true if qwords and scan(/\s+/)
+
+      # if not end of string, so we must be parsing contents
+      str_buffer = []
+
+      if scan Regexp.new(Regexp.escape(str_parse[:term]))
+        if qwords && !str_parse[:done_last_space]#&& space
+          str_parse[:done_last_space] = true
+          pushback(1)
+          self.yylval = ' '
+          return :tSPACE
+        end
+
+        if str_parse[:balance]
+          if str_parse[:nesting] == 0
+
+            if regexp
+              self.yylval = scan(/\w+/)
+              return :tREGEXP_END
+            end
+            return :tSTRING_END
+          else
+            str_buffer << scanner.matched
+            str_parse[:nesting] -= 1
+            self.strterm = str_parse
+          end
+        elsif regexp
+          @lex_state = :expr_end
+          self.yylval = scan(/\w+/)
+          return :tREGEXP_END
+        else
+          if str_parse[:scanner]
+            @scanner_stack << str_parse[:scanner]
+            @scanner = str_parse[:scanner]
+          end
+
+          return :tSTRING_END
+        end
+      end
+
+      if space
+        self.yylval = ' '
+        return :tSPACE
+      end
+
+      if str_parse[:balance] and scan Regexp.new(Regexp.escape(str_parse[:paren]))
+        str_buffer << scanner.matched
+        str_parse[:nesting] += 1
+      elsif check(/#[@$]/)
+        scan(/#/)
+        if expand
+          return :tSTRING_DVAR
+        else
+          str_buffer << scanner.matched
+        end
+
+      elsif scan(/#\{/)
+        if expand
+          return :tSTRING_DBEG
+        else
+          str_buffer << scanner.matched
+        end
+
+      # causes error, so we will just collect it later on with other text
+      elsif scan(/\#/)
+        str_buffer << '#'
+      end
+
+      add_string_content str_buffer, str_parse
+
+      complete_str = str_buffer.join ''
+      @line += complete_str.count("\n")
+
+      self.yylval = complete_str
+      return :tSTRING_CONTENT
+    end
+
+    def add_string_content(str_buffer, str_parse)
+      func = str_parse[:func]
+
+      end_str_re = Regexp.new(Regexp.escape(str_parse[:term]))
+
+      qwords = (func & STR_FUNC_QWORDS) != 0
+      expand = (func & STR_FUNC_EXPAND) != 0
+      regexp = (func & STR_FUNC_REGEXP) != 0
+      escape = (func & STR_FUNC_ESCAPE) != 0
+      xquote = (func == STR_XQUOTE)
+
+      until scanner.eos?
+        c = nil
+        handled = true
+
+        if check end_str_re
+          # eos
+          # if its just balancing, add it ass normal content..
+          if str_parse[:balance] && (str_parse[:nesting] != 0)
+            # we only checked above, so actually scan it
+            scan end_str_re
+            c = scanner.matched
+            str_parse[:nesting] -= 1
+          else
+            # not balancing, so break (eos!)
+            break
+          end
+
+        elsif str_parse[:balance] and scan Regexp.new(Regexp.escape(str_parse[:paren]))
+          str_parse[:nesting] += 1
+          c = scanner.matched
+
+        elsif qwords && scan(/\s/)
+          pushback(1)
+          break
+        elsif expand && check(/#(?=[\$\@\{])/)
+          break
+        elsif qwords and scan(/\s/)
+          pushback(1)
+          break
+        elsif scan(/\\/)
+          if xquote # opal - treat xstrings as dquotes? forces us to double escape
+            c = "\\" + scan(/./)
+          elsif qwords and scan(/\n/)
+            str_buffer << "\n"
+            next
+          elsif expand and scan(/\n/)
+            next
+          elsif qwords and scan(/\s/)
+            c = ' '
+          elsif regexp
+            if scan(/(.)/)
+              c = "\\" + scanner.matched
+            end
+          elsif expand
+            c = self.read_escape
+          elsif scan(/\n/)
+            # nothing..
+          elsif scan(/\\/)
+            if escape
+              c = "\\\\"
+            else
+              c = scanner.matched
+            end
+          else # \\
+            unless scan(end_str_re)
+              str_buffer << "\\"
+            else
+              #c = scanner.matched
+            end
+          end
+        else
+          handled = false
+        end
+
+        unless handled
+          reg = if qwords
+                  Regexp.new("[^#{Regexp.escape str_parse[:term]}\#\0\n\ \\\\]+|.")
+                elsif str_parse[:balance]
+                  Regexp.new("[^#{Regexp.escape str_parse[:term]}#{Regexp.escape str_parse[:paren]}\#\0\\\\]+|.")
+                else
+                  Regexp.new("[^#{Regexp.escape str_parse[:term]}\#\0\\\\]+|.")
+                end
+
+          scan reg
+          c = scanner.matched
+        end
+
+        c ||= scanner.matched
+        str_buffer << c
+      end
+
+      raise "reached EOF while in string" if scanner.eos?
+    end
+
+    def heredoc_identifier
+      if scan(/(-?)(['"])?(\w+)\2?/)
+        escape_method = (@scanner[2] == "'") ? STR_SQUOTE : STR_DQUOTE
+        heredoc = @scanner[3]
+
+        self.strterm = new_strterm(escape_method, heredoc, heredoc)
+        self.strterm[:type] = :heredoc
+
+        # if ruby code at end of line after heredoc, we have to store it to
+        # parse after heredoc is finished parsing
+        end_of_line = scan(/.*\n/)
+        self.strterm[:scanner] = StringScanner.new(end_of_line) if end_of_line != "\n"
+
+        self.line += 1
+        self.yylval = heredoc
+        return :tSTRING_BEG
+      end
+    end
+
+    def process_identifier(matched, cmd_start)
+      last_state = @lex_state
+
+      if !check(/::/) and scan(/:/)
+        @lex_state = :expr_beg
+        self.yylval = matched
+        return :tLABEL
+      end
+
+      if matched == 'defined?'
+        if after_operator?
+          @lex_state = :expr_end
+          return :tIDENTIFIER
+        end
+
+        @lex_state = :expr_arg
+        return :kDEFINED
+      end
+
+      if matched.end_with? '?', '!'
+        result = :tIDENTIFIER
+      else
+        if @lex_state == :expr_fname
+          if !check(/\=\>/) and scan(/\=/)
+            result = :tIDENTIFIER
+            matched += scanner.matched
+          end
+
+        elsif matched =~ /^[A-Z]/
+          result = :tCONSTANT
+        else
+          result = :tIDENTIFIER
+        end
+      end
+
+      if @lex_state != :expr_dot and kw = Keywords.keyword(matched)
+        old_state = @lex_state
+        @lex_state = kw.state
+
+        if old_state == :expr_fname
+          self.yylval = kw.name
+          return kw.id[0]
+        end
+
+        if @lex_state == :expr_beg
+          cmd_start = true
+        end
+
+        if matched == "do"
+          if after_operator?
+            @lex_state = :expr_end
+            return :tIDENTIFIER
+          end
+
+          if @start_of_lambda
+            @start_of_lambda = false
+            @lex_state = :expr_beg
+            return :kDO_LAMBDA
+          elsif cond?
+            @lex_state = :expr_beg
+            return :kDO_COND
+          elsif cmdarg? && @lex_state != :expr_cmdarg
+            @lex_state = :expr_beg
+            return :kDO_BLOCK
+          elsif @lex_state == :expr_endarg
+            return :kDO_BLOCK
+          else
+            @lex_state = :expr_beg
+            return :kDO
+          end
+        else
+          if old_state == :expr_beg or old_state == :expr_value
+            self.yylval = matched
+            return kw.id[0]
+          else
+            if kw.id[0] != kw.id[1]
+              @lex_state = :expr_beg
+            end
+
+            self.yylval = matched
+            return kw.id[1]
+          end
+        end
+      end
+
+      if [:expr_beg, :expr_dot, :expr_mid, :expr_arg, :expr_cmdarg].include? @lex_state
+        @lex_state = cmd_start ? :expr_cmdarg : :expr_arg
+      else
+        @lex_state = :expr_end
+      end
+
+      if ![:expr_dot, :expr_fname].include?(last_state) and has_local?(matched)
+        @lex_state = :expr_end
+      end
+
+      return matched =~ /^[A-Z]/ ? :tCONSTANT : :tIDENTIFIER
+    end
+
+    def yylex
+      @yylval = ''
+      @space_seen = false
+      cmd_start = false
+      c = ''
+
+      if self.strterm
+        if self.strterm[:type] == :heredoc
+          token = here_document(self.strterm)
+        else
+          token = parse_string
+        end
+
+        if token == :tSTRING_END or token == :tREGEXP_END
+          self.strterm = nil
+          @lex_state = :expr_end
+        end
+
+        return token
+      end
+
+      while true
+        if skip(/\ |\t|\r/)
+          @space_seen = true
+          next
+
+        elsif skip(/(\n|#)/)
+          c = scanner.matched
+          if c == '#'
+            skip(/(.*)/)
+          else
+            self.line += 1
+          end
+
+          skip(/(\n+)/)
+
+          if scanner.matched
+            self.line += scanner.matched.length
+          end
+
+          next if [:expr_beg, :expr_dot].include? @lex_state
+
+          if skip(/([\ \t\r\f\v]*)\./)
+            @space_seen = true unless scanner[1].empty?
+            pushback(1)
+
+            next unless check(/\.\./)
+          end
+
+          cmd_start = true
+          @lex_state = :expr_beg
+          self.yylval = '\\n'
+          return :tNL
+
+        elsif scan(/\;/)
+          @lex_state = :expr_beg
+          return :tSEMI
+
+        elsif check(/\*/)
+          if scan(/\*\*\=/)
+            @lex_state = :expr_beg
+            return new_op_asgn('**')
+          elsif scan(/\*\*/)
+            self.set_arg_state
+            return :tPOW
+          elsif scan(/\*\=/)
+            @lex_state = :expr_beg
+            return new_op_asgn('*')
+          else
+            scan(/\*/)
+
+            if after_operator?
+              @lex_state = :expr_arg
+              return :tSTAR2
+            elsif @space_seen && check(/\S/)
+              @lex_state = :expr_beg
+              return :tSTAR
+            elsif [:expr_beg, :expr_mid].include? @lex_state
+              @lex_state = :expr_beg
+              return :tSTAR
+            else
+              @lex_state = :expr_beg
+              return :tSTAR2
+            end
+          end
+
+        elsif scan(/\!/)
+          if after_operator?
+            @lex_state = :expr_arg
+            if scan(/@/)
+              return :tBANG, '!'
+            end
+          else
+            @lex_state = :expr_beg
+          end
+
+          if scan(/\=/)
+            return :tNEQ
+          elsif scan(/\~/)
+            return :tNMATCH
+          end
+
+          return :tBANG
+
+        elsif scan(/\=/)
+          if @lex_state == :expr_beg and !@space_seen
+            if scan(/begin/) and space?
+              scan(/(.*)/) # end of line
+              line_count = 0
+
+              while true
+                if scanner.eos?
+                  raise "embedded document meets end of file"
+                end
+
+                if scan(/\=end/) and space?
+                  @line += line_count
+                  return yylex
+                end
+
+                if scan(/\n/)
+                  line_count += 1
+                  next
+                end
+
+                scan(/(.*)/)
+              end
+            end
+          end
+
+          self.set_arg_state
+
+          if scan(/\=/)
+            if scan(/\=/)
+              return :tEQQ
+            end
+
+            return :tEQ
+          end
+
+          if scan(/\~/)
+            return :tMATCH
+          elsif scan(/\>/)
+            return :tASSOC
+          end
+
+          return :tEQL
+
+        elsif scan(/\"/)
+          self.strterm = new_strterm(STR_DQUOTE, '"', "\0")
+          return :tSTRING_BEG
+
+        elsif scan(/\'/)
+          self.strterm = new_strterm(STR_SQUOTE, "'", "\0")
+          return :tSTRING_BEG
+
+        elsif scan(/\`/)
+          self.strterm = new_strterm(STR_XQUOTE, "`", "\0")
+          return :tXSTRING_BEG
+
+        elsif scan(/\&/)
+          if scan(/\&/)
+            @lex_state = :expr_beg
+
+            if scan(/\=/)
+              return new_op_asgn('&&')
+            end
+
+            return :tANDOP
+
+          elsif scan(/\=/)
+            @lex_state = :expr_beg
+            return new_op_asgn('&')
+          end
+
+          if spcarg?
+            #puts "warning: `&' interpreted as argument prefix"
+            result = :tAMPER
+          elsif beg?
+            result = :tAMPER
+          else
+            #puts "warn_balanced: & argument prefix"
+            result = :tAMPER2
+          end
+
+          self.set_arg_state
+          return result
+
+        elsif scan(/\|/)
+          if scan(/\|/)
+            @lex_state = :expr_beg
+            if scan(/\=/)
+              return new_op_asgn('||')
+            end
+
+            return :tOROP
+
+          elsif scan(/\=/)
+            return new_op_asgn('|')
+          end
+
+          self.set_arg_state
+          return :tPIPE
+
+        elsif scan(/\%[QqWwixr]/)
+          str_type = scanner.matched[1, 1]
+          paren = term = scan(/./)
+
+          case term
+          when '(' then term = ')'
+          when '[' then term = ']'
+          when '{' then term = '}'
+          when '<' then term = '>'
+          else paren = "\0"
+          end
+
+          token, func = case str_type
+                        when 'Q'
+                          [:tSTRING_BEG, STR_DQUOTE]
+                        when 'q'
+                          [:tSTRING_BEG, STR_SQUOTE]
+                        when 'W'
+                          skip(/\s*/)
+                          [:tWORDS_BEG, STR_DWORD]
+                        when 'w', 'i'
+                          skip(/\s*/)
+                          [:tAWORDS_BEG, STR_SWORD]
+                        when 'x'
+                          [:tXSTRING_BEG, STR_XQUOTE]
+                        when 'r'
+                          [:tREGEXP_BEG, STR_REGEXP]
+                        end
+
+          self.strterm = new_strterm2(func, term, paren)
+          return token
+
+        elsif scan(/\//)
+          if beg?
+            self.strterm = new_strterm(STR_REGEXP, '/', '/')
+            return :tREGEXP_BEG
+          elsif scan(/\=/)
+            @lex_state = :expr_beg
+            return new_op_asgn('/')
+          elsif after_operator?
+            @lex_state = :expr_arg
+          elsif arg?
+            if !check(/\s/) && @space_seen
+              self.strterm = new_strterm(STR_REGEXP, '/', '/')
+              return :tREGEXP_BEG
+            end
+          else
+            @lex_state = :expr_beg
+          end
+
+          return :tDIVIDE
+
+        elsif scan(/\%/)
+          if scan(/\=/)
+            @lex_state = :expr_beg
+            return new_op_asgn('%')
+          elsif check(/[^\s]/)
+            if @lex_state == :expr_beg or (@lex_state == :expr_arg && @space_seen)
+              start_word  = scan(/./)
+              end_word    = { '(' => ')', '[' => ']', '{' => '}' }[start_word] || start_word
+              self.strterm = new_strterm2(STR_DQUOTE, end_word, start_word)
+              return :tSTRING_BEG
+            end
+          end
+
+          self.set_arg_state
+
+          return :tPERCENT
+
+        elsif scan(/\\/)
+          if scan(/\r?\n/)
+            @space_seen = true
+            next
+          end
+
+          raise SyntaxError, "backslash must appear before newline :#{@file}:#{@line}"
+
+        elsif scan(/\(/)
+          result = scanner.matched
+          if beg?
+            result = :tLPAREN
+          elsif @space_seen && arg?
+            result = :tLPAREN_ARG
+          else
+            result = :tLPAREN2
+          end
+
+          @lex_state = :expr_beg
+          cond_push 0
+          cmdarg_push 0
+
+          return result
+
+        elsif scan(/\)/)
+          cond_lexpop
+          cmdarg_lexpop
+          @lex_state = :expr_end
+          return :tRPAREN
+
+        elsif scan(/\[/)
+          result = scanner.matched
+
+          if after_operator?
+            @lex_state = :expr_arg
+            if scan(/\]=/)
+              return :tASET
+            elsif scan(/\]/)
+              return :tAREF
+            else
+              raise "Unexpected '[' token"
+            end
+          elsif beg?
+            result = :tLBRACK
+          elsif arg? && @space_seen
+            result =  :tLBRACK
+          else
+            result = :tLBRACK2
+          end
+
+          @lex_state = :expr_beg
+          cond_push 0
+          cmdarg_push 0
+          return result
+
+        elsif scan(/\]/)
+          cond_lexpop
+          cmdarg_lexpop
+          @lex_state = :expr_end
+          return :tRBRACK
+
+        elsif scan(/\}/)
+          cond_lexpop
+          cmdarg_lexpop
+          @lex_state = :expr_end
+
+          return :tRCURLY
+
+        elsif scan(/\.\.\./)
+          @lex_state = :expr_beg
+          return :tDOT3
+
+        elsif scan(/\.\./)
+          @lex_state = :expr_beg
+          return :tDOT2
+
+        elsif scan(/\./)
+          @lex_state = :expr_dot unless @lex_state == :expr_fname
+          return :tDOT
+
+        elsif scan(/\:\:/)
+          if beg?
+            @lex_state = :expr_beg
+            return :tCOLON3
+          elsif spcarg?
+            @lex_state = :expr_beg
+            return :tCOLON3
+          end
+
+          @lex_state = :expr_dot
+          return :tCOLON2
+
+        elsif scan(/\:/)
+          if end? || check(/\s/)
+            unless check(/\w/)
+              @lex_state = :expr_beg
+              return :tCOLON
+            end
+
+            @lex_state = :expr_fname
+            return :tSYMBEG
+          end
+
+          if scan(/\'/)
+            self.strterm = new_strterm(STR_SSYM, "'", "\0")
+          elsif scan(/\"/)
+            self.strterm = new_strterm(STR_DSYM, '"', "\0")
+          end
+
+          @lex_state = :expr_fname
+          return :tSYMBEG
+
+        elsif scan(/\^\=/)
+          @lex_state = :expr_beg
+          return new_op_asgn('^')
+
+        elsif scan(/\^/)
+          self.set_arg_state
+          return :tCARET
+
+        elsif check(/\</)
+          if scan(/\<\<\=/)
+            @lex_state = :expr_beg
+            return new_op_asgn('<<')
+
+          elsif scan(/\<\</)
+            if after_operator?
+              @lex_state = :expr_arg
+              return :tLSHFT
+            elsif !after_operator? && !end? && (!arg? || @space_seen)
+              if token = heredoc_identifier
+                return token
+              end
+
+              @lex_state = :expr_beg
+              return :tLSHFT
+            end
+            @lex_state = :expr_beg
+            return :tLSHFT
+          elsif scan(/\<\=\>/)
+            if after_operator?
+              @lex_state = :expr_arg
+            else
+              if @lex_state == :expr_class
+                cmd_start = true
+              end
+
+              @lex_state = :expr_beg
+            end
+
+            return :tCMP
+          elsif scan(/\<\=/)
+            self.set_arg_state
+            return :tLEQ
+
+          elsif scan(/\</)
+            self.set_arg_state
+            return :tLT
+          end
+
+        elsif check(/\>/)
+          if scan(/\>\>\=/)
+            return new_op_asgn('>>')
+
+          elsif scan(/\>\>/)
+            self.set_arg_state
+            return :tRSHFT
+
+          elsif scan(/\>\=/)
+            self.set_arg_state
+            return :tGEQ
+
+          elsif scan(/\>/)
+            self.set_arg_state
+            return :tGT
+          end
+
+        elsif scan(/->/)
+          # FIXME: # should be :expr_arg, but '(' breaks it...
+          @lex_state = :expr_end
+          @start_of_lambda = true
+          return :tLAMBDA
+
+        elsif scan(/[+-]/)
+          matched = scanner.matched
+          sign, utype = if matched == '+'
+                          [:tPLUS, :tUPLUS]
+                        else
+                          [:tMINUS, :tUMINUS]
+                        end
+
+          if beg?
+            @lex_state = :expr_mid
+            self.yylval = matched
+            if scanner.peek(1) =~ /\d/ and
+              return utype == :tUMINUS ? '-@NUM' : '+@NUM'
+            else
+              return utype
+            end
+          elsif after_operator?
+            @lex_state = :expr_arg
+            if scan(/@/)
+              self.yylval = matched + '@'
+              return :tIDENTIFIER
+            end
+
+            self.yylval = matched
+            return sign
+          end
+
+          if scan(/\=/)
+            @lex_state = :expr_beg
+            return new_op_asgn(matched)
+          end
+
+          if spcarg?
+            @lex_state = :expr_mid
+            self.yylval = matched
+            return utype
+          end
+
+          @lex_state = :expr_beg
+          self.yylval = matched
+          return sign
+
+        elsif scan(/\?/)
+          if end?
+            @lex_state = :expr_beg
+            return :tEH
+          end
+
+          if check(/\ |\t|\r|\s/)
+            @lex_state = :expr_beg
+            return :tEH
+          elsif scan(/\\/)
+            @lex_state = :expr_end
+            self.yylval = self.read_escape
+            return :tSTRING
+          end
+
+          @lex_state = :expr_end
+          self.yylval = scan(/./)
+          return :tSTRING
+
+        elsif scan(/\~/)
+          self.set_arg_state
+          return :tTILDE
+
+        elsif check(/\$/)
+          if scan(/\$([1-9]\d*)/)
+            @lex_state = :expr_end
+            self.yylval = scanner.matched.sub('$', '')
+            return :tNTH_REF
+
+          elsif scan(/(\$_)(\w+)/)
+            @lex_state = :expr_end
+            return :tGVAR
+
+          elsif scan(/\$[\+\'\`\&!@\"~*$?\/\\:;=.,<>_]/)
+            @lex_state = :expr_end
+            return :tGVAR
+          elsif scan(/\$\w+/)
+            @lex_state = :expr_end
+            return :tGVAR
+          else
+            raise "Bad gvar name: #{scanner.peek(5).inspect}"
+          end
+
+        elsif scan(/\$\w+/)
+          @lex_state = :expr_end
+          return :tGVAR
+
+        elsif scan(/\@\@\w*/)
+          @lex_state = :expr_end
+          return :tCVAR
+
+        elsif scan(/\@\w*/)
+          @lex_state = :expr_end
+          return :tIVAR
+
+        elsif scan(/\,/)
+          @lex_state = :expr_beg
+          return :tCOMMA
+
+        elsif scan(/\{/)
+          if @start_of_lambda
+            @start_of_lambda = false
+            @lex_state = :expr_beg
+            return :tLAMBEG
+
+          elsif arg? or @lex_state == :expr_end
+            result = :tLCURLY
+          elsif @lex_state == :expr_endarg
+            result = :LBRACE_ARG
+          else
+            result = :tLBRACE
+          end
+
+          @lex_state = :expr_beg
+          cond_push 0
+          cmdarg_push 0
+          return result
+
+        elsif scanner.bol? and skip(/\__END__(\n|$)/)
+          while true
+            if scanner.eos?
+              @eof_content = self.yylval
+              return false
+            end
+
+            scan(/(.*)/)
+            scan(/\n/)
+          end
+
+        elsif check(/[0-9]/)
+          return process_numeric
+
+        elsif scan(/(\w)+[\?\!]?/)
+          return process_identifier scanner.matched, cmd_start
+        end
+
+        if scanner.eos?
+          if @scanner_stack.size == 1 # our main scanner, we cant pop this
+            self.yylval = false
+            return false
+          else # we were probably parsing a heredoc, so pop that parser and continue
+            @scanner_stack.pop
+            @scanner = @scanner_stack.last
+            return yylex
+          end
+        end
+
+        raise "Unexpected content in parsing stream `#{scanner.peek 5}` :#{@file}:#{@line}"
+      end
+    end
+  end
+end