mahoujin 2.0.0

data/lib/mahoujin/atoms/specific_repetition.rb

@@ -0,0 +1,11 @@
+module Mahoujin
+  module Atoms
+    class SpecificRepetition
+      attr_reader :atom, :number
+
+      def initialize(atom, number)
+        @atom, @number = atom, number
+      end
+    end
+  end
+end

data/lib/mahoujin/atoms/syntax.rb

@@ -0,0 +1,11 @@
+module Mahoujin
+  module Atoms
+    class Syntax
+      attr_reader :atoms
+
+      def initialize(atoms)
+        @atoms = atoms
+      end
+    end
+  end
+end

data/lib/mahoujin/atoms/terminal.rb

@@ -0,0 +1,11 @@
+module Mahoujin
+  module Atoms
+    class Terminal
+      attr_reader :content
+
+      def initialize(content)
+        @content = content.freeze
+      end
+    end
+  end
+end

data/lib/mahoujin/atoms/zero_or_more_repetition.rb

@@ -0,0 +1,11 @@
+module Mahoujin
+  module Atoms
+    class ZeroOrMoreRepetition
+      attr_reader :atom
+
+      def initialize(atom)
+        @atom = atom
+      end
+    end
+  end
+end

data/lib/mahoujin/graphics/layout.rb

