Class: SbuilderSexp::Directive

Inherits:

Root

• Object
• Treetop::Runtime::SyntaxNode
• Root
• SbuilderSexp::Directive

Defined in:

lib/parser/parser_nodes.rb

Overview

---

directives (assumption, invariants)

Direct Known Subclasses

Assumption, Invariant, Recursive

Instance Method Summary

• #directives ⇒ String:Array

  Of directive names.

Methods inherited from Treetop::Runtime::SyntaxNode

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

Instance Method Details

#directives ⇒ String:Array

Returns of directive names.

Returns:

• (String:Array) —

  of directive names

# File 'lib/parser/parser_nodes.rb', line 1085

def directives
  recursive_select( SbuilderSexp::Identifier ).map { |i| i.node_value }
end