furnace 0.2.2 → 0.2.3

data/lib/furnace/cfg/graph.rb

@@ -119,9 +119,9 @@ module Furnace::CFG
 
           # Are we computing dominators or postdominators?
           if forward
-            edges = node.sources
+            edges = node.sources + node.exception_sources
           else
-            edges = node.targets
+            edges = node.targets + [ node.exception ]
           end
 
           #   Key Idea [for dominators]
@@ -194,22 +194,33 @@ module Furnace::CFG
       loops
     end
 
-    def sources_for(node)
+    def sources_for(node, exceptions=false)
       unless @source_map
         @source_map = Hash.new { |h, k| h[k] = [] }
+        @exception_source_map = Hash.new { |h, k| h[k] = [] }
 
         @nodes.each do |node|
           node.targets.each do |target|
             @source_map[target] << node
           end
+
+          @exception_source_map[node.exception] << node
         end
 
         @source_map.each do |node, sources|
           sources.freeze
         end
+
+        @exception_source_map.each do |node, sources|
+          sources.freeze
+        end
       end
 
-      @source_map[node]
+      if exceptions
+        @exception_source_map[node]
+      else
+        @source_map[node]
+      end
     end
 
     def flush

data/lib/furnace/cfg/node.rb

@@ -43,6 +43,14 @@ module Furnace::CFG
       @cfg.find_node @exception_label if @exception_label
     end
 
+    def exception_source_labels
+      exception_sources.map &:label
+    end
+
+    def exception_sources
+      @cfg.sources_for(self, true)
+    end
+
     def exits?
       targets == [@cfg.exit]
     end

data/lib/furnace/version.rb

@@ -1,3 +1,3 @@
 module Furnace
-  VERSION = "0.2.2"
+  VERSION = "0.2.3"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: furnace
 version: !ruby/object:Gem::Version
-  version: 0.2.2
+  version: 0.2.3
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-06-16 00:00:00.000000000 Z
+date: 2012-06-18 00:00:00.000000000 Z
 dependencies: []
 description: Furnace is a static code analysis framework for dynamic languages, aimed
   at efficient type and behavior inference.