furnace 0.4.0.beta.1 → 0.4.0.beta.2

data/test/{transform_test.rb → test_transform.rb}

@@ -1,4 +1,4 @@
-require_relative 'test_helper'
+require_relative 'helper'
 
 describe Transform do
   class Context
@@ -71,4 +71,4 @@ describe Transform do
       pipeline.run(@context).should == false
     end
   end
-end
+end

data/test/test_type.rb

@@ -0,0 +1,138 @@
+require_relative 'helper'
+
+describe Type do
+  describe Type::Top do
+    before do
+      @type = Type::Top.new
+    end
+
+    it 'converts to type' do
+      @type.to_type.should.be.equal @type
+    end
+
+    it 'is a singleton' do
+      @type.should.be.equal @type
+    end
+
+    it 'should be ==, eql?, subtype_of? and have the same hash as itself' do
+      @type.should == @type
+      @type.should.be.eql @type
+      @type.should.be.subtype_of @type
+      @type.hash.should == @type.hash
+    end
+
+    it 'can replace itself' do
+      @type.replace_type_with(@type, Type::Bottom.new).
+          should == Type::Bottom.new
+      @type.replace_type_with(Type::Bottom.new, nil).
+          should == @type
+    end
+
+    it 'can specialize only itself' do
+      @type.specialize(@type).should == {}
+      -> { @type.specialize(Type::Bottom.new) }.should.raise(ArgumentError)
+    end
+
+    it 'pretty prints' do
+      @type.awesome_print.should == 'top'
+    end
+  end
+
+  describe Type::Bottom do
+    before do
+      @type = Type::Bottom.new
+    end
+
+    it 'converts to string' do
+      @type.to_s.should == 'bottom'
+    end
+
+    it 'pretty prints' do
+      @type.awesome_print.should == 'bottom'
+    end
+  end
+
+  describe Type::Value do
+    before do
+      @type = Type::Value.new(1)
+    end
+
+    it 'allows to retrieve value' do
+      @type.value.should == 1
+    end
+
+    it 'is a singleton' do
+      @type.should.be.equal Type::Value.new(1)
+    end
+
+    it 'converts to string as \'value' do
+      @type.to_s.should == %{'1}
+    end
+
+    it 'pretty prints' do
+      @type.awesome_print.should == '\'1'
+    end
+  end
+
+  describe Type::Variable do
+    before do
+      @var = Type::Variable.new
+    end
+
+    it 'allocates distinct instances' do
+      Type::Variable.new.
+          should.not.equal? Type::Variable.new
+    end
+
+    it 'converts to type' do
+      @var.to_type.should.equal? @var
+    end
+
+    it 'is a subtype of itself' do
+      @var.should.be.subtype_of @var
+    end
+
+    it 'is a supertype of itself' do
+      @var.should.be.supertype_of @var
+    end
+
+    it 'compares by identity' do
+      @var.should == @var
+      @var.should.not == Type::Variable.new
+    end
+
+    it 'can replace itself' do
+      @var.replace_type_with(@var, Type::Bottom.new).
+          should == Type::Bottom.new
+      @var.replace_type_with(Type::Bottom.new, nil).
+          should == @var
+    end
+
+    it 'specializes' do
+      @var.specialize(Type::Top.new).
+          should == { @var => Type::Top.new }
+    end
+
+    it 'pretty prints' do
+      @var.awesome_print.should == '~a'
+    end
+  end
+
+  describe Type::Variable::Annotator do
+    before do
+      @annotator = Type::Variable::Annotator.new
+    end
+
+    it 'annotates variables with successive letters' do
+      var1, var2 = 2.times.map { Type::Variable.new }
+
+      @annotator.annotate(var1).should == 'a'
+      @annotator.annotate(var1).should == 'a'
+      @annotator.annotate(var2).should == 'b'
+    end
+
+    it 'only annotates type variables' do
+      -> { @annotator.annotate(:foo) }.should.raise(ArgumentError)
+    end
+  end
+end

metadata

@@ -1,149 +1,126 @@
 --- !ruby/object:Gem::Specification
 name: furnace
 version: !ruby/object:Gem::Version
-  prerelease: 6
-  version: 0.4.0.beta.1
+  version: 0.4.0.beta.2
 platform: ruby
 authors:
 - Peter Zotov
-autorequire:
+autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-01-10 00:00:00.000000000 Z
+date: 2013-03-31 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ansi
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
-  prerelease: false
+        version: '0'
   type: :runtime
-- !ruby/object:Gem::Dependency
-  name: rake
+  prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - '>='
       - !ruby/object:Gem::Version
-        version: '10.0'
-    none: false
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ~>
       - !ruby/object:Gem::Version
         version: '10.0'
-    none: false
-  prerelease: false
   type: :development
-- !ruby/object:Gem::Dependency
-  name: bacon
+  prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ~>
       - !ruby/object:Gem::Version
-        version: '1.2'
-    none: false
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: bacon
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ~>
       - !ruby/object:Gem::Version
         version: '1.2'
-    none: false
-  prerelease: false
   type: :development
-- !ruby/object:Gem::Dependency
-  name: bacon-colored_output
+  prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - ~>
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
+        version: '1.2'
+- !ruby/object:Gem::Dependency
+  name: bacon-colored_output
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
-  prerelease: false
+        version: '0'
   type: :development
-- !ruby/object:Gem::Dependency
-  name: simplecov
+  prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: simplecov
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
-  prerelease: false
+        version: '0'
   type: :development
-- !ruby/object:Gem::Dependency
-  name: yard
+  prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: yard
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
-  prerelease: false
+        version: '0'
   type: :development
-- !ruby/object:Gem::Dependency
-  name: kramdown
+  prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: kramdown
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '>='
       - !ruby/object:Gem::Version
-        version: !binary |-
-          MA==
-    none: false
-  prerelease: false
+        version: '0'
   type: :development
-description: Furnace is a static code analysis framework for dynamic languages, aimed at efficient type and behavior inference.
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+description: Furnace is a static code analysis framework for dynamic languages, aimed
+  at efficient type and behavior inference.
 email:
 - whitequark@whitequark.org
 executables: []
 extensions: []
 extra_rdoc_files: []
 files:
-- ".gitignore"
-- ".travis.yml"
-- ".yardopts"
+- .gitignore
+- .travis.yml
+- .yardopts
 - Gemfile
+- INSTRUMENT.md
 - LICENSE.MIT
 - Rakefile
 - furnace.gemspec
@@ -152,65 +129,66 @@ files:
 - lib/furnace/ast/node.rb
 - lib/furnace/ast/processor.rb
 - lib/furnace/ast/sexp.rb
-- lib/furnace/graphviz.rb
+- lib/furnace/awesome_printer.rb
+- lib/furnace/context.rb
 - lib/furnace/ssa.rb
 - lib/furnace/ssa/argument.rb
 - lib/furnace/ssa/basic_block.rb
 - lib/furnace/ssa/builder.rb
 - lib/furnace/ssa/constant.rb
+- lib/furnace/ssa/event_stream.rb
 - lib/furnace/ssa/function.rb
 - lib/furnace/ssa/generic_instruction.rb
-- lib/furnace/ssa/generic_type.rb
 - lib/furnace/ssa/instruction.rb
 - lib/furnace/ssa/instruction_syntax.rb
 - lib/furnace/ssa/instructions/branch.rb
 - lib/furnace/ssa/instructions/phi.rb
 - lib/furnace/ssa/instructions/return.rb
+- lib/furnace/ssa/instructions/return_value.rb
+- lib/furnace/ssa/instrumentation.rb
 - lib/furnace/ssa/module.rb
 - lib/furnace/ssa/named_value.rb
-- lib/furnace/ssa/pretty_printer.rb
 - lib/furnace/ssa/terminator_instruction.rb
-- lib/furnace/ssa/type.rb
 - lib/furnace/ssa/types/basic_block.rb
 - lib/furnace/ssa/types/function.rb
-- lib/furnace/ssa/types/void.rb
 - lib/furnace/ssa/user.rb
 - lib/furnace/ssa/value.rb
 - lib/furnace/transform/iterative.rb
 - lib/furnace/transform/pipeline.rb
+- lib/furnace/type.rb
+- lib/furnace/type/bottom.rb
+- lib/furnace/type/top.rb
+- lib/furnace/type/value.rb
+- lib/furnace/type/variable.rb
 - lib/furnace/version.rb
-- test/ast_test.rb
-- test/ssa_test.rb
-- test/test_helper.rb
-- test/transform_test.rb
+- test/helper.rb
+- test/test_ast.rb
+- test/test_awesome_printer.rb
+- test/test_ssa.rb
+- test/test_transform.rb
+- test/test_type.rb
 homepage: http://github.com/whitequark/furnace
 licenses: []
-post_install_message:
+metadata: {}
+post_install_message: 
 rdoc_options: []
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">="
+  - - '>='
     - !ruby/object:Gem::Version
-      segments:
-      - 0
-      hash: 2
-      version: !binary |-
-        MA==
-  none: false
+      version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - !binary |-
-      Pg==
+  - - '>'
     - !ruby/object:Gem::Version
       version: 1.3.1
-  none: false
 requirements: []
-rubyforge_project:
-rubygems_version: 1.8.24
-signing_key:
-specification_version: 3
+rubyforge_project: 
+rubygems_version: 2.0.0
+signing_key: 
+specification_version: 4
 summary: A static code analysis framework
 test_files: []
-has_rdoc:
+has_rdoc: 

data/lib/furnace/graphviz.rb

@@ -1,49 +0,0 @@
-require 'furnace'
-
-class Furnace::Graphviz
-  def initialize
-    @code = "digraph {\n"
-    @code << "node [labeljust=l,nojustify=true,fontname=monospace];"
-    @code << "rankdir=TB;\n"
-
-    yield self
-
-    @code << "}"
-  end
-
-  def node(name, content, options={})
-    content.gsub!("&", "&amp;")
-    content.gsub!(">", "&gt;")
-    content.gsub!("<", "&lt;")
-    content.gsub!(/\*\*(.+?)\*\*/, '<b>\1</b>')
-    content = content.lines.map { |l| %Q{<tr><td align="left">#{l}</td></tr>} }.join
-
-    if content.empty?
-      label = "<&lt;empty&gt;>"
-    else
-      label = "<<table border=\"0\">#{content}</table>>"
-    end
-
-    options = options.merge({
-      shape: 'box',
-      label: label
-    })
-
-    @code << %Q{"#{name.inspect}" #{graphviz_options(options)};\n}
-  end
-
-  def edge(from, to, label="", options={})
-    options = options.merge({
-      label: label.inspect
-    })
-    @code << %Q{"#{from.inspect}" -> "#{to.inspect}" #{graphviz_options(options)};\n}
-  end
-
-  def to_s
-    @code
-  end
-
-  def graphviz_options(options)
-    "[#{options.map { |k,v| "#{k}=#{v}" }.join(",")}]"
-  end
-end