@@ -0,0 +1,203 @@
+module Mahoujin
+  module Graphics
+    class Layout
+      def layout(atom, style)
+        Cairo::SVGSurface.new(StringIO.new, 200, 200) do |surface|
+          @ctx = Cairo::Context.new(surface)
+          @style = style
+
+          initialize_graphics_environment
+          layout_atom(atom)
+        end
+      end
+
+      private
+
+      def initialize_graphics_environment
+        @ctx.set_source_color(:black)
+        @ctx.set_line_width(@style.basic[:line][:width])
+
+        @ctx.select_font_face(@style.basic[:font][:family], Cairo::FONT_SLANT_NORMAL, Cairo::FONT_WEIGHT_NORMAL)
+        @ctx.set_font_size(@style.basic[:font][:size])
+
+        @style.basic[:unit] ||= @ctx.text_extents([*('A'..'Z'), *('a'..'z'), *('0'..'9')].join).height
+      end
+
+      def graphics_unit
+        @style.basic[:unit]
+      end
+
+      def graphics_value(atom, attribute)
+        @style.query(atom.class, attribute)
+      end
+
+      def measure_text_metrics(text, font)
+        @ctx.save
+        @ctx.select_font_face(@ctx.font_face.family, @ctx.font_face.slant, Cairo::FONT_WEIGHT_BOLD) if font[:bold]
+        @ctx.select_font_face(@ctx.font_face.family, Cairo::FONT_SLANT_ITALIC, @ctx.font_face.weight) if font[:italic]
+        @ctx.set_font_size(font[:size]) if font[:size]
+        @ctx.text_extents(text)
+      ensure
+        @ctx.restore
+      end
+
+      def layout_atom(atom)
+        send "layout_#{atom.class.underscore_name}", atom
+      end
+
+      def layout_syntax(atom)
+        atom.atoms.each { |a| layout_atom(a) }
+
+        space = graphics_value(atom, :space) * graphics_unit
+        top = 0
+
+        atom.atoms.each do |a|
+          move_recursively(a, :top, top)
+          top += a.bbox.height + space
+        end
+
+        bbox = Graphics::Utilities::Rectangle.new(0, 0, atom.atoms.map(&:bbox).map(&:width).max, top - space)
+        bbox.centerline = 0
+        atom.bbox.sync_with(bbox)
+
+        expand_atom_bbox(atom, graphics_value(atom, :padding))
+      end
+
+      def layout_rule(atom)
+        layout_atom(atom.rule_name_atom)
+        layout_atom(atom.atom)
+
+        space = graphics_value(atom, :space) * graphics_unit
+        top = 0
+
+        atoms = [atom.rule_name_atom, atom.atom]
+        atoms.each do |a|
+          move_recursively(a, :top, top)
+          top += a.bbox.height + space
+        end
+
+        bbox = Graphics::Utilities::Rectangle.new(0, 0, atoms.map(&:bbox).map(&:width).max, top - space)
+        bbox.centerline = atom.atom.bbox.centerline
+        atom.bbox.sync_with(bbox)
+
+        expand_atom_bbox(atom, graphics_value(atom, :padding))
+        move_recursively(atom.rule_name_atom, :left, 0)
+      end
+
+      def layout_rule_name(atom)
+        initialize_text_atom(atom, graphics_value(atom, :bsize), graphics_value(atom, :font))
+      end
+
+      def layout_choice(atom)
+        atom.atoms.each { |a| layout_atom(a) }
+
+        reference = atom.atoms.max(&->(a1, a2) { a1.bbox.width <=> a2.bbox.width })
+        space = graphics_value(atom, :space) * graphics_unit
+        top = 0
+
+        atom.atoms.each do |a|
+          move_recursively(a, :top, top)
+          top += a.bbox.height + space
+        end
+
+        bbox = Graphics::Utilities::Rectangle.new(0, 0, reference.bbox.width, top - space)
+        bbox.centerline = reference.bbox.centerline
+        atom.bbox.sync_with(bbox)
+
+        expand_atom_bbox(atom, graphics_value(atom, :padding))
+      end
+
+      def layout_concatenation(atom)
+        atom.atoms.each { |a| layout_atom(a) }
+
+        reference = atom.atoms.max(&->(a1, a2) { a1.bbox.height <=> a2.bbox.height })
+        space = graphics_value(atom, :space) * graphics_unit
+        left = 0
+
+        atom.atoms.each do |a|
+          move_recursively(a, :top, reference.bbox.centerline + (a.bbox.top - a.bbox.centerline))
+          move_recursively(a, :left, left)
+          left += a.bbox.width + space
+        end
+
+        bbox = Graphics::Utilities::Rectangle.new(0, 0, left - space, reference.bbox.height)
+        bbox.centerline = reference.bbox.centerline
+        atom.bbox.sync_with(bbox)
+      end
+
+      def layout_specific_repetition(atom)
+        layout_atom(atom.atom)
+        atom.bbox.sync_with(atom.atom.bbox)
+
+        expand_atom_bbox(atom, graphics_value(atom, :padding))
+      end
+
+      def layout_optional(atom)
+        layout_atom(atom.atom)
+        atom.bbox.sync_with(atom.atom.bbox)
+
+        expand_atom_bbox(atom, graphics_value(atom, :padding))
+      end
+
+      def layout_zero_or_more_repetition(atom)
+        layout_atom(atom.atom)
+        atom.bbox.sync_with(atom.atom.bbox)
+
+        expand_atom_bbox(atom, graphics_value(atom, :padding))
+      end
+
+      def layout_grouping(atom)
+        layout_atom(atom.atom)
+        atom.bbox.sync_with(atom.atom.bbox)
+      end
+
+      def layout_prose(atom)
+        initialize_text_atom(atom, graphics_value(atom, :bsize), graphics_value(atom, :font))
+      end
+
+      def layout_exception(atom)
+        initialize_text_atom(atom, graphics_value(atom, :bsize), graphics_value(atom, :font))
+      end
+
+      def layout_non_terminal(atom)
+        initialize_text_atom(atom, graphics_value(atom, :bsize), graphics_value(atom, :font))
+      end
+
+      def layout_terminal(atom)
+        initialize_text_atom(atom, graphics_value(atom, :bsize), graphics_value(atom, :font))
+      end
+
+      def initialize_text_atom(atom, bsize, font)
+        bbox = atom.bbox
+        text = atom.content
+
+        bbox.top    = 0
+        bbox.left   = 0
+        bbox.width  = bsize.fetch(:width,  0) * graphics_unit + measure_text_metrics(text, font).width
+        bbox.height = bsize.fetch(:height, 0) * graphics_unit
+        bbox.centerline = bbox.top + bbox.height.fdiv(2)
+      end
+
+      def expand_atom_bbox(atom, padding)
+        bbox = atom.bbox
+        x, y = bbox.left, bbox.top
+
+        bbox.top    -= padding.fetch(:top,    0) * graphics_unit
+        bbox.bottom += padding.fetch(:bottom, 0) * graphics_unit
+        bbox.left   -= padding.fetch(:left,   0) * graphics_unit
+        bbox.right  += padding.fetch(:right,  0) * graphics_unit
+
+        move_recursively(atom, :top,  y)
+        move_recursively(atom, :left, x)
+      end
+
+      def move_recursively(atom, bound, coordinate)
+        difference = coordinate - atom.bbox.send(bound)
+        atom.bbox.send("move_#{bound}", coordinate)
+        atom.atom.tap(&->(a) { move_recursively(a, bound, a.bbox.send(bound) + difference) }) if atom.respond_to?(:atom)
+        atom.atoms.each(&->(a) { move_recursively(a, bound, a.bbox.send(bound) + difference) }) if atom.respond_to?(:atoms)
+        atom.rule_name_atom.tap(&->(a) { move_recursively(a, bound, a.bbox.send(bound) + difference) }) if atom.is_a?(Atoms::Rule)
+      end
+    end
+  end
+end

