src/thue/program.cr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

require "./thue.cr"
require "./parser.cr"
require "../util.cr"
require "../program.cr"

struct Thue::Program < Flint::Program
  def initialize(source_io : IO)
    super

    @parser = Parser.new(source_io)
  end

  def interpret : Nil
    rules, state = @parser.parse

    loop do
      r = rules.find { |r| r.matches?(state) }
      break if r.nil?

      state = state.sub(r.pattern, r.replacement)
    end

    puts state
  end

  def compile
    raise Util::NoCompilerAvailableError.new("No available compilier for Thue")
  end
end