class SFRP::Poly::Monofier

Public Class Methods

new(src_set, dest_set, &block) click to toggle source
# File lib/sfrp/poly/monofier.rb, line 4
def initialize(src_set, dest_set, &block)
  @src_set = src_set
  @dest_set = dest_set
  @type_str = {}
  @func_str = {}
  @vconst_str = {}
  @node_str = {}
  block.call(self) if block
end

Public Instance Methods

use_func(func_str, ftyping) click to toggle source
# File lib/sfrp/poly/monofier.rb, line 27
def use_func(func_str, ftyping)
  unique_func_str = func_str + '/FUNC/' + ftyping.unique_str
  if @func_str.key?(unique_func_str)
    @func_str[unique_func_str]
  else
    new_func = @src_set.func(func_str).clone
    mono_func_str = 'F' + md5(unique_func_str)
    new_func.ftyping(@src_set).unify(ftyping)
    @dest_set << new_func.to_mono(self, mono_func_str)
    @func_str[unique_func_str] = mono_func_str
  end
end
use_node(node_str) click to toggle source
# File lib/sfrp/poly/monofier.rb, line 53
def use_node(node_str)
  unique_node_str = node_str + '/NODE/'
  if @node_str.key?(unique_node_str)
    @node_str[unique_node_str]
  else
    @node_str[unique_node_str] = 'N' + md5(unique_node_str)
  end
end
use_type(typing) click to toggle source
# File lib/sfrp/poly/monofier.rb, line 14
def use_type(typing)
  unique_type_str = typing.tconst_str + '/TYPE/' + typing.unique_str
  if @type_str.key?(unique_type_str)
    @type_str[unique_type_str]
  else
    @type_str[unique_type_str] = 'T' + md5(unique_type_str)
    new_tconst = @src_set.tconst(typing.tconst_str).clone
    new_tconst.typing.unify(typing)
    @dest_set << new_tconst.to_mono(self)
    @type_str[unique_type_str]
  end
end
use_vconst(vconst_str, typing) click to toggle source
# File lib/sfrp/poly/monofier.rb, line 40
def use_vconst(vconst_str, typing)
  unique_vconst_str = vconst_str + '/VCONST/' + typing.unique_str
  if @vconst_str.key?(unique_vconst_str)
    @vconst_str[unique_vconst_str]
  else
    @vconst_str[unique_vconst_str] = 'V' + md5(unique_vconst_str)
    new_vconst = @src_set.vconst(vconst_str).clone
    new_vconst.ftyping.body.unify(typing)
    @dest_set << new_vconst.to_mono(self)
    @vconst_str[unique_vconst_str]
  end
end

Private Instance Methods

md5(str) click to toggle source
# File lib/sfrp/poly/monofier.rb, line 64
def md5(str)
  require 'digest/md5'
  @record ||= {}
  hash_val = Digest::MD5.hexdigest(str).to_i(16).to_s(36)[0, 20]
  raise "MD5: #{@record[hash_val]} and #{str}" if @record.key?(hash_val)
  hash_val
end