Class: Propose::Parser

Inherits:

Object

• Object
• Propose::Parser

Defined in:

lib/propose/parser.rb

Overview

Parses a propositional logic statement into an abstract syntax tree.

Constant Summary

GRAMMAR_FILE =

File.expand_path(File.join(File.dirname(__FILE__),
'..', '..', 'grammar',
'propositional_logic.treetop'))

Class Method Summary

• .parse(string) ⇒ Object

Class Method Details

.parse(string) ⇒ Object

Raises:

• (ParseError)

# File 'lib/propose/parser.rb', line 14

def parse(string)
  tree = parser.parse(string)
  raise ParseError, parser.failure_reason unless tree

  tree.to_ast
end