2010-03-18 13:43:32 +01:00
|
|
|
|
|
|
|
class RegExpr< Hash
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# any thing
|
2010-03-18 13:43:32 +01:00
|
|
|
class RegExpr::Segment
|
|
|
|
attr_accessor :value
|
2010-03-19 12:11:16 +01:00
|
|
|
def initialize( val) self.value= val end
|
|
|
|
def to_r() self.value.to_s end
|
|
|
|
def empty?() self.value.nil? end
|
|
|
|
def names() @value.names.flatten.compact end
|
2010-03-18 13:43:32 +01:00
|
|
|
|
|
|
|
def optimize
|
2010-03-19 12:11:16 +01:00
|
|
|
self.value= self.class.optimize self.value
|
2010-03-18 13:43:32 +01:00
|
|
|
self
|
|
|
|
end
|
|
|
|
|
|
|
|
class <<self
|
|
|
|
def optimize v
|
2010-03-19 12:11:16 +01:00
|
|
|
v= v.optimize
|
|
|
|
v= nil if v and v.empty?
|
|
|
|
v= v.value[ 0] if RegExpr::Block === v and v.hidden and v.size == 1
|
2010-03-18 13:43:32 +01:00
|
|
|
v
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# can't have any segment as value
|
2010-03-18 13:43:32 +01:00
|
|
|
def deepest
|
2010-03-19 12:11:16 +01:00
|
|
|
self.class_eval do
|
2010-03-18 13:43:32 +01:00
|
|
|
def names() [] end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# can't have any value
|
2010-03-18 13:43:32 +01:00
|
|
|
def novalue
|
2010-03-19 12:11:16 +01:00
|
|
|
self.class_eval do
|
2010-03-18 13:43:32 +01:00
|
|
|
def initialize() end
|
|
|
|
def empty?() false end
|
|
|
|
def to_r() '' end
|
|
|
|
def optimize() self end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
def nooptimize
|
2010-03-19 12:11:16 +01:00
|
|
|
self.class_eval do
|
2010-03-18 13:43:32 +01:00
|
|
|
def optimize() self end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# /(VALUE)/ or /(?:VALUE)/
|
2010-03-18 13:43:32 +01:00
|
|
|
class RegExpr::Block< RegExpr::Segment
|
|
|
|
attr_accessor :name, :hidden
|
|
|
|
def hidden?() @hidden end
|
2010-03-19 12:11:16 +01:00
|
|
|
def optimize() self.dup.optimize! end
|
|
|
|
def push( *v) @value.push *v end
|
|
|
|
def pop() @value.pop end
|
|
|
|
def empty?() @value.empty? end
|
|
|
|
def size() @value.size end
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
def inspect
|
|
|
|
"#<#{self.class.name}: (#{hidden? ? '?:' : ''} #{value.map(&:inspect).join ' '} )>"
|
|
|
|
end
|
|
|
|
|
2010-03-18 13:43:32 +01:00
|
|
|
def names
|
2010-03-19 12:11:16 +01:00
|
|
|
names= @value.collect &:names
|
|
|
|
names.push( name) unless self.hidden?
|
|
|
|
names.flatten.compact
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
def initialize *val
|
2010-03-19 12:11:16 +01:00
|
|
|
val= val[ 0] if ::Array === val[ 0] and val.size == 1
|
2010-03-18 13:43:32 +01:00
|
|
|
super val
|
|
|
|
@hidden= true
|
|
|
|
end
|
|
|
|
|
|
|
|
def optimize!
|
2010-03-19 12:11:16 +01:00
|
|
|
list, chars= [[]], RegExpr::Chars.new( '')
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2010-03-19 12:11:16 +01:00
|
|
|
@value.each do |v|
|
|
|
|
v= self.class.optimize v
|
|
|
|
if RegExpr::Or === v
|
|
|
|
list.push []
|
|
|
|
else list[ -1].push v
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
2012-12-09 13:22:21 +01:00
|
|
|
#return self
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# [A,C,A,C,Cs,As,C,Cs,C] => [A,A,As], chars = [C,C|Cs]++[C|Cs]++[C]
|
2010-03-19 12:11:16 +01:00
|
|
|
list.delete_if do |v|
|
2012-12-09 13:22:21 +01:00
|
|
|
if (1 == v.size and RegExpr::Chars === v[ 0]) or RegExpr::Char === v[ 0]
|
2010-03-18 13:43:32 +01:00
|
|
|
chars+= v[ 0]
|
|
|
|
else false
|
|
|
|
end
|
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
chars= chars.optimize
|
2010-03-18 13:43:32 +01:00
|
|
|
|
|
|
|
values= []
|
2010-03-19 12:11:16 +01:00
|
|
|
list.each do |v|
|
|
|
|
values.push RegExpr::Or.new
|
|
|
|
values+= if v.size == 1 and RegExpr::Block === v[ 0] and v[ 0].hidden
|
|
|
|
v[ 0].value
|
2010-03-18 13:43:32 +01:00
|
|
|
else
|
2010-03-19 12:11:16 +01:00
|
|
|
v.collect do |w|
|
|
|
|
if RegExpr::Block === w and w.hidden
|
2010-03-18 13:43:32 +01:00
|
|
|
u= false
|
2010-03-19 12:11:16 +01:00
|
|
|
w.value.each do |i|
|
|
|
|
break unless u||= RegExpr::Or === i
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
u ? w : w.value
|
2010-03-18 13:43:32 +01:00
|
|
|
else w
|
|
|
|
end
|
2012-12-09 13:22:21 +01:00
|
|
|
end.flatten.compact
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
values.push RegExpr::Or.new, chars if chars.size > 0
|
|
|
|
values.shift
|
2010-03-18 13:43:32 +01:00
|
|
|
@value= values
|
|
|
|
self
|
|
|
|
end
|
|
|
|
|
|
|
|
def to_r()
|
2010-03-19 12:11:16 +01:00
|
|
|
(@hidden ? '(?:%s)' : '(%s)')% @value.collect( &:to_r).join( '')
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# /(?!VALUE)/
|
2010-03-18 13:43:32 +01:00
|
|
|
class RegExpr::Not< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
novalue
|
|
|
|
def to_r
|
2010-03-19 12:11:16 +01:00
|
|
|
if @value.instance_of? RegExpr::Chars
|
|
|
|
@value.not!
|
|
|
|
@value.to_s
|
2010-03-18 13:43:32 +01:00
|
|
|
else '(?!%s)'% @value
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# eg: 1..99 => /[1-9]|[1-9][1-9]/
|
2010-03-18 13:43:32 +01:00
|
|
|
class RegExpr::Range< RegExpr::Segment
|
|
|
|
novalue
|
|
|
|
attr_accessor :v1, :v2
|
|
|
|
def names() [] end
|
2010-03-19 12:11:16 +01:00
|
|
|
def optimize() self.value.optimize end
|
|
|
|
def to_r() self.optimize.to_r end
|
2010-03-18 13:43:32 +01:00
|
|
|
def initialize( v1, v2) @v1, @v2= v1, v2 end
|
|
|
|
|
|
|
|
# algo stolen from thomas leitner
|
|
|
|
def value
|
|
|
|
a, b= @v1< @v2 ? [ @v1, @v2] : [ @v2, @v1]
|
|
|
|
arr= Array[ a]
|
|
|
|
|
2010-03-19 12:11:16 +01:00
|
|
|
af= a == 0 ? 1.0 : a.to_f
|
|
|
|
bf= b == 0 ? 1.0 : b.to_f
|
|
|
|
1.upto( b.to_s.length- 1) do |i|
|
2010-03-18 13:43:32 +01:00
|
|
|
pot= 10** i
|
2012-12-09 13:22:21 +01:00
|
|
|
num= (af/ pot).ceil * pot # next higher number with i zeros
|
2010-03-19 12:11:16 +01:00
|
|
|
arr.insert i, num if num < @v2
|
2012-12-09 13:22:21 +01:00
|
|
|
num= (bf/ pot).floor * pot # next lower number with i zeros
|
2010-03-19 12:11:16 +01:00
|
|
|
arr.insert -i, num
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
arr.uniq!
|
|
|
|
arr.push b+ 1 # +1 -> to handle it in the same way as the other elements
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2010-03-19 12:11:16 +01:00
|
|
|
result= RegExpr::Block.new
|
|
|
|
0.upto( arr. length- 2) do |i|
|
2012-12-09 13:22:21 +01:00
|
|
|
first, second= arr[ i].to_s, (arr[ i+ 1]- 1).to_s
|
2010-03-19 12:11:16 +01:00
|
|
|
result.push RegExpr::Or.new
|
|
|
|
0.upto( first.length- 1) do |j|
|
2012-12-09 13:22:21 +01:00
|
|
|
fst, sec= first[ j], second[ j]
|
|
|
|
result.push fst == sec ?
|
|
|
|
RegExpr::Char.new( fst.chr) :
|
|
|
|
RegExpr::Chars.new( '%c-%c'% [ fst, sec ])
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
result. value. shift
|
|
|
|
result
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# /[CHARS]/ or /[^CHARS]/
|
2010-03-18 13:43:32 +01:00
|
|
|
class RegExpr::Chars< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
attr_reader :chars, :not
|
|
|
|
def to_r() '[%s]'% self. value end
|
|
|
|
def not?() @not end
|
|
|
|
def empty?() @chars. empty? end
|
|
|
|
def size() @chars. size end
|
2010-03-19 12:11:16 +01:00
|
|
|
def value=( val) @chars= (@not= val[ 0] == ?^) ? val[ 1.. -1] : val ; val end
|
2010-03-18 13:43:32 +01:00
|
|
|
def value() (self. not? ? '^' : '')+ (@chars) end
|
|
|
|
def not!() @not= !@not end
|
|
|
|
alias -@ not!
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
def inspect
|
|
|
|
"#<#{self.class.name}: [#{value}]>"
|
|
|
|
end
|
|
|
|
|
2010-03-18 13:43:32 +01:00
|
|
|
def split
|
|
|
|
chars= []
|
|
|
|
@chars. gsub( /\\-/) do |r|
|
2010-03-19 12:11:16 +01:00
|
|
|
chars. push ?-.ord
|
2010-03-18 13:43:32 +01:00
|
|
|
nil
|
|
|
|
end. gsub( /.-./) do |r|
|
2010-03-19 12:11:16 +01:00
|
|
|
chars+= (r[ 0].ord .. r[ 2].ord). to_a
|
2010-03-18 13:43:32 +01:00
|
|
|
nil
|
2010-03-19 12:11:16 +01:00
|
|
|
end. bytes. each do |c|
|
2010-03-18 13:43:32 +01:00
|
|
|
chars. push c
|
|
|
|
end
|
|
|
|
chars
|
|
|
|
end
|
|
|
|
|
|
|
|
def optimize!
|
|
|
|
b2chr= lambda do |b|
|
2010-03-19 12:11:16 +01:00
|
|
|
b = b.chr
|
|
|
|
"-[]".include?( b) ? '\%c'% b : b
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
chars= self. split. sort. uniq
|
2010-03-18 13:43:32 +01:00
|
|
|
@chars= ''
|
2010-03-19 12:11:16 +01:00
|
|
|
return self if chars.empty?
|
|
|
|
b= chars.shift
|
|
|
|
chars.each do |i|
|
2010-03-18 13:43:32 +01:00
|
|
|
if b+1 == i
|
2010-03-19 12:11:16 +01:00
|
|
|
unless @chars[ -1] == ?- and @chars[-2] != ?\\
|
|
|
|
@chars+= b2chr.call( b)+ '-'
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
else @chars+= b2chr.call b
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
b= i
|
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
@chars+= b2chr.call b
|
2010-03-18 13:43:32 +01:00
|
|
|
self
|
|
|
|
end
|
|
|
|
|
|
|
|
def optimize
|
2010-03-19 12:11:16 +01:00
|
|
|
n= self.dup.optimize!
|
|
|
|
if (n.size == 1 or (n.size == 2 and n.value[ 0] == ?\\ )) and not n.not?
|
|
|
|
RegExpr::Char.new n.chars[ -1]
|
|
|
|
else
|
|
|
|
n
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
def + b
|
2010-03-19 12:11:16 +01:00
|
|
|
chars= self.not? ? '^' : ''
|
|
|
|
chars+= if b.instance_of? RegExpr::Char
|
|
|
|
self.split.push b.value[ 0]
|
|
|
|
elsif self.not? == b.not?
|
|
|
|
self.split+ b.split
|
|
|
|
elsif self.not?
|
|
|
|
(0..255).to_a- self.split+ b.split
|
2010-03-18 13:43:32 +01:00
|
|
|
else
|
2010-03-19 12:11:16 +01:00
|
|
|
(0..255).to_a- b.split+ self.split
|
|
|
|
end.compact.uniq.collect {|i| i.chr }.join( '')
|
|
|
|
self.class.new chars
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
# /VALUE{MIN,MAX}/
|
2010-03-18 13:43:32 +01:00
|
|
|
class RegExpr::Repeat< RegExpr::Segment
|
2012-12-09 13:22:21 +01:00
|
|
|
SimpleChar= Hash[ *%w<{,1} ? {0,1} ? {0,} * {,} * {1,} +> + ['{1,1}', ''] ]
|
2010-03-18 13:43:32 +01:00
|
|
|
attr_reader :min, :max
|
|
|
|
|
|
|
|
def minandmax x
|
|
|
|
case x
|
|
|
|
when nil, '' then nil
|
2010-03-19 12:11:16 +01:00
|
|
|
else x.to_i
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
def optimize
|
|
|
|
super
|
2010-03-19 12:11:16 +01:00
|
|
|
r = (min == 1 and max == 1) ? @value : self
|
|
|
|
r
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
def initialize value, min= 1, max= min
|
|
|
|
super value
|
2010-03-19 12:11:16 +01:00
|
|
|
@min, @max= self.minandmax( min), self.minandmax( max)
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
def to_r
|
|
|
|
t= '{%s,%s}'% [ @min||'', @max||'' ]
|
2010-03-19 12:11:16 +01:00
|
|
|
return '' if '{0,0}' == t
|
2012-12-09 13:22:21 +01:00
|
|
|
@value.to_r+ (SimpleChar[ t] || t)
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
class RegExpr::Char< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
nooptimize
|
2010-03-19 12:11:16 +01:00
|
|
|
def to_r() ::Regexp.quote @value end
|
2010-03-18 13:43:32 +01:00
|
|
|
def size() 1 end
|
|
|
|
|
2010-03-19 12:11:16 +01:00
|
|
|
def self.new x
|
|
|
|
x= x.split( '').collect {|i| super i }
|
|
|
|
x.size == 1 ? x[ 0] : RegExpr::Block.new( x)
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
class RegExpr::Regexp< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
nooptimize
|
|
|
|
def to_r() @value. to_s end
|
|
|
|
end
|
|
|
|
|
|
|
|
class RegExpr::Or< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
novalue
|
|
|
|
def to_r() '|' end
|
|
|
|
def to_s() '|' end
|
|
|
|
end
|
|
|
|
|
|
|
|
class RegExpr::End< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
novalue
|
|
|
|
def to_r() '$' end
|
|
|
|
def to_s() '$' end
|
|
|
|
end
|
|
|
|
|
|
|
|
class RegExpr::Begin< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
novalue
|
|
|
|
def to_r() '^' end
|
|
|
|
def to_s() '^' end
|
|
|
|
end
|
|
|
|
|
|
|
|
class RegExpr::WildCard< RegExpr::Segment
|
|
|
|
deepest
|
|
|
|
nooptimize
|
|
|
|
def to_r() @value end
|
|
|
|
def to_s() @value end
|
|
|
|
end
|
|
|
|
|
|
|
|
class RegExpr
|
|
|
|
class <<self
|
|
|
|
STDEXP= Hash[
|
|
|
|
'loalpha' => '[a-z]',
|
|
|
|
'hialpha' => '[A-Z]',
|
|
|
|
'alpha' => 'loalpha | hialpha',
|
|
|
|
'digit' => '[0-9]',
|
|
|
|
'alphadigit' => 'alpha | digit',
|
|
|
|
'hexdigit' => 'digit | [a-fA-F]',
|
|
|
|
'octdigit' => '[0-7]',
|
|
|
|
'bindigit' => '[01]',
|
|
|
|
'space' => '[ \t\n\r\v]'
|
|
|
|
]
|
|
|
|
|
|
|
|
def [] *vals
|
|
|
|
ret= super *vals
|
2010-03-19 12:11:16 +01:00
|
|
|
STDEXP.each {|k, v| ret[ k]||= v }
|
2010-03-18 13:43:32 +01:00
|
|
|
ret
|
|
|
|
end
|
|
|
|
|
|
|
|
def new *vals
|
|
|
|
ret= super *vals
|
2010-03-19 12:11:16 +01:00
|
|
|
STDEXP.each {|k, v| ret[ k]||= v }
|
2010-03-18 13:43:32 +01:00
|
|
|
ret
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
def to_r exp= nil
|
|
|
|
r = self.to_re exp
|
|
|
|
r.optimize!
|
2010-03-19 12:11:16 +01:00
|
|
|
h, r = r.hidden?, r.to_r
|
2010-03-18 13:43:32 +01:00
|
|
|
r = r[ 1...-1] unless h
|
2010-03-19 12:11:16 +01:00
|
|
|
::Regexp.new r
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
def to_re exp= nil
|
|
|
|
exp||= :main
|
2010-03-19 12:11:16 +01:00
|
|
|
u= RegExpr::Block.new
|
|
|
|
t, u.hidden= if Symbol === exp
|
|
|
|
u.name= exp.to_sym
|
2010-03-18 13:43:32 +01:00
|
|
|
if self[ exp]
|
|
|
|
[ self[ exp], false]
|
2010-03-19 12:11:16 +01:00
|
|
|
else [ self[ exp.to_s], true]
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
else [ exp.to_s, true]
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2012-12-09 13:22:21 +01:00
|
|
|
parse t
|
|
|
|
end
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
def parse t, u= nil
|
|
|
|
u||= RegExpr::Block.new
|
2010-03-19 12:11:16 +01:00
|
|
|
until !t or t.empty?
|
|
|
|
v, t= self.to_r_next t
|
2010-03-18 13:43:32 +01:00
|
|
|
case v
|
|
|
|
when ')' then return u, t
|
2010-03-19 12:11:16 +01:00
|
|
|
when RegExpr::Repeat then v.value= u.pop
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
u.push v
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
u
|
|
|
|
end
|
|
|
|
|
|
|
|
def to_r_next exp
|
2010-03-19 12:11:16 +01:00
|
|
|
exp.strip!
|
|
|
|
/^/ =~ exp[ 1.. -1]
|
2010-03-18 13:43:32 +01:00
|
|
|
t= case exp[ 0]
|
2010-03-19 12:11:16 +01:00
|
|
|
when ?^ then return RegExpr::Begin.new, exp[ 1.. -1]
|
|
|
|
when ?$ then return RegExpr::End.new, exp[ 1.. -1]
|
2010-03-18 13:43:32 +01:00
|
|
|
when ?\\
|
|
|
|
h= case exp[ 1]
|
|
|
|
when ?D, ?S, ?W, ?a, ?d.. ?f, ?n, ?r.. ?t, ?v, ?w
|
2010-03-19 12:11:16 +01:00
|
|
|
return RegExpr::WildCard.new( '\%c'% exp[ 1]), exp[ 2.. -1]
|
2010-03-18 13:43:32 +01:00
|
|
|
when ?x then 16
|
|
|
|
when ?o then 8
|
|
|
|
when ?b then 2
|
|
|
|
when ?0.. ?9
|
|
|
|
exp= 'XX'+ exp[ 1.. -1]
|
|
|
|
10
|
2010-03-19 12:11:16 +01:00
|
|
|
else raise ArgumentError, 'Unknown form "%s"'% exp
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
2010-03-19 12:11:16 +01:00
|
|
|
i= exp[ 2.. -1].to_i h
|
|
|
|
return RegExpr::Char.new( i.chr), exp[ (i.to_s( h). size+ 2).. -1]
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
when ?.
|
|
|
|
return RegExpr::WildCard.new( '.'), exp[ 1.. -1]
|
2010-03-18 13:43:32 +01:00
|
|
|
|
|
|
|
when ?0
|
|
|
|
case exp[ 1]
|
2010-03-19 12:11:16 +01:00
|
|
|
when ?x then %r<^0x([0-9a-f]+)>i.match exp
|
|
|
|
return '', $1.to_i( 16).to_s+ $'
|
|
|
|
when ?o then %r<^0o([0-8]+)>.match exp
|
|
|
|
return '', $1.to_i( 8).to_s+ $'
|
|
|
|
when ?b then %r<^0b([01]+)>.match exp
|
|
|
|
return '', $1.to_i( 2).to_s+ $'
|
2010-03-18 13:43:32 +01:00
|
|
|
else
|
|
|
|
case exp
|
2012-12-09 13:22:21 +01:00
|
|
|
when %r<(\d+)..(\d+)>
|
|
|
|
RegExpr::Range.new $1.to_i, $2.to_i
|
|
|
|
when %r<^(\d+,\d+|,\d+|\d+,?)>
|
|
|
|
RegExpr::Repeat.new '', *$1.split( ',')
|
|
|
|
else
|
|
|
|
raise ArgumentError, 'Unknown form "%s"'% exp
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
when ?(
|
|
|
|
return parse( exp[ 1.. -1])
|
2010-03-18 13:43:32 +01:00
|
|
|
when ?) then ')'
|
2010-03-19 12:11:16 +01:00
|
|
|
when ?| then RegExpr::Or.new
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2010-03-19 12:11:16 +01:00
|
|
|
when ?+ then RegExpr::Repeat.new '', 1, nil
|
|
|
|
when ?* then RegExpr::Repeat.new '', nil
|
|
|
|
when ?? then RegExpr::Repeat.new '', 0, 1
|
2010-03-18 13:43:32 +01:00
|
|
|
|
2012-12-09 13:22:21 +01:00
|
|
|
when ?"
|
|
|
|
RegExpr::Char.new %r<^"((?:[^"]|\\")*)">.match( exp)[ 1]
|
|
|
|
when ?[
|
|
|
|
RegExpr::Chars.new %r<^\[((?:[^\]]|\\\])*[^\\]|)\]>.match( exp)[ 1]
|
|
|
|
when ?/
|
|
|
|
_, re, f= %r<^/((?:[^/]|\\/)*)/(im?|mi)?>.match( exp)
|
|
|
|
flg= $2=~ /i/ ? ::Regexp::IGNORECASE : 0
|
|
|
|
flg+= $2=~ /m/ ? ::Regexp::MULTILINE : 0
|
|
|
|
RegExpr::Regexp.new ::Regexp.new( re, flg)
|
2010-03-18 13:43:32 +01:00
|
|
|
|
|
|
|
else
|
|
|
|
case exp
|
2012-12-09 13:22:21 +01:00
|
|
|
when %r<^([a-z_][a-z_0-9]*\b)>i
|
|
|
|
self.to_re $1.to_sym
|
|
|
|
when %r<(\d+)..(\d+)>
|
|
|
|
RegExpr::Range.new $1.to_i, $2.to_i
|
|
|
|
when %r<^(\d+,\d+|,\d+|\d+,?)>
|
|
|
|
RegExpr::Repeat.new '', *$1.split( ',')
|
|
|
|
else
|
|
|
|
raise ArgumentError, 'Unknown form "%s"'% exp
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
[ t, $' ]
|
|
|
|
end
|
|
|
|
|
2010-03-19 12:11:16 +01:00
|
|
|
def def cl= Class.new, *exp
|
|
|
|
exp= [ :main ] if exp.empty?
|
|
|
|
exp.each do |e|
|
|
|
|
re= self.to_re e
|
|
|
|
names= re.names.collect('@%s'.method(:%)).join ', '
|
|
|
|
re= ::Regexp.new '^%s$'% re.to_r
|
2010-03-18 13:43:32 +01:00
|
|
|
ev= <<-EOF
|
|
|
|
def #{e}= val
|
2010-03-19 12:11:16 +01:00
|
|
|
m= #{re.inspect}. match val
|
|
|
|
raise ArgumentError, 'Unallowed Chars! (%s =~ #{re.inspect})'% val. inspect unless m
|
2010-03-18 13:43:32 +01:00
|
|
|
#{names}= *m[ 1.. -1]
|
|
|
|
end
|
|
|
|
EOF
|
2010-03-19 12:11:16 +01:00
|
|
|
cl.class_eval ev
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|
|
|
|
cl
|
|
|
|
end
|
|
|
|
|
2010-03-19 12:11:16 +01:00
|
|
|
def match( m, exp= :main) to_r( exp).match m end
|
|
|
|
|
|
|
|
def =~( x) to_r =~ x end
|
2010-03-18 13:43:32 +01:00
|
|
|
end
|