data/lib/mahoujin/graphics/renderer.rb

@@ -0,0 +1,337 @@
+module Mahoujin
+  module Graphics
+    class Renderer
+      def render(atom, iostream, style = nil)
+        @style = style || Graphics::Styles::Basic.new
+
+        @layout = Graphics::Layout.new
+        @layout.layout(atom, @style)
+
+        Cairo::SVGSurface.new(iostream, atom.bbox.width, atom.bbox.height) do |surface|
+          @ctx = Cairo::Context.new(surface)
+          initialize_graphics_environment(atom.bbox)
+          render_atom(atom)
+        end
+      end
+
+      private
+
+      def initialize_graphics_environment(bbox)
+        @ctx.rectangle(0, 0, bbox.width, bbox.height)
+        @ctx.set_source_color(:white)
+        @ctx.fill
+
+        @ctx.set_source_color(:black)
+        @ctx.set_line_width(@style.basic[:line][:width])
+
+        @ctx.select_font_face(@style.basic[:font][:family], Cairo::FONT_SLANT_NORMAL, Cairo::FONT_WEIGHT_NORMAL)
+        @ctx.set_font_size(@style.basic[:font][:size])
+      end
+
+      def graphics_font
+        @style.basic[:font]
+      end
+
+      def graphics_unit
+        @style.basic[:unit]
+      end
+
+      def graphics_corner_radius
+        @style.basic[:corner][:radius] * graphics_unit
+      end
+
+      def graphics_value(atom, attribute)
+        @style.query(atom.class, attribute)
+      end
+
+      def measure_text_metrics(text, font)
+        @ctx.save
+        @ctx.select_font_face(@ctx.font_face.family, @ctx.font_face.slant, Cairo::FONT_WEIGHT_BOLD) if font[:bold]
+        @ctx.select_font_face(@ctx.font_face.family, Cairo::FONT_SLANT_ITALIC, @ctx.font_face.weight) if font[:italic]
+        @ctx.set_font_size(font[:size]) if font[:size]
+        @ctx.text_extents(text)
+      ensure
+        @ctx.restore
+      end
+
+      def render_atom(atom)
+        send "render_#{atom.class.underscore_name}", atom
+      end
+
+      def render_syntax(atom)
+        atom.atoms.each { |a| render_atom(a) }
+      end
+
+      def render_rule(atom)
+        render_atom(atom.rule_name_atom)
+        render_atom(atom.atom)
+
+        innerbbox, outerbbox, centerline = atom.atom.bbox, atom.bbox, atom.bbox.centerline
+        v1, v2, v3, v4 = outerbbox.left, innerbbox.left, innerbbox.right, outerbbox.right
+
+        draw_straight_line(v1, centerline, v2, centerline)
+        draw_straight_line(v3, centerline, v4, centerline)
+
+        h = graphics_unit
+        draw_straight_line(v1, centerline - h.fdiv(2), v1, centerline + h.fdiv(2))
+        draw_straight_line(v4, centerline - h.fdiv(2), v4, centerline + h.fdiv(2))
+      end
+
+      def render_rule_name(atom)
+        font = graphics_value(atom, :font)
+        draw_text(atom.bbox, atom.content, font)
+      end
+
+      def render_choice(atom)
+        atom.atoms.each { |a| render_atom(a) }
+
+        reference = atom.atoms.max(&->(a1, a2) { a1.bbox.width <=> a2.bbox.width })
+        centerline = reference.bbox.centerline
+        v1, v2, v3, v4 = atom.bbox.left, reference.bbox.left, reference.bbox.right, atom.bbox.right
+
+        a = v1, centerline
+        b = v2, centerline
+        c = v3, centerline
+        d = v4, centerline
+        draw_straight_line(*a, *b)
+        draw_straight_line(*c, *d)
+
+        if (index = atom.atoms.find_index(reference)) != 0
+          upper = atom.atoms[index - 1]
+          s = (v1 + v2).fdiv(2), (upper.bbox.centerline + centerline).fdiv(2)
+          e = (v3 + v4).fdiv(2), (upper.bbox.centerline + centerline).fdiv(2)
+
+          draw_rounded_corner(a[0], s[1], s[0] - a[0], a[1] - s[1], graphics_corner_radius, :se)
+          draw_rounded_corner(e[0], e[1], d[0] - e[0], d[1] - e[1], graphics_corner_radius, :sw)
+          atom.atoms[0...index].each do |ua|
+            w =            v2, ua.bbox.centerline
+            x =  ua.bbox.left, ua.bbox.centerline
+            y = ua.bbox.right, ua.bbox.centerline
+            z =            v3, ua.bbox.centerline
+            draw_rounded_corner(s[0], w[1], w[0] - s[0], s[1] - w[1], graphics_corner_radius, :nw)
+            draw_straight_line(*w, *x)
+            draw_straight_line(*y, *z)
+            draw_rounded_corner(z[0], z[1], e[0] - z[0], e[1] - z[1], graphics_corner_radius, :ne)
+          end
+        end
+
+        if (index = atom.atoms.find_index(reference)) != atom.atoms.size - 1
+          lower = atom.atoms[index + 1]
+          s = (v1 + v2).fdiv(2), (lower.bbox.centerline + centerline).fdiv(2)
+          e = (v3 + v4).fdiv(2), (lower.bbox.centerline + centerline).fdiv(2)
+
+          draw_rounded_corner(a[0], a[1], s[0] - a[0], s[1] - a[1], graphics_corner_radius, :ne)
+          draw_rounded_corner(e[0], d[1], d[0] - e[0], e[1] - d[1], graphics_corner_radius, :nw)
+          atom.atoms[(index + 1)..-1].each do |la|
+            w =            v2, la.bbox.centerline
+            x =  la.bbox.left, la.bbox.centerline
+            y = la.bbox.right, la.bbox.centerline
+            z =            v3, la.bbox.centerline
+            draw_rounded_corner(s[0], s[1], w[0] - s[0], w[1] - s[1], graphics_corner_radius, :sw)
+            draw_straight_line(*w, *x)
+            draw_straight_line(*y, *z)
+            draw_rounded_corner(z[0], e[1], e[0] - z[0], z[1] - e[1], graphics_corner_radius, :se)
+          end
+        end; nil
+      end
+
+      def render_concatenation(atom)
+        atom.atoms.each { |a| render_atom(a) }
+
+        centerline = atom.bbox.centerline
+        atom.atoms.each_cons(2) do |a1, a2|
+          draw_straight_line(a1.bbox.right, centerline, a2.bbox.left, centerline)
+        end
+      end
+
+      def render_specific_repetition(atom)
+        render_atom(atom.atom)
+
+        innerbbox, outerbbox, centerline = atom.atom.bbox, atom.bbox, atom.bbox.centerline
+        v1, v2, v3, v4 = outerbbox.left, innerbbox.left, innerbbox.right, outerbbox.right
+
+        draw_straight_line(v1, centerline, v2, centerline)
+        draw_straight_line(v3, centerline, v4, centerline)
+        draw_infinite_loop_line(v1, v2, v3, v4, outerbbox.top, centerline, graphics_corner_radius)
+
+        text = "{ #{atom.number} }"
+        font = { size: graphics_font[:size] * 0.8 }
+        e = measure_text_metrics(text, font)
+        x, y = (v1 + v4).fdiv(2) - e.width.fdiv(2), outerbbox.top - e.height.fdiv(2)
+        bbox = Graphics::Utilities::Rectangle.new(x, y, x + e.width, y + e.height)
+        fill_bbox(bbox, :white)
+        draw_text(bbox, text, font)
+      end
+
+      def render_optional(atom)
+        render_atom(atom.atom)
+
+        innerbbox, outerbbox, centerline = atom.atom.bbox, atom.bbox, atom.bbox.centerline
+        v1, v2, v3, v4 = outerbbox.left, innerbbox.left, innerbbox.right, outerbbox.right
+
+        draw_straight_line(v1, centerline, v2, centerline)
+        draw_straight_line(v3, centerline, v4, centerline)
+        draw_snake_case_line(v1, v2, v3, v4, centerline, outerbbox.bottom, graphics_corner_radius)
+      end
+
+      def render_zero_or_more_repetition(atom)
+        render_atom(atom.atom)
+
+        innerbbox, outerbbox, centerline = atom.atom.bbox, atom.bbox, atom.bbox.centerline
+        v1, v2, v3, v4 = outerbbox.left, innerbbox.left, innerbbox.right, outerbbox.right
+
+        draw_straight_line(v1, centerline, v2, centerline)
+        draw_straight_line(v3, centerline, v4, centerline)
+        draw_snake_case_line(v1, v2, v3, v4, centerline, outerbbox.bottom, graphics_corner_radius)
+        draw_infinite_loop_line((v1 + v2).fdiv(2), v2, v3, (v3 + v4).fdiv(2), outerbbox.top, centerline, graphics_corner_radius)
+      end
+
+      def render_grouping(atom)
+        render_atom(atom.atom)
+      end
+
+      def render_prose(atom)
+        font = graphics_value(atom, :font)
+        padding = (atom.bbox.width - measure_text_metrics(atom.content, font).width).fdiv(2)
+
+        draw_hexagon(atom.bbox, padding * 0.618, graphics_value(atom, :background))
+        draw_text(atom.bbox, atom.content, font)
+      end
+
+      def render_exception(atom)
+        font = graphics_value(atom, :font)
+        padding = (atom.bbox.width - measure_text_metrics(atom.content, font).width).fdiv(2)
+
+        draw_hexagon(atom.bbox, padding * 0.618, graphics_value(atom, :background))
+        draw_text(atom.bbox, atom.content, font)
+      end
+
+      def render_non_terminal(atom)
+        font = graphics_value(atom, :font)
+
+        draw_rectangle(atom.bbox, graphics_value(atom, :background))
+        draw_text(atom.bbox, atom.content, font)
+      end
+
+      def render_terminal(atom)
+        font = graphics_value(atom, :font)
+        padding = (atom.bbox.width - measure_text_metrics(atom.content, font).width).fdiv(2)
+
+        draw_rounded_rectangle(atom.bbox, padding, graphics_value(atom, :background))
+        draw_text(atom.bbox, atom.content, font)
+      end
+
+      def fill_bbox(bbox, background)
+        @ctx.save do
+          @ctx.rounded_rectangle(bbox.left, bbox.top, bbox.width, bbox.height, 0)
+          @ctx.set_source_color(background)
+          @ctx.fill
+        end
+      end
+
+      def draw_text(bbox, text, font)
+        e = measure_text_metrics(text, font)
+        x = bbox.left + bbox.width.fdiv(2) - ( e.width.fdiv(2) + e.x_bearing)
+        y = bbox.top + bbox.height.fdiv(2) - (e.height.fdiv(2) + e.y_bearing)
+
+        @ctx.save do
+          @ctx.select_font_face(@ctx.font_face.family, @ctx.font_face.slant, Cairo::FONT_WEIGHT_BOLD) if font[:bold]
+          @ctx.select_font_face(@ctx.font_face.family, Cairo::FONT_SLANT_ITALIC, @ctx.font_face.weight) if font[:italic]
+          @ctx.set_font_size(font[:size]) if font[:size]
+          @ctx.move_to(x, y).show_text(text)
+        end
+      end
+
+      def draw_hexagon(bbox, radius, background)
+        left, top, right, bottom = bbox.left, bbox.top, bbox.right, bbox.bottom
+        centerline = bbox.centerline
+
+        a =           left, centerline
+        b =  left + radius, top
+        c = right - radius, top
+        d =          right, centerline
+        e = right - radius, bottom
+        f =  left + radius, bottom
+
+        @ctx.move_to(*a).line_to(*b).line_to(*c).line_to(*d).line_to(*e).line_to(*f).close_path
+        @ctx.save { @ctx.set_source_color(background).fill_preserve }
+        @ctx.stroke
+      end
+
+      def draw_rectangle(bbox, background)
+        @ctx.rounded_rectangle(bbox.left, bbox.top, bbox.width, bbox.height, 0)
+        @ctx.save { @ctx.set_source_color(background).fill_preserve }
+        @ctx.stroke
+      end
+
+      def draw_rounded_rectangle(bbox, radius, background)
+        @ctx.rounded_rectangle(bbox.left, bbox.top, bbox.width, bbox.height, radius)
+        @ctx.save { @ctx.set_source_color(background).fill_preserve }
+        @ctx.stroke
+      end
+
+      def draw_infinite_loop_line(v1, v2, v3, v4, h1, h2, radius)
+        a = v2, h2
+        b = v2, h1
+        c = v3, h1
+        d = v3, h2
+        e = v1, (h1 + h2).fdiv(2)
+        f = v4, (h1 + h2).fdiv(2)
+
+        draw_rounded_corner(*e, a[0] - e[0], a[1] - e[1], radius, :sw)
+        draw_rounded_corner(e[0], b[1], b[0] - e[0], e[1] - b[1], radius, :nw)
+        draw_straight_line(*b, *c)
+        draw_rounded_corner(*c, f[0] - c[0], f[1] - c[1], radius, :ne)
+        draw_rounded_corner(d[0], f[1], f[0] - d[0], d[1] - f[1], radius, :se)
+      end
+
+      def draw_snake_case_line(v1, v2, v3, v4, h1, h2, radius)
+        a = v1, h1
+        b = v2, h2
+        c = v3, h2
+        d = v4, h1
+        e = center_point(*a, *b)
+        f = center_point(*c, *d)
+
+        draw_rounded_corner(*a, e[0] - a[0], e[1] - a[1], radius, :ne)
+        draw_rounded_corner(*e, b[0] - e[0], b[1] - e[1], radius, :sw)
+        draw_straight_line(*b, *c)
+        draw_rounded_corner(c[0], f[1], f[0] - c[0], c[1] - f[1], radius, :se)
+        draw_rounded_corner(f[0], d[1], d[0] - f[0], f[1] - d[1], radius, :nw)
+      end
+
+      def draw_straight_line(x1, y1, x2, y2)
+        @ctx.move_to(x1, y1).line_to(x2, y2).stroke
+      end
+
+      def draw_rounded_corner(x, y, width, height, radius, corner)
+        x1, y1 = x, y
+        x2, y2 = x + width, y + height
+        radius = [width, height, radius].min
+
+        case corner
+        when :nw
+          @ctx.move_to(x1, y2).line_to(x1, y1 + radius).stroke
+          @ctx.arc(x1 + radius, y1 + radius, radius, 180 * (Math::PI / 180), 270 * (Math::PI / 180)).stroke
+          @ctx.move_to(x1 + radius, y1).line_to(x2, y1).stroke
+        when :ne
+          @ctx.move_to(x1, y1).line_to(x2 - radius, y1).stroke
+          @ctx.arc(x2 - radius, y1 + radius, radius, 270 * (Math::PI / 180), 360 * (Math::PI / 180)).stroke
+          @ctx.move_to(x2, y1 + radius).line_to(x2, y2).stroke
+        when :se
+          @ctx.move_to(x2, y1).line_to(x2, y2 - radius).stroke
+          @ctx.arc(x2 - radius, y2 - radius, radius,   0 * (Math::PI / 180),  90 * (Math::PI / 180)).stroke
+          @ctx.move_to(x2 - radius, y2).line_to(x1, y2).stroke
+        when :sw
+          @ctx.move_to(x2, y2).line_to(x1 + radius, y2).stroke
+          @ctx.arc(x1 + radius, y2 - radius, radius,  90 * (Math::PI / 180), 180 * (Math::PI / 180)).stroke
+          @ctx.move_to(x1, y2 - radius).line_to(x1, y1).stroke
+        end
+      end
+
+      def center_point(x1, y1, x2, y2)
+        [(x1 + x2).fdiv(2), (y1 + y2).fdiv(2)]
+      end
+    end
+  end
+end