Class: Sexp::QuantifyExpression

Inherits:
PrefixExpression show all
Defined in:
lib/parser/parser_nodes.rb

Instance Method Summary collapse

Methods inherited from PrefixExpression

#expression_prefix, #operator, #operator_node

Methods inherited from AbstactExpression

#expression_postfix, #expression_prefix, #expression_val, #expressions, #has_rhs, #node_value, #rhs_node, #traverse

Methods inherited from Treetop::Runtime::SyntaxNode

#node_type, #node_value, #recursive_inject, #recursive_inject_parent, #recursive_select, #value

Instance Method Details

#binds_nodes ⇒ Object 



408
409
410
 
# File 'lib/parser/parser_nodes.rb', line 408

def binds_nodes
  recursive_select( Sexp::BindsInExpression ).first.recursive_select( Sexp::BoundInExpression )
end

#lhs_node ⇒ Object

do not automatically recurse during ‘traverse’



404
405
406
 
# File 'lib/parser/parser_nodes.rb', line 404

def lhs_node
  nil
end

#name ⇒ String

For documentation purposes symbol table context needs a name (For procedures, and macros name is ovbious. For a set expression we define name set a string “Set+<generator set>”

Returns:

  • (String) —

    name identifying context in symbol table



425
426
427
 
# File 'lib/parser/parser_nodes.rb', line 425

def name
  "Quantification-??"
end

#quantified_expression ⇒ AbstractExpression

Quantification defines ‘quantified_expression’ in left hand size in binary tree modeling expression.

Returns:

  • (AbstractExpression) —

    synxtax tree node for the quentified expression



416
417
418
 
# File 'lib/parser/parser_nodes.rb', line 416

def quantified_expression
  expressions.first
end

#symbol_definitions ⇒ Array

Some variables in ‘constructor_expression’ (most likely) refer to variable defined in set constructor generate. Return name of this variables.

Returns:

  • (Array) —

    of one hash with ‘:node_type’,‘:value’ properties



434
435
436
437
438
 
# File 'lib/parser/parser_nodes.rb', line 434

def symbol_definitions
  binds_nodes.map do |binds_node|
    { :node_type => node_type, :value => binds_node.bind_var.expression_val, :tree=>binds_node }
  end
end