Class: Propose::REPL

Inherits:
Object
  • Object
show all
Defined in:
lib/propose/repl.rb

Overview

Read-Eval-Print-Loop engine, allowing a user to interactively create and explore the properties of propositional logic statements.

Instance Method Summary collapse

Instance Method Details

#run ⇒ Object 



9
10
11
12
13
14
15
 
# File 'lib/propose/repl.rb', line 9

def run
  while input = Readline.readline('> '.green, true)
    handle_input(input)
  end
rescue SignalException # rubocop:disable HandleExceptions
  # User hit Ctrl-C; close gracefully
end