Class: RubyLexer

Inherits:
Object
  • Object
show all
Defined in:
lib/ruby_lexer.rex.rb,
lib/ruby_lexer.rb,
lib/ruby_lexer.rb

Overview

lexical scanner definition for ruby

Defined Under Namespace

Classes: LexerError, ScanError

Constant Summary collapse

HAS_ENC =

:stopdoc:

"".respond_to? :encoding
IDENT_CHAR = 
if HAS_ENC then
  /[\w\u0080-\u{10ffff}]/u
else
  /[\w\x80-\xFF]/n
end
EOF = 
:eof_haha!
STR_FUNC_BORING =

ruby constants for strings (should this be moved somewhere else?)

0x00
STR_FUNC_ESCAPE =

TODO: remove and replace with REGEXP

0x01
STR_FUNC_EXPAND = 
0x02
STR_FUNC_REGEXP = 
0x04
STR_FUNC_QWORDS = 
0x08
STR_FUNC_SYMBOL = 
0x10
STR_FUNC_INDENT =

<<-HEREDOC

0x20
STR_FUNC_ICNTNT =

<<~HEREDOC

0x40
STR_SQUOTE = 
STR_FUNC_BORING
STR_DQUOTE = 
STR_FUNC_BORING | STR_FUNC_EXPAND
STR_XQUOTE = 
STR_FUNC_BORING | STR_FUNC_EXPAND
STR_REGEXP = 
STR_FUNC_REGEXP | STR_FUNC_ESCAPE | STR_FUNC_EXPAND
STR_SSYM = 
STR_FUNC_SYMBOL
STR_DSYM = 
STR_FUNC_SYMBOL | STR_FUNC_EXPAND
EXPR_BEG_ANY = 
[:expr_beg, :expr_mid,  :expr_class  ]
EXPR_ARG_ANY = 
[:expr_arg, :expr_cmdarg,            ]
EXPR_END_ANY = 
[:expr_end, :expr_endarg, :expr_endfn]
ESCAPES = 
{
  "a"    => "\007",
  "b"    => "\010",
  "e"    => "\033",
  "f"    => "\f",
  "n"    => "\n",
  "r"    => "\r",
  "s"    => " ",
  "t"    => "\t",
  "v"    => "\13",
  "\\"   => '\\',
  "\n"   => "",
  "C-\?" => 127.chr,
  "c\?"  => 127.chr,
}
TOKENS = 
{
  "!"   => :tBANG,
  "!="  => :tNEQ,
  # "!@"  => :tUBANG,
  "!~"  => :tNMATCH,
  ","   => :tCOMMA,
  ".."  => :tDOT2,
  "..." => :tDOT3,
  "="   => :tEQL,
  "=="  => :tEQ,
  "===" => :tEQQ,
  "=>"  => :tASSOC,
  "=~"  => :tMATCH,
  "->"  => :tLAMBDA,
}
TAB_WIDTH = 
8
IDENT = 
/^#{IDENT_CHAR}+/o
ESC = 
/\\((?>[0-7]{1,3}|x[0-9a-fA-F]{1,2}|M-[^\\]|(C-|c)[^\\]|u[0-9a-fA-F]+|u\{[0-9a-fA-F]+\}|[^0-7xMCc]))/
SIMPLE_STRING = 
/((#{ESC}|\#(#{ESC}|[^\{\#\@\$\"\\])|[^\"\\\#])*)/o
SSTRING = 
/((\\.|[^\'])*)/
INT_DEC = 
/[+]?(?:(?:[1-9][\d_]*|0)(?!\.\d)(ri|r|i)?\b|0d[0-9_]+)(ri|r|i)?/i
INT_HEX = 
/[+]?0x[a-f0-9_]+(ri|r|i)?/i
INT_BIN = 
/[+]?0b[01_]+(ri|r|i)?/i
INT_OCT = 
/[+]?0o?[0-7_]+(ri|r|i)?|0o(ri|r|i)?/i
FLOAT = 
/[+]?\d[\d_]*\.[\d_]+(e[+-]?[\d_]+)?(?:(ri|r|i)\b)?|[+]?[\d_]+e[+-]?[\d_]+(?:(ri|r|i)\b)?/i
INT_DEC2 = 
/[+]?\d[0-9_]*(?![e])((ri|r|i)\b)?/i
NUM_BAD = 
/[+]?0[xbd]\b/i
INT_OCT_BAD = 
/[+]?0o?[0-7_]*[89]/i
FLOAT_BAD = 
/[+]?\d[\d_]*_(e|\.)/i
@@regexp_cache = 
Hash.new { |h,k| h[k] = Regexp.new(Regexp.escape(k)) }

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(_ = nil) ⇒ RubyLexer

Returns a new instance of RubyLexer.



118
119
120
121
122
123
124
125
 
# File 'lib/ruby_lexer.rb', line 118

def initialize _ = nil
  @lex_state = :expr_none

  self.cond   = RubyParserStuff::StackState.new(:cond, $DEBUG)
  self.cmdarg = RubyParserStuff::StackState.new(:cmdarg, $DEBUG)

  reset
end

Instance Attribute Details

#brace_nest ⇒ Object

Returns the value of attribute brace_nest.



81
82
83
 
# File 'lib/ruby_lexer.rb', line 81

def brace_nest
  @brace_nest
end

#cmd_state ⇒ Object

temporary–ivar to avoid passing everywhere



84
85
86
 
# File 'lib/ruby_lexer.rb', line 84

def cmd_state
  @cmd_state
end

#cmdarg ⇒ Object

Returns the value of attribute cmdarg.



82
83
84
 
# File 'lib/ruby_lexer.rb', line 82

def cmdarg
  @cmdarg
end

#command_start ⇒ Object

Returns the value of attribute command_start.



83
84
85
 
# File 'lib/ruby_lexer.rb', line 83

def command_start
  @command_start
end

#comments ⇒ Object

TODO: remove this… maybe comment_string + attr_accessor



140
141
142
143
144
 
# File 'lib/ruby_lexer.rb', line 140

def comments # TODO: remove this... maybe comment_string + attr_accessor
  c = @comments.join
  @comments.clear
  c
end

#cond ⇒ Object

Returns the value of attribute cond.



86
87
88
 
# File 'lib/ruby_lexer.rb', line 86

def cond
  @cond
end

#extra_lineno ⇒ Object

Returns the value of attribute extra_lineno.



87
88
89
 
# File 'lib/ruby_lexer.rb', line 87

def extra_lineno
  @extra_lineno
end

#filename ⇒ Object

Returns the value of attribute filename.



31
32
33
 
# File 'lib/ruby_lexer.rex.rb', line 31

def filename
  @filename
end

#last_state ⇒ Object

Returns the value of attribute last_state.



85
86
87
 
# File 'lib/ruby_lexer.rb', line 85

def last_state
  @last_state
end

#lex_state ⇒ Object

Additional context surrounding tokens that both the lexer and grammar use.



93
94
95
 
# File 'lib/ruby_lexer.rb', line 93

def lex_state
  @lex_state
end

#lex_strterm ⇒ Object

Returns the value of attribute lex_strterm.



94
95
96
 
# File 'lib/ruby_lexer.rb', line 94

def lex_strterm
  @lex_strterm
end

#lineno ⇒ Object

:startdoc:



80
81
82
 
# File 'lib/ruby_lexer.rb', line 80

def lineno
  @lineno
end

#lpar_beg ⇒ Object

Returns the value of attribute lpar_beg.



95
96
97
 
# File 'lib/ruby_lexer.rb', line 95

def lpar_beg
  @lpar_beg
end

#paren_nest ⇒ Object

Returns the value of attribute paren_nest.



96
97
98
 
# File 'lib/ruby_lexer.rb', line 96

def paren_nest
  @paren_nest
end

#parser ⇒ Object

HACK for very end of lexer… sigh



97
98
99
 
# File 'lib/ruby_lexer.rb', line 97

def parser
  @parser
end

#space_seen ⇒ Object

Returns the value of attribute space_seen.



98
99
100
 
# File 'lib/ruby_lexer.rb', line 98

def space_seen
  @space_seen
end

#ss ⇒ Object Also known as: match

Returns the value of attribute ss.



32
33
34
 
# File 'lib/ruby_lexer.rex.rb', line 32

def ss
  @ss
end

#state ⇒ Object

Returns the value of attribute state.



33
34
35
 
# File 'lib/ruby_lexer.rex.rb', line 33

def state
  @state
end

#string_buffer ⇒ Object

Returns the value of attribute string_buffer.



99
100
101
 
# File 'lib/ruby_lexer.rb', line 99

def string_buffer
  @string_buffer
end

#string_nest ⇒ Object

Returns the value of attribute string_nest.



100
101
102
 
# File 'lib/ruby_lexer.rb', line 100

def string_nest
  @string_nest
end

#token ⇒ Object

Last token read via next_token.



114
115
116
 
# File 'lib/ruby_lexer.rb', line 114

def token
  @token
end

Instance Method Details

#action ⇒ Object 



43
44
45
 
# File 'lib/ruby_lexer.rex.rb', line 43

def action
  yield
end

#arg_ambiguous ⇒ Object 



127
128
129
 
# File 'lib/ruby_lexer.rb', line 127

def arg_ambiguous
  self.warning("Ambiguous first argument. make sure.")
end

#arg_state ⇒ Object 



131
132
133
 
# File 'lib/ruby_lexer.rb', line 131

def arg_state
  in_arg_state? ? :expr_arg : :expr_beg
end

#beginning_of_line? ⇒ Boolean Also known as: bol?

Returns:

  • (Boolean) 


135
136
137
 
# File 'lib/ruby_lexer.rb', line 135

def beginning_of_line?
  ss.bol?
end

#check(re) ⇒ Object 



1001
1002
1003
 
# File 'lib/ruby_lexer.rb', line 1001

def check re
  ss.check re
end

#d(o) ⇒ Object 



1347
1348
1349
 
# File 'lib/ruby_lexer.rb', line 1347

def d o
  $stderr.puts o.inspect
end

#dedent_string(string, width) ⇒ Object 



234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
 
# File 'lib/ruby_lexer.rb', line 234

def dedent_string(string, width)
  characters_skipped = 0
  indentation_skipped = 0

  string.chars.each do |char|
    break if indentation_skipped >= width
    if char == ' '
      characters_skipped += 1
      indentation_skipped += 1
    elsif char == "\t"
      proposed = TAB_WIDTH * (indentation_skipped / TAB_WIDTH + 1)
      break if (proposed > width)
      characters_skipped += 1
      indentation_skipped = proposed
    end
  end
  string[characters_skipped..-1]
end

#eat_whitespace ⇒ Object 



1005
1006
1007
1008
1009
 
# File 'lib/ruby_lexer.rb', line 1005

def eat_whitespace
  r = scan(/\s+/)
  self.extra_lineno += r.count("\n") if r
  r
end

#end_of_stream? ⇒ Boolean

Returns:

  • (Boolean) 


146
147
148
 
# File 'lib/ruby_lexer.rb', line 146

def end_of_stream?
  ss.eos?
end

#expr_dot? ⇒ Boolean

Returns:

  • (Boolean) 


150
151
152
 
# File 'lib/ruby_lexer.rb', line 150

def expr_dot?
  lex_state == :expr_dot
end

#expr_fname? ⇒ Boolean

Returns:

  • (Boolean) 


154
155
156
 
# File 'lib/ruby_lexer.rb', line 154

def expr_fname?
  lex_state == :expr_fname
end

#expr_result(token, text) ⇒ Object 



158
159
160
161
162
 
# File 'lib/ruby_lexer.rb', line 158

def expr_result token, text
  cond.push false
  cmdarg.push false
  result :expr_beg, token, text
end

#fixup_lineno(extra = 0) ⇒ Object 



1011
1012
1013
1014
 
# File 'lib/ruby_lexer.rb', line 1011

def fixup_lineno extra = 0
  self.lineno += self.extra_lineno + extra
  self.extra_lineno = 0
end

#heredoc(here) ⇒ Object

TODO: rewrite / remove



164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
 
# File 'lib/ruby_lexer.rb', line 164

def heredoc here # TODO: rewrite / remove
  _, eos, func, last_line = here

  indent         = (func & STR_FUNC_INDENT) != 0 ? "[ \t]*" : nil
  content_indent = (func & STR_FUNC_ICNTNT) != 0
  expand         = (func & STR_FUNC_EXPAND) != 0
  eos_re         = /#{indent}#{Regexp.escape eos}(\r*\n|\z)/
  err_msg        = "can't match #{eos_re.inspect} anywhere in "

  rb_compile_error err_msg if end_of_stream?

  if beginning_of_line? && scan(eos_re) then
    self.lineno += 1
    ss.unread_many last_line # TODO: figure out how to remove this
    return :tSTRING_END, eos
  end

  self.string_buffer = []

  if expand then
    case
    when scan(/#[$@]/) then
      ss.pos -= 1 # FIX omg stupid
      return :tSTRING_DVAR, matched
    when scan(/#[{]/) then
      return :tSTRING_DBEG, matched
    when scan(/#/) then
      string_buffer << '#'
    end

    begin
      c = tokadd_string func, "\n", nil

      rb_compile_error err_msg if
        c == RubyLexer::EOF

      if c != "\n" then
        return :tSTRING_CONTENT, string_buffer.join.delete("\r")
      else
        string_buffer << scan(/\n/)
      end

      rb_compile_error err_msg if end_of_stream?
    end until check(eos_re)
  else
    until check(eos_re) do
      string_buffer << scan(/.*(\n|\z)/)
      rb_compile_error err_msg if end_of_stream?
    end
  end

  self.lex_strterm = [:heredoc, eos, func, last_line]

  string_content = string_buffer.join.delete("\r")

  string_content = heredoc_dedent(string_content) if content_indent && ruby23plus?

  return :tSTRING_CONTENT, string_content
end

#heredoc_dedent(string_content) ⇒ Object 



224
225
226
227
228
229
230
231
232
 
# File 'lib/ruby_lexer.rb', line 224

def heredoc_dedent(string_content)
  width = string_content.scan(/^[ \t]*(?=\S)/).map do |whitespace|
    heredoc_whitespace_indent_size whitespace
  end.min || 0

  string_content.split("\n", -1).map do |line|
    dedent_string line, width
  end.join "\n"
end

#heredoc_identifier ⇒ Object

TODO: remove / rewrite



263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
 
# File 'lib/ruby_lexer.rb', line 263

def heredoc_identifier # TODO: remove / rewrite
  term, func = nil, STR_FUNC_BORING
  self.string_buffer = []

  heredoc_indent_mods = '-'
  heredoc_indent_mods += '\~' if ruby23plus?

  case
  when scan(/([#{heredoc_indent_mods}]?)([\'\"\`])(.*?)\2/) then
    term = ss[2]
    func |= STR_FUNC_INDENT unless ss[1].empty?
    func |= STR_FUNC_ICNTNT if ss[1] == '~'
    func |= case term
            when "\'" then
              STR_SQUOTE
            when '"' then
              STR_DQUOTE
            else
              STR_XQUOTE
            end
    string_buffer << ss[3]
  when scan(/[#{heredoc_indent_mods}]?([\'\"\`])(?!\1*\Z)/) then
    rb_compile_error "unterminated here document identifier"
  when scan(/([#{heredoc_indent_mods}]?)(#{IDENT_CHAR}+)/) then
    term = '"'
    func |= STR_DQUOTE
    unless ss[1].empty? then
      func |= STR_FUNC_INDENT
      func |= STR_FUNC_ICNTNT if ss[1] == '~'
    end
    string_buffer << ss[2]
  else
    return nil
  end

  if scan(/.*\n/) then
    # TODO: think about storing off the char range instead
    line = matched
  else
    line = nil
  end

  self.lex_strterm = [:heredoc, string_buffer.join, func, line]

  if term == '`' then
    result nil, :tXSTRING_BEG, "`"
  else
    result nil, :tSTRING_BEG, "\""
  end
end

#heredoc_whitespace_indent_size(whitespace) ⇒ Object 



253
254
255
256
257
258
259
260
261
 
# File 'lib/ruby_lexer.rb', line 253

def heredoc_whitespace_indent_size(whitespace)
  whitespace.chars.inject 0 do |size, char|
    if char == "\t"
      size + TAB_WIDTH
    else
      size + 1
    end
  end
end

#in_arg_state? ⇒ Boolean

TODO: rename is_after_operator?

Returns:

  • (Boolean) 


318
319
320
 
# File 'lib/ruby_lexer.rb', line 318

def in_arg_state? # TODO: rename is_after_operator?
  in_lex_state? :expr_fname, :expr_dot
end

#in_fname? ⇒ Boolean

Returns:

  • (Boolean) 


314
315
316
 
# File 'lib/ruby_lexer.rb', line 314

def in_fname?
  in_lex_state? :expr_fname
end

#in_lex_state?(*states) ⇒ Boolean

Returns:

  • (Boolean) 


322
323
324
 
# File 'lib/ruby_lexer.rb', line 322

def in_lex_state?(*states)
  states.include? lex_state
end

#int_with_base(base) ⇒ Object 



326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
 
# File 'lib/ruby_lexer.rb', line 326

def int_with_base base
  rb_compile_error "Invalid numeric format" if matched =~ /__/

  text = matched
  case
  when text.end_with?('ri')
    return result(:expr_end, :tIMAGINARY, Complex(0, Rational(text.chop.chop.to_i(base))))
  when text.end_with?('r')
    return result(:expr_end, :tRATIONAL, Rational(text.chop.to_i(base)))
  when text.end_with?('i')
    return result(:expr_end, :tIMAGINARY, Complex(0, text.chop.to_i(base)))
  else
    return result(:expr_end, :tINTEGER, text.to_i(base))
  end
end

#is_arg? ⇒ Boolean

Returns:

  • (Boolean) 


342
343
344
 
# File 'lib/ruby_lexer.rb', line 342

def is_arg?
  in_lex_state?(*EXPR_ARG_ANY)
end

#is_beg? ⇒ Boolean

Returns:

  • (Boolean) 


346
347
348
349
 
# File 'lib/ruby_lexer.rb', line 346

def is_beg?
  # TODO: in_lex_state?(*EXPR_BEG_ANY) || lex_state == [:expr_arg, :expr_labeled]
  in_lex_state?(*EXPR_BEG_ANY, :expr_value, :expr_labeled)
end

#is_end? ⇒ Boolean

Returns:

  • (Boolean) 


351
352
353
 
# File 'lib/ruby_lexer.rb', line 351

def is_end?
  in_lex_state?(*EXPR_END_ANY)
end

#is_label_possible? ⇒ Boolean

Returns:

  • (Boolean) 


365
366
367
 
# File 'lib/ruby_lexer.rb', line 365

def is_label_possible?
  (in_lex_state?(:expr_beg, :expr_endfn) && !cmd_state) || is_arg?
end

#is_label_suffix? ⇒ Boolean

Returns:

  • (Boolean) 


369
370
371
 
# File 'lib/ruby_lexer.rb', line 369

def is_label_suffix?
  check(/:(?!:)/)
end

#is_space_arg?(c = "x") ⇒ Boolean

Returns:

  • (Boolean) 


373
374
375
 
# File 'lib/ruby_lexer.rb', line 373

def is_space_arg? c = "x"
  is_arg? and space_seen and c !~ /\s/
end

#lambda_beginning? ⇒ Boolean

Returns:

  • (Boolean) 


377
378
379
 
# File 'lib/ruby_lexer.rb', line 377

def lambda_beginning?
  lpar_beg && lpar_beg == paren_nest
end

#location ⇒ Object 



65
66
67
68
69
 
# File 'lib/ruby_lexer.rex.rb', line 65

def location
  [
    (filename || "<input>"),
  ].compact.join(":")
end

#lvar_defined?(id) ⇒ Boolean

Returns:

  • (Boolean) 


355
356
357
358
 
# File 'lib/ruby_lexer.rb', line 355

def lvar_defined? id
  # TODO: (dyna_in_block? && dvar_defined?(id)) || local_id?(id)
  self.parser.env[id.to_sym] == :lvar
end

#matched ⇒ Object 



381
382
383
 
# File 'lib/ruby_lexer.rb', line 381

def matched
  ss.matched
end

#matches ⇒ Object 



37
38
39
40
41
 
# File 'lib/ruby_lexer.rex.rb', line 37

def matches
  m = (1..9).map { |i| ss[i] }
  m.pop until m[-1] or m.empty?
  m
end

#next_token ⇒ Object 



71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
 
# File 'lib/ruby_lexer.rex.rb', line 71

def next_token
  return process_string if lex_strterm
  self.cmd_state = self.command_start
  self.command_start = false
  self.space_seen    = false # TODO: rename token_seen?
  self.last_state    = lex_state

  token = nil

  until ss.eos? or token do
    token =
      case state
      when nil then
        case
        when ss.skip(/[\ \t\r\f\v]/) then
          action { self.space_seen = true; next }
        when text = ss.scan(/\n|\#/) then
          process_newline_or_comment text
        when text = ss.scan(/[\]\)\}]/) then
          process_brace_close text
        when ss.match?(/\!/) then
          case
          when in_arg_state? && (ss.skip(/\!\@/)) then
            action { result :expr_arg, :tUBANG, "!@" }
          when text = ss.scan(/\![=~]?/) then
            action { result :arg_state, TOKENS[text], text }
          end # group /\!/
        when ss.match?(/\./) then
          case
          when text = ss.scan(/\.\.\.?/) then
            action { result :expr_beg, TOKENS[text], text }
          when ss.skip(/\.\d/) then
            action { rb_compile_error "no .<digit> floating literal anymore put 0 before dot" }
          when ss.skip(/\./) then
            action { self.lex_state = :expr_beg; result :expr_dot, :tDOT, "." }
          end # group /\./
        when text = ss.scan(/\(/) then
          process_paren text
        when text = ss.scan(/\,/) then
          action { result :expr_beg, TOKENS[text], text }
        when ss.match?(/=/) then
          case
          when text = ss.scan(/\=\=\=|\=\=|\=~|\=>|\=(?!begin\b)/) then
            action { result arg_state, TOKENS[text], text }
          when bol? && (text = ss.scan(/\=begin(?=\s)/)) then
            process_begin text
          when text = ss.scan(/\=(?=begin\b)/) then
            action { result arg_state, TOKENS[text], text }
          end # group /=/
        when ruby22_label? && (text = ss.scan(/\"#{SIMPLE_STRING}\":/o)) then
          process_label text
        when text = ss.scan(/\"(#{SIMPLE_STRING})\"/o) then
          action { result :expr_end, :tSTRING, text[1..-2].gsub(ESC) { unescape $1 } }
        when text = ss.scan(/\"/) then
          action { string STR_DQUOTE; result nil, :tSTRING_BEG, text }
        when text = ss.scan(/\@\@?\d/) then
          action { rb_compile_error "`#{text}` is not allowed as a variable name" }
        when text = ss.scan(/\@\@?#{IDENT_CHAR}+/o) then
          process_ivar text
        when ss.match?(/:/) then
          case
          when not_end? && (text = ss.scan(/:([a-zA-Z_]#{IDENT_CHAR}*(?:[?]|[!](?!=)|=(?==>)|=(?![=>]))?)/o)) then
            process_symbol text
          when not_end? && (text = ss.scan(/\:\"(#{SIMPLE_STRING})\"/o)) then
            process_symbol text
          when not_end? && (text = ss.scan(/\:\'(#{SSTRING})\'/o)) then
            process_symbol text
          when text = ss.scan(/\:\:/) then
            process_colon2 text
          when text = ss.scan(/\:/) then
            process_colon1 text
          end # group /:/
        when ss.skip(/->/) then
          action { result :expr_endfn, :tLAMBDA, nil }
        when text = ss.scan(/[+-]/) then
          process_plus_minus text
        when ss.match?(/[+\d]/) then
          case
          when ss.skip(/#{NUM_BAD}/o) then
            action { rb_compile_error "Invalid numeric format"  }
          when ss.skip(/#{INT_DEC}/o) then
            action { int_with_base 10                           }
          when ss.skip(/#{INT_HEX}/o) then
            action { int_with_base 16                           }
          when ss.skip(/#{INT_BIN}/o) then
            action { int_with_base 2                            }
          when ss.skip(/#{INT_OCT_BAD}/o) then
            action { rb_compile_error "Illegal octal digit."    }
          when ss.skip(/#{INT_OCT}/o) then
            action { int_with_base 8                            }
          when ss.skip(/#{FLOAT_BAD}/o) then
            action { rb_compile_error "Trailing '_' in number." }
          when text = ss.scan(/#{FLOAT}/o) then
            process_float text
          when ss.skip(/#{INT_DEC2}/o) then
            action { int_with_base 10                           }
          when ss.skip(/[0-9]/) then
            action { rb_compile_error "Bad number format" }
          end # group /[+\d]/
        when text = ss.scan(/\[/) then
          process_square_bracket text
        when was_label? && (text = ss.scan(/\'#{SSTRING}\':?/o)) then
          process_label_or_string text
        when ss.match?(/\|/) then
          case
          when ss.skip(/\|\|\=/) then
            action { result :expr_beg, :tOP_ASGN, "||" }
          when ss.skip(/\|\|/) then
            action { result :expr_beg, :tOROP,    "||" }
          when ss.skip(/\|\=/) then
            action { result :expr_beg, :tOP_ASGN, "|" }
          when ss.skip(/\|/) then
            action { result :arg_state, :tPIPE,    "|" }
          end # group /\|/
        when text = ss.scan(/\{/) then
          process_brace_open text
        when ss.match?(/\*/) then
          case
          when ss.skip(/\*\*=/) then
            action { result :expr_beg, :tOP_ASGN, "**" }
          when ss.skip(/\*\*/) then
            action { result(:arg_state, space_vs_beginning(:tDSTAR, :tDSTAR, :tPOW), "**") }
          when ss.skip(/\*\=/) then
            action { result(:expr_beg, :tOP_ASGN, "*") }
          when ss.skip(/\*/) then
            action { result(:arg_state, space_vs_beginning(:tSTAR, :tSTAR, :tSTAR2), "*") }
          end # group /\*/
        when ss.match?(/</) then
          case
          when ss.skip(/\<\=\>/) then
            action { result :arg_state, :tCMP, "<=>"    }
          when ss.skip(/\<\=/) then
            action { result :arg_state, :tLEQ, "<="     }
          when ss.skip(/\<\<\=/) then
            action { result :expr_beg,  :tOP_ASGN, "<<" }
          when text = ss.scan(/\<\</) then
            process_lchevron text
          when ss.skip(/\</) then
            action { result :arg_state, :tLT, "<"       }
          end # group /</
        when ss.match?(/>/) then
          case
          when ss.skip(/\>\=/) then
            action { result :arg_state, :tGEQ, ">="     }
          when ss.skip(/\>\>=/) then
            action { result :expr_beg,  :tOP_ASGN, ">>" }
          when ss.skip(/\>\>/) then
            action { result :arg_state, :tRSHFT, ">>"   }
          when ss.skip(/\>/) then
            action { result :arg_state, :tGT, ">"       }
          end # group />/
        when ss.match?(/\`/) then
          case
          when expr_fname? && (ss.skip(/\`/)) then
            action { result(:expr_end, :tBACK_REF2, "`") }
          when expr_dot? && (ss.skip(/\`/)) then
            action { result((cmd_state ? :expr_cmdarg : :expr_arg), :tBACK_REF2, "`") }
          when ss.skip(/\`/) then
            action { string STR_XQUOTE, '`'; result(nil, :tXSTRING_BEG, "`") }
          end # group /\`/
        when text = ss.scan(/\?/) then
          process_questionmark text
        when ss.match?(/&/) then
          case
          when ss.skip(/\&\&\=/) then
            action { result(:expr_beg, :tOP_ASGN, "&&") }
          when ss.skip(/\&\&/) then
            action { result(:expr_beg, :tANDOP,   "&&") }
          when ss.skip(/\&\=/) then
            action { result(:expr_beg, :tOP_ASGN, "&" ) }
          when ss.skip(/\&\./) then
            action { result(:expr_dot, :tLONELY,  "&.") }
          when text = ss.scan(/\&/) then
            process_amper text
          end # group /&/
        when text = ss.scan(/\//) then
          process_slash text
        when ss.match?(/\^/) then
          case
          when ss.skip(/\^=/) then
            action { result(:expr_beg, :tOP_ASGN, "^") }
          when ss.skip(/\^/) then
            action { result(:arg_state, :tCARET, "^") }
          end # group /\^/
        when ss.skip(/\;/) then
          action { self.command_start = true; result(:expr_beg, :tSEMI, ";") }
        when ss.match?(/~/) then
          case
          when in_arg_state? && (ss.skip(/\~@/)) then
            action { result(:arg_state, :tTILDE, "~") }
          when ss.skip(/\~/) then
            action { result(:arg_state, :tTILDE, "~") }
          end # group /~/
        when ss.match?(/\\/) then
          case
          when ss.skip(/\\\r?\n/) then
            action { self.lineno += 1; self.space_seen = true; next }
          when ss.skip(/\\/) then
            action { rb_compile_error "bare backslash only allowed before newline" }
          end # group /\\/
        when text = ss.scan(/\%/) then
          process_percent text
        when ss.match?(/\$/) then
          case
          when text = ss.scan(/\$_\w+/) then
            process_gvar text
          when text = ss.scan(/\$_/) then
            process_gvar text
          when text = ss.scan(/\$[~*$?!@\/\\;,.=:<>\"]|\$-\w?/) then
            process_gvar text
          when in_fname? && (text = ss.scan(/\$([\&\`\'\+])/)) then
            process_gvar text
          when text = ss.scan(/\$([\&\`\'\+])/) then
            process_backref text
          when in_fname? && (text = ss.scan(/\$([1-9]\d*)/)) then
            process_gvar text
          when text = ss.scan(/\$([1-9]\d*)/) then
            process_nthref text
          when text = ss.scan(/\$0/) then
            process_gvar text
          when text = ss.scan(/\$\W|\$\z/) then
            process_gvar_oddity text
          when text = ss.scan(/\$\w+/) then
            process_gvar text
          end # group /\$/
        when text = ss.scan(/\_/) then
          process_underscore text
        when text = ss.scan(/#{IDENT}/o) then
          process_token text
        when ss.skip(/\004|\032|\000|\Z/) then
          action { [RubyLexer::EOF, RubyLexer::EOF] }
        when text = ss.scan(/./) then
          action { rb_compile_error "Invalid char #{text.inspect} in expression" }
        else
          text = ss.string[ss.pos .. -1]
          raise ScanError, "can not match (#{state.inspect}) at #{location}: '#{text}'"
        end
      else
        raise ScanError, "undefined state at #{location}: '#{state}'"
      end # token = case state

    next unless token # allow functions to trigger redo w/ nil
  end # while

  raise LexerError, "bad lexical result at #{location}: #{token.inspect}" unless
    token.nil? || (Array === token && token.size >= 2)

  # auto-switch state
  self.state = token.last if token && token.first == :state

  token
end

#not_end? ⇒ Boolean

Returns:

  • (Boolean) 


385
386
387
 
# File 'lib/ruby_lexer.rb', line 385

def not_end?
  not is_end?
end

#old_lineno= ⇒ Object

:startdoc:



1345
1346
1347
 
# File 'lib/ruby_lexer.rb', line 1345

def lineno=(value)
  @lineno = value
end

#parse(str) ⇒ Object 



51
52
53
54
55
56
 
# File 'lib/ruby_lexer.rex.rb', line 51

def parse str
  self.ss     = scanner_class.new str
  self.state  ||= nil

  do_parse
end

#parse_file(path) ⇒ Object 



58
59
60
61
62
63
 
# File 'lib/ruby_lexer.rex.rb', line 58

def parse_file path
  self.filename = path
  open path do |f|
    parse f.read
  end
end

#parse_quote ⇒ Object

TODO: remove / rewrite



1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
 
# File 'lib/ruby_lexer.rb', line 1226

def parse_quote # TODO: remove / rewrite
  beg, nnd, short_hand, c = nil, nil, false, nil

  if scan(/[a-z0-9]{1,2}/i) then # Long-hand (e.g. %Q{}).
    rb_compile_error "unknown type of %string" if ss.matched_size == 2
    c, beg, short_hand = matched, ss.getch, false
  else                               # Short-hand (e.g. %{, %., %!, etc)
    c, beg, short_hand = 'Q', ss.getch, true
  end

  if end_of_stream? or c == RubyLexer::EOF or beg == RubyLexer::EOF then
    rb_compile_error "unterminated quoted string meets end of file"
  end

  # Figure nnd-char.  "\0" is special to indicate beg=nnd and that no nesting?
  nnd = { "(" => ")", "[" => "]", "{" => "}", "<" => ">" }[beg]
  nnd, beg = beg, "\0" if nnd.nil?

  token_type, text = nil, "%#{c}#{beg}"
  token_type, string_type = case c
                            when 'Q' then
                              ch = short_hand ? nnd : c + beg
                              text = "%#{ch}"
                              [:tSTRING_BEG,   STR_DQUOTE]
                            when 'q' then
                              [:tSTRING_BEG,   STR_SQUOTE]
                            when 'W' then
                              eat_whitespace
                              [:tWORDS_BEG,    STR_DQUOTE | STR_FUNC_QWORDS]
                            when 'w' then
                              eat_whitespace
                              [:tQWORDS_BEG,   STR_SQUOTE | STR_FUNC_QWORDS]
                            when 'x' then
                              [:tXSTRING_BEG,  STR_XQUOTE]
                            when 'r' then
                              [:tREGEXP_BEG,   STR_REGEXP]
                            when 's' then
                              self.lex_state  = :expr_fname
                              [:tSYMBEG,       STR_SSYM]
                            when 'I' then
                              eat_whitespace
                              [:tSYMBOLS_BEG, STR_DQUOTE | STR_FUNC_QWORDS]
                            when 'i' then
                              eat_whitespace
                              [:tQSYMBOLS_BEG, STR_SQUOTE | STR_FUNC_QWORDS]
                            end

  rb_compile_error "Bad %string type. Expected [QqWwIixrs], found '#{c}'." if
    token_type.nil?

  raise "huh" unless string_type

  string string_type, nnd, beg

  return token_type, text
end

#parse_string(quote) ⇒ Object

TODO: rewrite / remove



1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
 
# File 'lib/ruby_lexer.rb', line 1283

def parse_string quote # TODO: rewrite / remove
  _, string_type, term, open = quote

  space = false # FIX: remove these
  func = string_type
  paren = open
  term_re = @@regexp_cache[term]

  qwords = (func & STR_FUNC_QWORDS) != 0
  regexp = (func & STR_FUNC_REGEXP) != 0
  expand = (func & STR_FUNC_EXPAND) != 0

  unless func then # nil'ed from qwords below. *sigh*
    return :tSTRING_END, nil
  end

  space = true if qwords and eat_whitespace

  if self.string_nest == 0 && scan(/#{term_re}/) then
    if qwords then
      quote[1] = nil
      return :tSPACE, nil
    elsif regexp then
      return :tREGEXP_END, self.regx_options
    else
      return :tSTRING_END, term
    end
  end

  return :tSPACE, nil if space

  self.string_buffer = []

  if expand
    case
    when scan(/#(?=\$(-.|[a-zA-Z_0-9~\*\$\?!@\/\\;,\.=:<>\"\&\`\'+]))/) then
      # TODO: !ISASCII
      # ?! see parser_peek_variable_name
      return :tSTRING_DVAR, nil
    when scan(/#(?=\@\@?[a-zA-Z_])/) then
      # TODO: !ISASCII
      return :tSTRING_DVAR, nil
    when scan(/#[{]/) then
      self.command_start = true
      return :tSTRING_DBEG, nil
    when scan(/#/) then
      string_buffer << '#'
    end
  end

  if tokadd_string(func, term, paren) == RubyLexer::EOF then
    rb_compile_error "unterminated string meets end of file"
  end

  return :tSTRING_CONTENT, string_buffer.join
end

#possibly_escape_string(text, check) ⇒ Object 



753
754
755
756
757
758
759
760
761
 
# File 'lib/ruby_lexer.rb', line 753

def possibly_escape_string text, check
  content = match[1]

  if text =~ check then
    content.gsub(ESC) { unescape $1 }
  else
    content.gsub(/\\\\/, "\\").gsub(/\\'/, "'")
  end
end

#process_amper(text) ⇒ Object 



389
390
391
392
393
394
395
396
397
398
399
400
 
# File 'lib/ruby_lexer.rb', line 389

def process_amper text
  token = if is_arg? && space_seen && !check(/\s/) then
             warning("`&' interpreted as argument prefix")
             :tAMPER
           elsif in_lex_state? :expr_beg, :expr_mid then
             :tAMPER
           else
             :tAMPER2
           end

  return result(:arg_state, token, "&")
end

#process_backref(text) ⇒ Object 



402
403
404
405
406
 
# File 'lib/ruby_lexer.rb', line 402

def process_backref text
  token = ss[1].to_sym
  # TODO: can't do lineno hack w/ symbol
  result :expr_end, :tBACK_REF, token
end

#process_begin(text) ⇒ Object 



408
409
410
411
412
413
414
415
416
417
418
419
420
 
# File 'lib/ruby_lexer.rb', line 408

def process_begin text
  @comments << matched

  unless scan(/.*?\n=end( |\t|\f)*[^\n]*(\n|\z)/m) then
    @comments.clear
    rb_compile_error("embedded document meets end of file")
  end

  @comments << matched
  self.lineno += matched.count("\n")

  nil # TODO
end

#process_brace_close(text) ⇒ Object 



422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
 
# File 'lib/ruby_lexer.rb', line 422

def process_brace_close text
  # matching compare/parse23.y:8561
  cond.lexpop
  cmdarg.lexpop

  case matched
  when "}" then
    self.brace_nest -= 1
    self.lex_state   = :expr_endarg # TODO: :expr_end ? Look at 2.6

    return :tSTRING_DEND, matched if brace_nest < 0
    return :tRCURLY, matched
  when "]" then
    self.paren_nest -= 1
    self.lex_state   = :expr_endarg
    return :tRBRACK, matched
  when ")" then
    self.paren_nest -= 1
    self.lex_state   = :expr_endfn
    return :tRPAREN, matched
  else
    raise "Unknown bracing: #{matched.inspect}"
  end
end

#process_brace_open(text) ⇒ Object 



471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
 
# File 'lib/ruby_lexer.rb', line 471

def process_brace_open text
  # matching compare/parse23.y:8694
  self.brace_nest += 1

  if lambda_beginning? then
    self.lpar_beg = nil
    self.paren_nest -= 1 # close arg list when lambda opens body

    return expr_result(:tLAMBEG, "{")
  end

  token = case lex_state
          when :expr_labeled then
            :tLBRACE     # hash
          when *EXPR_ARG_ANY, :expr_end, :expr_endfn then
            :tLCURLY     # block (primary)
          when :expr_endarg
            :tLBRACE_ARG # block (expr)
          else
            :tLBRACE     # hash
          end

  # TODO: self.lex_state |= :expr_label if token != :tLBRACE_ARG
  self.command_start = true if token != :tLBRACE

  return expr_result(token, "{")
end

#process_colon1(text) ⇒ Object 



447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
 
# File 'lib/ruby_lexer.rb', line 447

def process_colon1 text
  # ?: / then / when
  if is_end? || check(/\s/) then
    return result :expr_beg, :tCOLON, text
  end

  case
  when scan(/\'/) then
    string STR_SSYM
  when scan(/\"/) then
    string STR_DSYM
  end

  result :expr_fname, :tSYMBEG, text
end

#process_colon2(text) ⇒ Object 



463
464
465
466
467
468
469
 
# File 'lib/ruby_lexer.rb', line 463

def process_colon2 text
  if is_beg? || in_lex_state?(:expr_class) || is_space_arg? then
    result :expr_beg, :tCOLON3, text
  else
    result :expr_dot, :tCOLON2, text
  end
end

#process_float(text) ⇒ Object 



499
500
501
502
503
504
505
506
507
508
509
510
511
512
 
# File 'lib/ruby_lexer.rb', line 499

def process_float text
  rb_compile_error "Invalid numeric format" if text =~ /__/

  case
  when text.end_with?('ri')
    return result(:expr_end, :tIMAGINARY, Complex(0, Rational(text.chop.chop)))
  when text.end_with?('r')
    return result(:expr_end, :tRATIONAL, Rational(text.chop))
  when text.end_with?('i')
    return result(:expr_end, :tIMAGINARY, Complex(0, text.chop.to_f))
  else
    return result(:expr_end, :tFLOAT, text.to_f)
  end
end

#process_gvar(text) ⇒ Object 



514
515
516
517
 
# File 'lib/ruby_lexer.rb', line 514

def process_gvar text
  text.lineno = self.lineno
  result(:expr_end, :tGVAR, text)
end

#process_gvar_oddity(text) ⇒ Object 



519
520
521
522
 
# File 'lib/ruby_lexer.rb', line 519

def process_gvar_oddity text
  return result :expr_end, "$", "$" if text == "$" # TODO: wtf is this?
  rb_compile_error "#{text.inspect} is not allowed as a global variable name"
end

#process_ivar(text) ⇒ Object 



524
525
526
527
528
 
# File 'lib/ruby_lexer.rb', line 524

def process_ivar text
  tok_id = text =~ /^@@/ ? :tCVAR : :tIVAR
  text.lineno = self.lineno
  return result(:expr_end, tok_id, text)
end

#process_label(text) ⇒ Object 



786
787
788
789
790
 
# File 'lib/ruby_lexer.rb', line 786

def process_label text
  symbol = possibly_escape_string text, /^"/

  result(:expr_labeled, :tLABEL, [symbol, self.lineno]) # TODO: expr_arg|expr_labeled
end

#process_label_or_string(text) ⇒ Object 



774
775
776
777
778
779
780
781
782
783
784
 
# File 'lib/ruby_lexer.rb', line 774

def process_label_or_string text
  if @was_label && text =~ /:\Z/ then
    @was_label = nil
    return process_label text
  elsif text =~ /:\Z/ then
    ss.pos -= 1 # put back ":"
    text = text[0..-2]
  end

  result :expr_end, :tSTRING, text[1..-2].gsub(/\\\\/, "\\").gsub(/\\'/, "'")
end

#process_lchevron(text) ⇒ Object 



530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
 
# File 'lib/ruby_lexer.rb', line 530

def process_lchevron text
  if (!in_lex_state?(:expr_dot, :expr_class) &&
      !is_end? &&
      (!is_arg? || space_seen)) then # TODO: || in_state(:expr_labeled)
    tok = self.heredoc_identifier
    return tok if tok
  end

  if in_arg_state? then
    self.lex_state = :expr_arg
  else
    self.command_start = true if lex_state == :expr_class
    self.lex_state = :expr_beg
  end

  return result(lex_state, :tLSHFT, "\<\<")
end

#process_newline_or_comment(text) ⇒ Object 



548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
 
# File 'lib/ruby_lexer.rb', line 548

def process_newline_or_comment text
  c = matched
  hit = false

  if c == '#' then
    ss.pos -= 1

    # TODO: handle magic comments
    while scan(/\s*\#.*(\n+|\z)/) do
      hit = true
      self.lineno += matched.lines.to_a.size
      @comments << matched.gsub(/^ +#/, '#').gsub(/^ +$/, '')
    end

    return nil if end_of_stream?
  end

  self.lineno += 1 unless hit

  # Replace a string of newlines with a single one
  self.lineno += matched.lines.to_a.size if scan(/\n+/)

  # TODO: remove :expr_value -- audit all uses of it
  c = in_lex_state?(:expr_beg, :expr_value, :expr_class,
                    :expr_fname, :expr_dot) && !in_lex_state?(:expr_labeled)

  # TODO: figure out what token_seen is for
  # TODO: if c || self.lex_state == [:expr_beg, :expr_labeled] then
  if c || self.lex_state == :expr_labeled then
    # ignore if !fallthrough?
    if !c && parser.in_kwarg then
      # normal newline
      return result(:expr_beg, :tNL, nil)
    else
      return # skip
    end
  end

  if scan(/([\ \t\r\f\v]*)(\.|&)/) then
    self.space_seen = true unless ss[1].empty?

    ss.pos -= 1
    return unless check(/\.\./)
  end

  self.command_start = true

  return result(:expr_beg, :tNL, nil)
end

#process_nthref(text) ⇒ Object 



598
599
600
601
 
# File 'lib/ruby_lexer.rb', line 598

def process_nthref text
  # TODO: can't do lineno hack w/ number
  result :expr_end, :tNTH_REF, ss[1].to_i
end

#process_paren(text) ⇒ Object 



603
604
605
606
607
608
609
610
 
# File 'lib/ruby_lexer.rb', line 603

def process_paren text
  token = process_paren19

  self.paren_nest += 1

  # TODO: add :expr_label to :expr_beg (set in expr_result below)
  return expr_result(token, "(")
end

#process_paren19 ⇒ Object 



612
613
614
615
616
617
618
619
620
 
# File 'lib/ruby_lexer.rb', line 612

def process_paren19
  if is_beg? then
    :tLPAREN
  elsif is_space_arg? then
    :tLPAREN_ARG
  else
    :tLPAREN2 # plain '(' in parse.y
  end
end

#process_percent(text) ⇒ Object 



622
623
624
625
626
627
628
629
630
 
# File 'lib/ruby_lexer.rb', line 622

def process_percent text
  return parse_quote if is_beg?

  return result(:expr_beg, :tOP_ASGN, "%") if scan(/\=/)

  return parse_quote if is_arg? && space_seen && ! check(/\s/)

  return result(:arg_state, :tPERCENT, "%")
end

#process_plus_minus(text) ⇒ Object 



632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
 
# File 'lib/ruby_lexer.rb', line 632

def process_plus_minus text
  sign = matched
  utype, type = if sign == "+" then
                  [:tUPLUS, :tPLUS]
                else
                  [:tUMINUS, :tMINUS]
                end

  if in_arg_state? then
    if scan(/@/) then
      return result(:expr_arg, utype, "#{sign}@")
    else
      return result(:expr_arg, type, sign)
    end
  end

  return result(:expr_beg, :tOP_ASGN, sign) if scan(/\=/)

  if (is_beg? || (is_arg? && space_seen && !check(/\s/))) then
    arg_ambiguous if is_arg?

    if check(/\d/) then
      return nil if utype == :tUPLUS
      return result(:expr_beg, :tUMINUS_NUM, sign)
    end

    return result(:expr_beg, utype, sign)
  end

  return result(:expr_beg, type, sign)
end

#process_questionmark(text) ⇒ Object 



664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
 
# File 'lib/ruby_lexer.rb', line 664

def process_questionmark text
  if is_end? then
    return result(:expr_value, :tEH, "?")
  end

  if end_of_stream? then
    rb_compile_error "incomplete character syntax: parsed #{text.inspect}"
  end

  if check(/\s|\v/) then
    unless is_arg? then
      c2 = { " " => 's',
            "\n" => 'n',
            "\t" => 't',
            "\v" => 'v',
            "\r" => 'r',
            "\f" => 'f' }[matched]

      if c2 then
        warning("invalid character syntax; use ?\\" + c2)
      end
    end

    # ternary
    return result(:expr_value, :tEH, "?")
  elsif check(/\w(?=\w)/) then # ternary, also
    return result(:expr_beg, :tEH, "?")
  end

  c = if scan(/\\/) then
        self.read_escape
      else
        ss.getch
      end

  return result(:expr_end, :tSTRING, c)
end

#process_slash(text) ⇒ Object 



702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
 
# File 'lib/ruby_lexer.rb', line 702

def process_slash text
  if is_beg? then
    string STR_REGEXP

    return result(nil, :tREGEXP_BEG, "/")
  end

  if scan(/\=/) then
    return result(:expr_beg, :tOP_ASGN, "/")
  end

  if is_arg? && space_seen then
    unless scan(/\s/) then
      arg_ambiguous
      string STR_REGEXP, "/"
      return result(nil, :tREGEXP_BEG, "/")
    end
  end

  return result(:arg_state, :tDIVIDE, "/")
end

#process_square_bracket(text) ⇒ Object 



724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
 
# File 'lib/ruby_lexer.rb', line 724

def process_square_bracket text
  self.paren_nest += 1

  token = nil

  if in_arg_state? then
    case
    when scan(/\]\=/) then
      self.paren_nest -= 1 # HACK? I dunno, or bug in MRI
      return result(:expr_arg, :tASET, "[]=")
    when scan(/\]/) then
      self.paren_nest -= 1 # HACK? I dunno, or bug in MRI
      return result(:expr_arg, :tAREF, "[]")
    else
      rb_compile_error "unexpected '['"
    end
  elsif is_beg? then
    token = :tLBRACK
  elsif is_arg? && space_seen then
    token = :tLBRACK
  else
    token = :tLBRACK2
  end

  # TODO: this is done by expr_result except "|EXPR_LABEL")
  # SET_LEX_STATE(EXPR_BEG|EXPR_LABEL);
  expr_result token, "["
end

#process_string ⇒ Object

TODO: rewrite / remove



1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
 
# File 'lib/ruby_lexer.rb', line 1197

def process_string # TODO: rewrite / remove
  # matches top of parser_yylex in compare/parse23.y:8113
  token = if lex_strterm[0] == :heredoc then
            self.heredoc lex_strterm
          else
            self.parse_string lex_strterm
          end

  token_type, c = token

  # matches parser_string_term
  if ruby22plus? && token_type == :tSTRING_END && ["'", '"'].include?(c) then
    if (([:expr_beg, :expr_endfn].include?(lex_state) &&
         !cond.is_in_state) || is_arg?) &&
        is_label_suffix? then
      scan(/:/)
      token_type = token[0] = :tLABEL_END
    end
  end

  if [:tSTRING_END, :tREGEXP_END, :tLABEL_END].include? token_type then
    self.lex_strterm = nil
    # TODO: :expr_beg|:expr_label
    self.lex_state   = (token_type == :tLABEL_END) ? :expr_label : :expr_end
  end

  return token
end

#process_symbol(text) ⇒ Object 



763
764
765
766
767
 
# File 'lib/ruby_lexer.rb', line 763

def process_symbol text
  symbol = possibly_escape_string text, /^:"/

  return result(:expr_end, :tSYMBOL, symbol)
end

#process_token(text) ⇒ Object 



792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
 
# File 'lib/ruby_lexer.rb', line 792

def process_token text
  # matching: parse_ident in compare/parse23.y:7989
  # TODO: make this always return [token, lineno]
  self.last_state = lex_state

  token = self.token = text
  token << matched if scan(/[\!\?](?!=)/)

  tok_id =
    case
    when token =~ /[!?]$/ then
      :tFID
    when in_lex_state?(:expr_fname) && scan(/=(?:(?![~>=])|(?==>))/) then
      # ident=, not =~ => == or followed by =>
      # TODO test lexing of a=>b vs a==>b
      token << matched
      :tIDENTIFIER
    when token =~ /^[A-Z]/ then
      :tCONSTANT
    else
      :tIDENTIFIER
    end

  if is_label_possible? and is_label_suffix? then
    scan(/:/)
    # TODO: :expr_arg|:expr_labeled
    return result :expr_labeled, :tLABEL, [token, self.lineno]
  end

  # TODO: mb == ENC_CODERANGE_7BIT && !in_lex_state?(:expr_dot)
  unless in_lex_state? :expr_dot then
    # See if it is a reserved word.
    keyword = RubyParserStuff::Keyword.keyword token

    return process_token_keyword keyword if keyword
  end # unless in_lex_state? :expr_dot

  # matching: compare/parse23.y:8079
  state = if is_beg? or is_arg? or in_lex_state? :expr_dot then
            cmd_state ? :expr_cmdarg : :expr_arg
          elsif in_lex_state? :expr_fname then
            :expr_endfn
          else
            :expr_end
          end

  if not [:expr_dot, :expr_fname].include? last_state and
      (tok_id == :tIDENTIFIER) and # not :expr_fname, not attrasgn
      lvar_defined?(token) then
    state = :expr_end # TODO: EXPR_END|EXPR_LABEL
  end

  token.lineno = self.lineno # yes, on a string. I know... I know...

  return result(state, tok_id, token)
end

#process_token_keyword(keyword) ⇒ Object 



849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
 
# File 'lib/ruby_lexer.rb', line 849

def process_token_keyword keyword
  # matching MIDDLE of parse_ident in compare/parse23.y:8046
  state = lex_state
  self.lex_state = keyword.state

  value = [token, self.lineno]

  return result(lex_state, keyword.id0, value) if state == :expr_fname

  self.command_start = true if lex_state == :expr_beg

  case
  when keyword.id0 == :kDO then
    case
    when lambda_beginning? then
      self.lpar_beg = nil # lambda_beginning? == FALSE in the body of "-> do ... end"
      self.paren_nest -= 1
      result(lex_state, :kDO_LAMBDA, value)
    when cond.is_in_state then
      result(lex_state, :kDO_COND, value)
    when cmdarg.is_in_state && state != :expr_cmdarg then
      result(lex_state, :kDO_BLOCK, value)
    when [:expr_beg, :expr_endarg].include?(state) then
      result(lex_state, :kDO_BLOCK, value)
    else
      result(lex_state, :kDO, value)
    end
  when [:expr_beg, :expr_labeled].include?(state) then
    result(lex_state, keyword.id0, value)
  when keyword.id0 != keyword.id1 then
    result(:expr_beg, keyword.id1, value) # TODO: :expr_beg|:expr_label
  else
    result(lex_state, keyword.id1, value)
  end
end

#process_underscore(text) ⇒ Object 



885
886
887
888
889
890
891
892
893
 
# File 'lib/ruby_lexer.rb', line 885

def process_underscore text
  ss.unscan # put back "_"

  if beginning_of_line? && scan(/\__END__(\r?\n|\Z)/) then
    return [RubyLexer::EOF, RubyLexer::EOF]
  elsif scan(/\_\w*/) then
    return process_token matched
  end
end

#rb_compile_error(msg) ⇒ Object

Raises:



895
896
897
898
 
# File 'lib/ruby_lexer.rb', line 895

def rb_compile_error msg
  msg += ". near line #{self.lineno}: #{ss.rest[/^.*/].inspect}"
  raise RubyParser::SyntaxError, msg
end

#read_escape ⇒ Object

TODO: remove / rewrite



900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
 
# File 'lib/ruby_lexer.rb', line 900

def read_escape # TODO: remove / rewrite
  case
  when scan(/\\/) then                  # Backslash
    '\\'
  when scan(/n/) then                   # newline
    self.extra_lineno -= 1
    "\n"
  when scan(/t/) then                   # horizontal tab
    "\t"
  when scan(/r/) then                   # carriage-return
    "\r"
  when scan(/f/) then                   # form-feed
    "\f"
  when scan(/v/) then                   # vertical tab
    "\13"
  when scan(/a/) then                   # alarm(bell)
    "\007"
  when scan(/e/) then                   # escape
    "\033"
  when scan(/b/) then                   # backspace
    "\010"
  when scan(/s/) then                   # space
    " "
  when scan(/[0-7]{1,3}/) then          # octal constant
    (matched.to_i(8) & 0xFF).chr
  when scan(/x([0-9a-fA-F]{1,2})/) then # hex constant
    ss[1].to_i(16).chr
  when check(/M-\\[\\MCc]/) then
    scan(/M-\\/) # eat it
    c = self.read_escape
    c[0] = (c[0].ord | 0x80).chr
    c
  when scan(/M-(.)/) then
    c = ss[1]
    c[0] = (c[0].ord | 0x80).chr
    c
  when check(/(C-|c)\\[\\MCc]/) then
    scan(/(C-|c)\\/) # eat it
    c = self.read_escape
    c[0] = (c[0].ord & 0x9f).chr
    c
  when scan(/C-\?|c\?/) then
    127.chr
  when scan(/(C-|c)(.)/) then
    c = ss[2]
    c[0] = (c[0].ord & 0x9f).chr
    c
  when scan(/^[89]/i) then # bad octal or hex... MRI ignores them :(
    matched
  when scan(/u([0-9a-fA-F]{2,4}|\{[0-9a-fA-F]{2,6}\})/) then
    [ss[1].delete("{}").to_i(16)].pack("U")
  when scan(/[McCx0-9]/) || end_of_stream? then
    rb_compile_error("Invalid escape character syntax")
  else
    ss.getch
  end.dup
end

#regx_options ⇒ Object

TODO: rewrite / remove



958
959
960
961
962
963
964
965
966
967
968
969
970
971
 
# File 'lib/ruby_lexer.rb', line 958

def regx_options # TODO: rewrite / remove
  good, bad = [], []

  if scan(/[a-z]+/) then
    good, bad = matched.split(//).partition { |s| s =~ /^[ixmonesu]$/ }
  end

  unless bad.empty? then
    rb_compile_error("unknown regexp option%s - %s" %
                     [(bad.size > 1 ? "s" : ""), bad.join.inspect])
  end

  return good.join
end

#reset ⇒ Object 



973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
 
# File 'lib/ruby_lexer.rb', line 973

def reset
  self.brace_nest    = 0
  self.command_start = true
  self.comments      = []
  self.lex_state     = :expr_none
  self.lex_strterm   = nil
  self.lineno        = 1
  self.lpar_beg      = nil
  self.paren_nest    = 0
  self.space_seen    = false
  self.string_nest   = 0
  self.token         = nil
  self.extra_lineno  = 0

  self.cond.reset
  self.cmdarg.reset
end

#result(lex_state, token, text) ⇒ Object

:nodoc:



991
992
993
994
995
 
# File 'lib/ruby_lexer.rb', line 991

def result lex_state, token, text # :nodoc:
  lex_state = self.arg_state if lex_state == :arg_state
  self.lex_state = lex_state if lex_state
  [token, text]
end

#ruby22_label? ⇒ Boolean

Returns:

  • (Boolean) 


361
362
363
 
# File 'lib/ruby_lexer.rb', line 361

def ruby22_label?
  ruby22plus? and is_label_possible?
end

#ruby22plus? ⇒ Boolean

Returns:

  • (Boolean) 


1189
1190
1191
 
# File 'lib/ruby_lexer.rb', line 1189

def ruby22plus?
  parser.class.version >= 22
end

#ruby23plus? ⇒ Boolean

Returns:

  • (Boolean) 


1193
1194
1195
 
# File 'lib/ruby_lexer.rb', line 1193

def ruby23plus?
  parser.class.version >= 23
end

#scan(re) ⇒ Object 



997
998
999
 
# File 'lib/ruby_lexer.rb', line 997

def scan re
  ss.scan re
end

#scanner_class ⇒ Object

TODO: design this out of oedipus_lex. or something.



1016
1017
1018
 
# File 'lib/ruby_lexer.rb', line 1016

def scanner_class # TODO: design this out of oedipus_lex. or something.
  RPStringScanner
end

#space_vs_beginning(space_type, beg_type, fallback) ⇒ Object 



1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
 
# File 'lib/ruby_lexer.rb', line 1020

def space_vs_beginning space_type, beg_type, fallback
  if is_space_arg? check(/./m) then
    warning "`**' interpreted as argument prefix"
    space_type
  elsif is_beg? then
    beg_type
  else
    # TODO: warn_balanced("**", "argument prefix");
    fallback
  end
end

#string(type, beg = matched, nnd = "\0") ⇒ Object 



1032
1033
1034
 
# File 'lib/ruby_lexer.rb', line 1032

def string type, beg = matched, nnd = "\0"
  self.lex_strterm = [:strterm, type, beg, nnd]
end

#tokadd_escape(term) ⇒ Object

TODO: consider def src= src

raise "bad src: #{src.inspect}" unless String === src
@src = RPStringScanner.new(src)

end



1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
 
# File 'lib/ruby_lexer.rb', line 1042

def tokadd_escape term # TODO: rewrite / remove
  case
  when scan(/\\\n/) then
    # just ignore
  when scan(/\\([0-7]{1,3}|x[0-9a-fA-F]{1,2})/) then
    self.string_buffer << matched
  when scan(/\\([MC]-|c)(?=\\)/) then
    self.string_buffer << matched
    self.tokadd_escape term
  when scan(/\\([MC]-|c)(.)/) then
    self.string_buffer << matched
  when scan(/\\[McCx]/) then
    rb_compile_error "Invalid escape character syntax"
  when scan(/\\(.)/m) then
    chr = ss[1]
    prev = self.string_buffer.last
    if term == chr && prev && prev.end_with?("(?") then
      self.string_buffer << chr
    else
      self.string_buffer << matched
    end
  else
    rb_compile_error "Invalid escape character syntax"
  end
end

#tokadd_string(func, term, paren) ⇒ Object

TODO: rewrite / remove



1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
 
# File 'lib/ruby_lexer.rb', line 1068

def tokadd_string(func, term, paren) # TODO: rewrite / remove
  qwords = (func & STR_FUNC_QWORDS) != 0
  escape = (func & STR_FUNC_ESCAPE) != 0
  expand = (func & STR_FUNC_EXPAND) != 0
  regexp = (func & STR_FUNC_REGEXP) != 0
  symbol = (func & STR_FUNC_SYMBOL) != 0

  paren_re = @@regexp_cache[paren]
  term_re  = @@regexp_cache[term]

  until end_of_stream? do
    c = nil
    handled = true

    case
    when paren_re && scan(paren_re) then
      self.string_nest += 1
    when scan(term_re) then
      if self.string_nest == 0 then
        ss.pos -= 1
        break
      else
        self.string_nest -= 1
      end
    when expand && scan(/#(?=[\$\@\{])/) then
      ss.pos -= 1
      break
    when qwords && scan(/\s/) then
      ss.pos -= 1
      break
    when expand && scan(/#(?!\n)/) then
      # do nothing
    when check(/\\/) then
      case
      when qwords && scan(/\\\n/) then
        string_buffer << "\n"
        next
      when qwords && scan(/\\\s/) then
        c = ' '
      when expand && scan(/\\\n/) then
        next
      when regexp && check(/\\/) then
        self.tokadd_escape term
        next
      when expand && scan(/\\/) then
        c = self.read_escape
      when scan(/\\\n/) then
        # do nothing
      when scan(/\\\\/) then
        string_buffer << '\\' if escape
        c = '\\'
      when scan(/\\/) then
        unless scan(term_re) || paren.nil? || scan(paren_re) then
          string_buffer << "\\"
        end
      else
        handled = false
      end # inner /\\/ case
    else
      handled = false
    end # top case

    unless handled then
      t = Regexp.escape term
      x = Regexp.escape(paren) if paren && paren != "\000"
      re = if qwords then
             /[^#{t}#{x}\#\0\\\s]+|./ # |. to pick up whatever
           else
             /[^#{t}#{x}\#\0\\]+|./
           end

      scan re
      c = matched

      rb_compile_error "symbol cannot contain '\\0'" if symbol && c =~ /\0/
    end # unless handled

    c ||= matched
    string_buffer << c
  end # until

  c ||= matched
  c = RubyLexer::EOF if end_of_stream?

  return c
end

#unescape(s) ⇒ Object 



1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
 
# File 'lib/ruby_lexer.rb', line 1155

def unescape s
  r = ESCAPES[s]

  self.extra_lineno += 1 if s == "\n"     # eg backslash newline strings
  self.extra_lineno -= 1 if r && s == "n" # literal \n, not newline

  return r if r

  x = case s
      when /^[0-7]{1,3}/ then
        ($&.to_i(8) & 0xFF).chr
      when /^x([0-9a-fA-F]{1,2})/ then
        $1.to_i(16).chr
      when /^M-(.)/ then
        ($1[0].ord | 0x80).chr
      when /^(C-|c)(.)/ then
        ($2[0].ord & 0x9f).chr
      when /^[89a-f]/i then # bad octal or hex... ignore? that's what MRI does :(
        s
      when /^[McCx0-9]/ then
        rb_compile_error("Invalid escape character syntax")
      when /u([0-9a-fA-F]{2,4}|\{[0-9a-fA-F]{2,6}\})/ then
        [$1.delete("{}").to_i(16)].pack("U")
      else
        s
      end
  x.force_encoding "UTF-8" if HAS_ENC
  x
end

#warning(s) ⇒ Object 



1185
1186
1187
 
# File 'lib/ruby_lexer.rb', line 1185

def warning s
  # do nothing for now
end

#was_label? ⇒ Boolean

Returns:

  • (Boolean) 


769
770
771
772
 
# File 'lib/ruby_lexer.rb', line 769

def was_label?
  @was_label = ruby22_label?
  true
end