Class: PatternMatch::Pattern

Inherits:

Object

• Object
• PatternMatch::Pattern

show all

Defined in:

lib/pattern-match.rb

Instance Attribute Summary (collapse)

• - (Object) next

  Returns the value of attribute next.

• - (Object) parent

  Returns the value of attribute parent.

• - (Object) pattern_match_env
• - (Object) prev

  Returns the value of attribute prev.

Instance Method Summary (collapse)

• - (Object) !@
• - (Object) &(pattern)
• - (Object) binding
• - (Pattern) initialize(*subpatterns) constructor

  A new instance of Pattern.

• - (Boolean) quantified?
• - (Boolean) root?
• - (Object) to_a
• - (Object) validate
• - (Object) vars
• - (Object) |(pattern)

135
136
137
138
139
140
141
142

# File 'lib/pattern-match.rb', line 135

def initialize(*subpatterns)
  @parent = nil
  @next = nil
  @prev = nil
  @pattern_match_env = nil
  @subpatterns = subpatterns.map {|i| i.is_a?(Pattern) ? i : PatternValue.new(i) }
  set_subpatterns_relation
end

132
133
134

# File 'lib/pattern-match.rb', line 132

def next
  @next
end

132
133
134

# File 'lib/pattern-match.rb', line 132

def parent
  @parent
end

185
186
187

# File 'lib/pattern-match.rb', line 185

def pattern_match_env
  @pattern_match_env || @parent.pattern_match_env
end

132
133
134

# File 'lib/pattern-match.rb', line 132

def prev
  @prev
end

160
161
162

# File 'lib/pattern-match.rb', line 160

def !@
  PatternNot.new(self)
end

152
153
154

# File 'lib/pattern-match.rb', line 152

def &(pattern)
  PatternAnd.new(self, pattern)
end

148
149
150

# File 'lib/pattern-match.rb', line 148

def binding
  vars.each_with_object({}) {|v, h| h[v.name] = v.val }
end

168
169
170

# File 'lib/pattern-match.rb', line 168

def quantified?
  @next.is_a?(PatternQuantifier) || (root? ? false : @parent.quantified?)
end

172
173
174

# File 'lib/pattern-match.rb', line 172

def root?
  @parent == nil
end

164
165
166

# File 'lib/pattern-match.rb', line 164

def to_a
  [self, PatternQuantifier.new(0)]
end

176
177
178
179
180
181
182
183

# File 'lib/pattern-match.rb', line 176

def validate
  if root?
    dup_vars = vars - vars.uniq {|i| i.name }
    raise MalformedPatternError, "duplicate variables: #{dup_vars.map(&:name).join(', ')}" unless dup_vars.empty?
  end
  raise MalformedPatternError if @subpatterns.count {|i| i.is_a?(PatternQuantifier) } > 1
  @subpatterns.each(&:validate)
end

144
145
146

# File 'lib/pattern-match.rb', line 144

def vars
  @subpatterns.map(&:vars).inject([], :concat)
end

156
157
158

# File 'lib/pattern-match.rb', line 156

def |(pattern)
  PatternOr.new(self, pattern)
end