Class: PatternMatch::PatternVariable

Inherits:

PatternElement

• Object
• Pattern
• PatternElement
• PatternMatch::PatternVariable

Defined in:

lib/egison/core.rb

Instance Attribute Summary

• #name ⇒ Object readonly

  Returns the value of attribute name.

Attributes inherited from Pattern

#quantified

Instance Method Summary

• #initialize(name) ⇒ PatternVariable constructor

  A new instance of PatternVariable.

• #match(tgt, bindings) ⇒ Object

Methods inherited from Pattern

#to_a

Constructor Details

#initialize(name) ⇒ PatternVariable

Returns a new instance of PatternVariable.

# File 'lib/egison/core.rb', line 142

def initialize(name)
  super()
  @name = name
end

Instance Attribute Details

#name ⇒ Object (readonly)

Returns the value of attribute name.

# File 'lib/egison/core.rb', line 140

def name
  @name
end

Instance Method Details

#match(tgt, bindings) ⇒ Object

# File 'lib/egison/core.rb', line 147

def match(tgt, bindings)
  [[[], [[name, tgt]]]]
end