Class: TlaTraceFilter::Parser::Grammar::StateVariable

Inherits:

NonTerminal

• Object
• Treetop::Runtime::SyntaxNode
• Root
• NonTerminal
• TlaTraceFilter::Parser::Grammar::StateVariable

Defined in:

lib/parser/node_extensions.rb

Instance Method Summary

• #name ⇒ Object

Methods inherited from Treetop::Runtime::SyntaxNode

#deep_each, #each_sexp, #nodes_with_match

Instance Method Details

#name ⇒ Object

# File 'lib/parser/node_extensions.rb', line 87

def name
  state_variable.text_value
end