Class: PatternMatch::AndPattern

Inherits:
PatternElement show all
Defined in:
lib/egison/core.rb

Instance Attribute Summary collapse

Attributes inherited from Pattern

#quantified

Instance Method Summary collapse

Methods inherited from Pattern

#match_stream, #to_a

Constructor Details

#initialize(*subpatterns) ⇒ AndPattern

Returns a new instance of AndPattern.



237
238
239
240
# File 'lib/egison/core.rb', line 237

def initialize(*subpatterns)
  super()
  @pats = subpatterns
end

Instance Attribute Details

#patsObject (readonly)

Returns the value of attribute pats.



235
236
237
# File 'lib/egison/core.rb', line 235

def pats
  @pats
end

Instance Method Details

#match(tgt, bindings) ⇒ Object



242
243
244
# File 'lib/egison/core.rb', line 242

def match(tgt, bindings)
  [[@pats.map { |pat| [pat, tgt] }, []]]
end