rdl 2.0.0.rc2 → 2.0.0.rc3

data/test/test_rdl.rb

@@ -356,4 +356,22 @@ RUBY
     }
   end
 
+  def test_inconsistent
+    self.class.class_eval {
+      type "(Fixnum) -> Fixnum"
+      pre { |x| true }
+      def inconsistent1(y) return y; end
+    }
+  end
+
+  def test_rdl_remove_type
+    self.class.class_eval {
+      type "() -> nil"
+      def remove1() return 42; end
+    }
+    assert_raises(RDL::Type::TypeError) { remove1 }
+    rdl_remove_type(self.class, :remove1)
+    assert_equal 42, remove1 # shouldn't raise type error with contract removed
+  end
+
 end

data/test/test_typecheck.rb

@@ -22,7 +22,7 @@ class TestTypecheck < Minitest::Test
     @env = RDL::Typecheck::Env.new(self: tt("TestTypecheck"))
     @scopef = { tret: $__rdl_fixnum_type }
     @tfs = RDL::Type::UnionType.new($__rdl_fixnum_type, $__rdl_string_type)
-    @scopefs = { tret: @tfs }
+    @scopefs = { tret: @tfs, tblock: nil }
   end
 
   # [+ a +] is the environment, a map from symbols to types; empty if omitted
@@ -498,14 +498,57 @@ class TestTypecheck < Minitest::Test
     assert_raises(RDL::Typecheck::StaticTypeError) { do_tc("_send_block1(42) { |x, y| x + y }", env: @env) }
     assert_equal $__rdl_fixnum_type, do_tc("_send_block1(42) { |x| x }", env: @env)
     assert_raises(RDL::Typecheck::StaticTypeError) { do_tc("_send_block1(42) { |x| 'forty-two' }", env: @env) }
-    assert_raises(RDL::Typecheck::StaticTypeError) { do_tc("x = 1; _send_block1(42) { |y| x }", env: @env) }
-    assert_raises(RDL::Typecheck::StaticTypeError) { do_tc("x = 1; _send_block1(42) { |y| x = 2 }", env: @env) }
-    assert_raises(RDL::Typecheck::StaticTypeError) { do_tc("x = 1; _send_block1(42) { |y| for x in 1..5 do end }", env: @env) } # odd case...
+    self.class.class_eval {
+      type "() -> 1", typecheck: :now
+      def _send_blockd1
+        x = 1; _send_block1(42) { |y| x }; x
+      end
+    }
+    self.class.class_eval {
+      type "() -> 1 or String", typecheck: :now
+      def _send_blockd2
+        x = 1; _send_block1(42) { |y| x = 'one'; y}; x
+      end
+    }
+    self.class.class_eval {
+      type "() -> Fixnum or String", typecheck: :now
+      def _send_blockd3
+        x = 'one'; _send_block1(42) { |y| for x in 1..5 do end; y }; x
+      end
+    }
+  end
+
+  def test_send_method_generic
+    self.class.class_eval {
+      type :_send_method_generic1, '(t) -> t'
+      type :_send_method_generic2, '(t, u) -> t or u'
+      type :_send_method_generic3, '() { (u) -> Fixnum } -> Fixnum'
+      type :_send_method_generic4, '(t) { (t) -> t } -> t'
+      type :_send_method_generic5, '() { (u) -> u } -> u'
+      type :_send_method_generic6, '() { (Fixnum) -> u } -> u'
+    }
+    assert_equal @t3, do_tc('_send_method_generic1 3', env: @env)
+    assert_equal $__rdl_string_type, do_tc('_send_method_generic1 "foo"', env: @env)
+    assert_equal tt("3 or String"), do_tc('_send_method_generic2 3, "foo"', env: @env)
+    assert_equal $__rdl_fixnum_type, do_tc('_send_method_generic3 { |x| 42 }', env: @env)
+    assert_equal tt("42"), do_tc('_send_method_generic4(42) { |x| x }', env: @env)
+    assert_raises(RDL::Typecheck::StaticTypeError) { do_tc('_send_method_generic4(42) { |x| "foo" }', env: @env) }
+    assert_equal tt("u"), do_tc('_send_method_generic5 { |x| x }', env: @env) # not possible to implement _send_method_generic5!
+    assert_equal tt("3"), do_tc('_send_method_generic5 { |x| 3 }', env: @env) # weird example, but can pick u=3
+    assert_equal $__rdl_string_type, do_tc('_send_method_generic6 { |x| "foo" }', env: @env)
+    assert_equal tt("%integer"), do_tc('[1,2,3].index(Object.new)', env: @env)
+    assert_equal tt("Array<Fixnum or Bignum>"), do_tc('[1, 2, 3].map { |y| y * 4 }', env: @env)
+    assert_equal tt("Array<String>"), do_tc('[1, 2, 3].map { |y| y.to_s }', env: @env)
   end
 
   def test_send_union
+    self.class.class_eval {
+      type :_send_union1, "(Fixnum) -> Float"
+      type :_send_union1, "(String) -> Rational"
+    }
     assert_equal RDL::Type::UnionType.new(@tfs, $__rdl_bignum_type), do_tc("(if _any_object then Fixnum.new else String.new end) * 2", env: @env)
     assert_raises(RDL::Typecheck::StaticTypeError) { do_tc("(if _any_object then Object.new else Fixnum.new end) + 2", env: @env) }
+    assert_equal tt("Float or Rational"), do_tc("if _any_object then x = Fixnum.new else x = String.new end; _send_union1(x)", env: @env)
   end
 
   def test_send_splat
@@ -774,6 +817,7 @@ class TestTypecheck < Minitest::Test
     # w/send
     assert_equal tt("2"), do_tc("e = E.new; e.f, b = 1, 2; b", env: @env)
     assert_equal $__rdl_fixnum_type, do_tc("e = E.new; e.f, b = @f_masgn; b", env: @env)
+    assert_equal tt("[1, 2]"), do_tc("@f_masgn[3], y = 1, 2", env: @env)
 
     # w/splat
    assert_equal tt("[1, 2, 3]"), do_tc("*x = [1, 2, 3]")
@@ -930,4 +974,29 @@ class TestTypecheck < Minitest::Test
     assert_equal $__rdl_fixnum_type, do_tc("TestTypecheck.new.f_attr_accessor = 42", env: @env)
   end
 
+  # test code where we know different stuff about types on difference branches
+  def test_typeful_branches
+    assert_equal $__rdl_fixnum_type, do_tc("x = Object.new; case x when String; x.length; end", env: @env)
+    assert_equal $__rdl_fixnum_type, do_tc("x = Object.new; case x when String, Array; x.length; end", env: @env)
+    assert_equal @t3, do_tc("x = String.new; case x when String; 3; when Fixnum; 4; end", env: @env)
+  end
+
+  def test_context_typecheck
+    assert_raises(RDL::Typecheck::StaticTypeError) {
+      self.class.class_eval {
+        type '() -> Fixnum', typecheck: :now
+        def context_typecheck1
+          context_tc_in_context1 # should fail
+        end
+      }
+    }
+    $__rdl_info.add(self.class, :context_typecheck2, :context_types, [self.class, :context_tc_in_context2, $__rdl_parser.scan_str('() -> Fixnum')])
+    self.class.class_eval {
+      type '() -> Fixnum', typecheck: :now
+      def context_typecheck2
+        context_tc_in_context2 # should not fail since method defined in context
+      end
+    }
+  end
+
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rdl
 version: !ruby/object:Gem::Version
-  version: 2.0.0.rc2
+  version: 2.0.0.rc3
 platform: ruby
 authors:
 - Jeffrey S. Foster
@@ -12,7 +12,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-07-19 00:00:00.000000000 Z
+date: 2016-08-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -111,7 +111,6 @@ files:
 - extras/type_tests/zero?.rb
 - extras/type_tests/|.rb
 - gemfiles/Gemfile.travis
-- lib/rails_types.rb
 - lib/rdl.rb
 - lib/rdl/config.rb
 - lib/rdl/contracts/and.rb
@@ -127,13 +126,14 @@ files:
 - lib/rdl/types/bot.rb
 - lib/rdl/types/dependent_arg.rb
 - lib/rdl/types/dots_query.rb
-- lib/rdl/types/finitehash.rb
+- lib/rdl/types/finite_hash.rb
 - lib/rdl/types/generic.rb
 - lib/rdl/types/intersection.rb
 - lib/rdl/types/lexer.rex
 - lib/rdl/types/lexer.rex.rb
 - lib/rdl/types/method.rb
 - lib/rdl/types/nominal.rb
+- lib/rdl/types/non_null.rb
 - lib/rdl/types/optional.rb
 - lib/rdl/types/parser.racc
 - lib/rdl/types/parser.tab.rb
@@ -150,7 +150,57 @@ files:
 - lib/rdl/types/wild_query.rb
 - lib/rdl/util.rb
 - lib/rdl/wrap.rb
+- lib/rdl_disable.rb
 - lib/rdl_types.rb
+- lib/types/core-ruby-2.x/_aliases.rb
+- lib/types/core-ruby-2.x/abbrev.rb
+- lib/types/core-ruby-2.x/array.rb
+- lib/types/core-ruby-2.x/base64.rb
+- lib/types/core-ruby-2.x/basic_object.rb
+- lib/types/core-ruby-2.x/benchmark.rb
+- lib/types/core-ruby-2.x/bigdecimal.rb
+- lib/types/core-ruby-2.x/bigmath.rb
+- lib/types/core-ruby-2.x/bignum.rb
+- lib/types/core-ruby-2.x/class.rb
+- lib/types/core-ruby-2.x/complex.rb
+- lib/types/core-ruby-2.x/coverage.rb
+- lib/types/core-ruby-2.x/csv.rb
+- lib/types/core-ruby-2.x/date.rb
+- lib/types/core-ruby-2.x/dir.rb
+- lib/types/core-ruby-2.x/encoding.rb
+- lib/types/core-ruby-2.x/enumerable.rb
+- lib/types/core-ruby-2.x/enumerator.rb
+- lib/types/core-ruby-2.x/exception.rb
+- lib/types/core-ruby-2.x/file.rb
+- lib/types/core-ruby-2.x/fileutils.rb
+- lib/types/core-ruby-2.x/fixnum.rb
+- lib/types/core-ruby-2.x/float.rb
+- lib/types/core-ruby-2.x/gem.rb
+- lib/types/core-ruby-2.x/hash.rb
+- lib/types/core-ruby-2.x/integer.rb
+- lib/types/core-ruby-2.x/io.rb
+- lib/types/core-ruby-2.x/kernel.rb
+- lib/types/core-ruby-2.x/marshal.rb
+- lib/types/core-ruby-2.x/matchdata.rb
+- lib/types/core-ruby-2.x/math.rb
+- lib/types/core-ruby-2.x/module.rb
+- lib/types/core-ruby-2.x/nil.rb
+- lib/types/core-ruby-2.x/numeric.rb
+- lib/types/core-ruby-2.x/object.rb
+- lib/types/core-ruby-2.x/pathname.rb
+- lib/types/core-ruby-2.x/process.rb
+- lib/types/core-ruby-2.x/random.rb
+- lib/types/core-ruby-2.x/range.rb
+- lib/types/core-ruby-2.x/rational.rb
+- lib/types/core-ruby-2.x/regexp.rb
+- lib/types/core-ruby-2.x/set.rb
+- lib/types/core-ruby-2.x/string.rb
+- lib/types/core-ruby-2.x/strscan.rb
+- lib/types/core-ruby-2.x/symbol.rb
+- lib/types/core-ruby-2.x/time.rb
+- lib/types/core-ruby-2.x/uri.rb
+- lib/types/core-ruby-2.x/yaml.rb
+- lib/types/core.rb
 - rdl.gemspec
 - test/disabled_test_coverage.rb
 - test/disabled_test_rdoc.rb
@@ -170,59 +220,6 @@ files:
 - test/test_typecheck.rb
 - test/test_types.rb
 - test/test_wrap.rb
-- types/rails-4.2.1/fixnum.rb
-- types/rails-4.2.1/string.rb
-- types/rails-tmp/action_dispatch.rb
-- types/rails-tmp/active_record.rb
-- types/rails-tmp/devise_contracts.rb
-- types/ruby-2.x/_aliases.rb
-- types/ruby-2.x/abbrev.rb
-- types/ruby-2.x/array.rb
-- types/ruby-2.x/base64.rb
-- types/ruby-2.x/basic_object.rb
-- types/ruby-2.x/benchmark.rb
-- types/ruby-2.x/bigdecimal.rb
-- types/ruby-2.x/bigmath.rb
-- types/ruby-2.x/bignum.rb
-- types/ruby-2.x/class.rb
-- types/ruby-2.x/complex.rb
-- types/ruby-2.x/coverage.rb
-- types/ruby-2.x/csv.rb
-- types/ruby-2.x/date.rb
-- types/ruby-2.x/dir.rb
-- types/ruby-2.x/encoding.rb
-- types/ruby-2.x/enumerable.rb
-- types/ruby-2.x/enumerator.rb
-- types/ruby-2.x/exception.rb
-- types/ruby-2.x/file.rb
-- types/ruby-2.x/fileutils.rb
-- types/ruby-2.x/fixnum.rb
-- types/ruby-2.x/float.rb
-- types/ruby-2.x/gem.rb
-- types/ruby-2.x/hash.rb
-- types/ruby-2.x/integer.rb
-- types/ruby-2.x/io.rb
-- types/ruby-2.x/kernel.rb
-- types/ruby-2.x/marshal.rb
-- types/ruby-2.x/matchdata.rb
-- types/ruby-2.x/math.rb
-- types/ruby-2.x/module.rb
-- types/ruby-2.x/nil.rb
-- types/ruby-2.x/numeric.rb
-- types/ruby-2.x/object.rb
-- types/ruby-2.x/pathname.rb
-- types/ruby-2.x/process.rb
-- types/ruby-2.x/random.rb
-- types/ruby-2.x/range.rb
-- types/ruby-2.x/rational.rb
-- types/ruby-2.x/regexp.rb
-- types/ruby-2.x/set.rb
-- types/ruby-2.x/string.rb
-- types/ruby-2.x/strscan.rb
-- types/ruby-2.x/symbol.rb
-- types/ruby-2.x/time.rb
-- types/ruby-2.x/uri.rb
-- types/ruby-2.x/yaml.rb
 homepage: https://github.com/plum-umd/rdl
 licenses:
 - BSD-3-Clause

data/lib/rails_types.rb

@@ -1 +0,0 @@
-require_rel "../types/rails-#{Rails::VERSION::STRING}/*.rb"

data/types/rails-4.2.1/fixnum.rb

@@ -1,3 +0,0 @@
-class Fixnum
-  type :*, '(ActiveSupport::Duration) -> ActiveSupport::Duration'
-end

data/types/rails-4.2.1/string.rb

@@ -1,3 +0,0 @@
-class String
-  type :html_safe, '() -> String'
-end

data/types/rails-tmp/action_dispatch.rb

@@ -1,406 +0,0 @@
-module RailsHelper
-  class << self
-    attr_accessor :namespace
-    attr_accessor :resources_stack
-    attr_accessor :inside_member
-  end
-
-  def self.get_path_helper(name)
-    stack = RailsHelper.resources_stack.map {|e| e.to_s.singularize}
-    resources_str = stack.join("_")
-    method_prefix = resources_str == "" ? "#{name}" : "#{name}_#{resources_str}" 
-    :"#{method_prefix}_path"
-  end
-
-  def self.get_resource_info(controller, action)
-    controller_s = controller.singularize
-    controller_c = controller_s.camelize
-
-    case action
-    when :new
-      v = [/^GET$/]
-      p = "/#{controller_s}/new"
-      prefix = "#{controller_s}"
-      pht = "() -> String"
-    when :create
-      v = [/^POST$/]
-      p = "/#{controller_s}"
-      prefix = "#{controller_s}"
-      pht = "() -> String"
-    when :show
-      v = [/^GET$/]
-      p = "/#{controller_s}"
-      prefix = "#{controller_s}"
-      pht = "() -> String"
-    when :edit
-      v = [/^GET$/]
-      p = "/#{controller_s}/edit"
-      prefix = "edit_#{controller_s}"
-      pht = "() -> String"
-    when :update
-      v = [/^PUT$/, /^PATCH$/]
-      p = "/#{controller_s}"
-      prefix = "#{controller_s}"
-      pht = "() -> String"
-    when :destroy
-      v = [/^DELETE$/]
-      p = "/#{controller_s}"
-      prefix = "#{controller_s}"
-      pht = "() -> String"
-    else
-      raise Exception, "invalid action #{action.inspect}"
-    end
-
-    ph = "#{prefix}_path".to_sym
-    uh = "#{prefix}_url".to_sym
-    uht = pht
-    {:verb => v, :path => p, :path_helper => [ph, pht], :url_helper => [uh, uht]}
-  end
-
-  def self.get_resources_info(controller, action)
-    controller_s = controller.singularize
-    controller_c = controller_s.camelize
-    n = RailsHelper.namespace.to_s
-    nnh = (n == "" ? "" : "#{n}_")
-
-    case action
-    when :index
-      v = [/^GET$/]
-      p = "/#{controller}"
-      prefix = "#{nnh}#{controller}"
-      pht = "() -> String"
-    when :new
-      v = [/^GET$/]
-      p = "/#{controller}/new"
-
-      if n == ""
-        prefix = "#{controller_s}"
-      else
-        prefix = "new_#{nnh}#{controller_s}"
-      end
-
-      pht = "() -> String"
-    when :create
-      v = [/^POST$/]
-      p = "/#{controller}"
-      prefix = "#{nnh}#{controller}"
-      pht = "() -> String"
-    when :show
-      v = [/^GET$/]
-      p = "/#{controller}/:id"
-      prefix = "#{nnh}#{controller_s}"
-      pht = "(#{controller_c}) -> String"
-    when :edit
-      v = [/^GET$/]
-      p = "/#{controller}/:id/edit"
-      prefix = "edit_#{nnh}#{controller_s}"
-      pht = "(#{controller_c}) -> String"
-    when :update
-      v = [/^PUT$/, /^PATCH$/]
-      p = "/#{controller}/:id"
-      prefix = "#{nnh}#{controller_s}"
-      pht = "(#{controller_c}) -> String"
-    when :destroy
-      v = [/^DELETE$/]
-      p = "/#{controller}/:id"
-      prefix = "#{nnh}#{controller_s}"
-      pht = "(#{controller_c}) -> String"
-    else
-      raise Exception, "invalid action #{action.inspect}"
-    end
-
-    p = "/#{nnh[0..-2]}#{p}" if nnh != ""
-
-    ph = "#{prefix}_path".to_sym
-    uh = "#{prefix}_url".to_sym
-    uht = pht
-    {:verb => v, :path => p, :path_helper => [ph, pht], :url_helper => [uh, uht]}
-  end
-
-  def self.resource_routes_info_valid?(routes, controller, action, options={})
-    info = get_resource_info(controller, action)
-    r_p = info[:path]
-    r_v = info[:verb]
-
-    routes.any? {|r|
-      defaults = r.app.instance_variable_get(:@defaults)
-      path = r.path.spec.to_s.split('(')[0]
-
-      if defaults
-        defaults[:controller] == controller and defaults[:action] == action.to_s and path == r_p and r_v.include?(r.verb)
-      else
-        false
-      end
-    }
-  end
-
-  def self.resources_routes_info_valid?(routes, controller, action, options={})
-    info = get_resources_info(controller, action)
-    r_p = info[:path]
-    r_v = info[:verb]
-
-    namespace = self.namespace.to_s
-    namespace == "" ? c2 = controller : c2 = "#{namespace}/#{controller}"
-
-    routes.any? {|r|
-      defaults = r.app.instance_variable_get(:@defaults)
-      path = r.path.spec.to_s.split('(')[0]
-
-      if defaults
-        defaults[:controller] == c2 and defaults[:action] == action.to_s and path == r_p and r_v.include?(r.verb)
-      else
-        false
-      end
-    }
-  end
-
-  def self.resource_routes_valid?(routes, resources_args)
-    controller = resources_args[0].to_s.pluralize
-    controller_obj = controller.pluralize.camelize + "Controller"
-    controller_obj = eval(controller_obj)
-    options = resources_args[1].nil? ? {} : resources_args[1]
-    routes = Rails.application.routes.routes.to_a
-
-    actions = [:new, :create, :show, :edit, :update, :destroy]
-
-    if options.keys.include?(:only)
-      actions = options[:only]
-    elsif options.keys.include?(:except)
-      actions = actions - options[:except]
-    end
-
-    r1 = actions.all? {|action|
-      resource_routes_info_valid?(routes, controller, action, options)
-    }
-
-    r2 = actions.all? {|action|
-      info = get_resource_info(controller, action)
-      r_ph = info[:path_helper][0]
-      r_uh = info[:url_helper][0]
-
-      path_helper_added = controller_obj.instance_methods.include?(r_ph)
-      url_helper_added = controller_obj.instance_methods.include?(r_uh)
-
-      path_helper_added and url_helper_added
-    }
-
-    r1 and r2
-  end
-
-  def self.resources_routes_valid?(routes, resources_args)
-    controller = resources_args[0].to_s
-    controller_obj = controller.camelize + "Controller"
-    controller_obj = eval(controller_obj)
-    options = resources_args[1].nil? ? {} : resources_args[1]
-    routes = Rails.application.routes.routes.to_a
-
-    actions = [:index, :new, :create, :show, :edit, :update, :destroy]
-
-    if options.keys.include?(:only)
-      actions = options[:only]
-    elsif options.keys.include?(:except)
-      actions = actions - options[:except]
-    end
-
-    r1 = actions.all? {|action|
-      resources_routes_info_valid?(routes, controller, action, options)
-    }
-
-    r2 = actions.all? {|action|
-      info = get_resources_info(controller, action)
-      r_ph = info[:path_helper][0]
-      r_uh = info[:url_helper][0]
-
-      path_helper_added = controller_obj.instance_methods.include?(r_ph)
-      url_helper_added = controller_obj.instance_methods.include?(r_uh)
-
-      path_helper_added and url_helper_added
-    }
-
-    r1 and r2
-  end
-end
-
-module ActionDispatch
-  module Routing
-    class Mapper
-      extend RDL
-
-      spec :root do
-        post_cond do |ret, *args|
-          methods = [:root_path, :root_url]
-
-          methods.all? {|m|
-            puts "ApplicationController ##% #{m} : () -> String"
-
-            #add_typesig(ApplicationController, m, "() -> String")
-            ApplicationController.instance_methods.include?(m)
-          }
-        end
-      end
-
-      spec :namespace do
-        pre_task do |*args, &blk|
-          RailsHelper.namespace = args[0]
-        end
-
-        post_task do |ret, *args, &blk|
-          RailsHelper.namespace = nil
-        end
-      end
-
-      spec :get do
-        pre_cond do |*args, &blk|
-          options = args[1] || {}
-          
-          if options.keys.include?(:to) 
-            if options[:to].class == String
-              controller = options[:to].split("#")[0]
-              controller = controller.camelize
-              action = options[:to].split("#")[1]
-
-              controller_defined = Object.const_defined?(controller)
-
-              # TODO: see if action was added. Need late binding?
-
-              controller_defined
-            else
-              true
-            end
-          else
-            true
-          end
-        end
-
-        post_cond do |ret, *args|
-          if RailsHelper.inside_member and not parent_resource.actions.include?(args[0])
-            path_helper = RailsHelper.get_path_helper(args[0])
-            ctrl = parent_resource.controller.singularize.camelize
-
-            puts "ApplicationController ##% #{path_helper} : (#{ctrl}) -> String"
-
-            add_typesig(ApplicationController, path_helper, "() -> String")
-
-            ApplicationController.instance_methods.include?(path_helper)
-          else
-            true
-          end
-        end
-      end
-
-      spec :post do
-        post_cond do |ret, *args|
-          if RailsHelper.inside_member and not parent_resource.actions.include?(args[0])
-            path_helper = RailsHelper.get_path_helper(args[0])
-            ctrl = parent_resource.controller.singularize.camelize
-
-            puts "ApplicationController ##% #{path_helper} : (#{ctrl}) -> String"
-
-            add_typesig(ApplicationController, path_helper, "() -> String")
-
-            ApplicationController.instance_methods.include?(path_helper)
-          else
-            true
-          end
-        end
-      end
-
-      spec :member do
-        pre_task do |*args|
-          RailsHelper.inside_member = true
-        end
-
-        post_task do |*args|
-          RailsHelper.inside_member = false
-        end
-      end
-      
-      spec :resource do
-        post_task do |ret, *args, &blk|
-          return true if args[0] == :session or args[0] == :password or args[0] == :registration or args[0] == :confirmation
-
-          controller = args[0].to_s
-          controller_obj = controller.pluralize.camelize + "Controller"
-          controller_obj = eval(controller_obj)
-          options = args[1] || {}
-          routes = Rails.application.routes.routes.to_a
-     
-          actions = [:new, :create, :show, :edit, :update, :destroy]
-          
-          if options.keys.include?(:only)
-            actions = options[:only]
-          elsif options.keys.include?(:except)
-            actions = actions - options[:except]
-          end
-
-          actions.each {|action|
-            info = RailsHelper.get_resource_info(controller, action)
-            r_ph = info[:path_helper]
-            r_uh = info[:url_helper]
-
-            #typesig(controller_obj, r_ph[0], r_ph[1])
-            #typesig(controller_obj, r_uh[0], r_uh[1])
-          }
-        end
-
-        post_cond do |ret, *args, &blk|
-          return true if args[0] == :session or args[0] == :password or args[0] == :registration or args[0] == :confirmation
-
-          model = args[0].to_s
-          routes = Rails.application.routes.routes.to_a
-     
-          new_routes_valid = RailsHelper.resource_routes_valid?(routes, args)
-
-          new_routes_valid
-        end
-      end
-      
-      # TODO: resources arg can also be a list
-      spec :resources do
-        pre_task do |*args, &blk|
-          RailsHelper.resources_stack = [] if not RailsHelper.resources_stack
-          RailsHelper.resources_stack.push(args[0])
-        end
-
-        post_task do |ret, *args, &blk|
-          RailsHelper.resources_stack.pop
-
-          controller = args[0].to_s
-          controller_obj = controller.camelize + "Controller"
-          controller_obj = eval(controller_obj)
-          options = args[1] || {}
-          routes = Rails.application.routes.routes.to_a
-     
-          actions = [:index, :new, :create, :show, :edit, :update, :destroy]
-          
-          if options.keys.include?(:only)
-            actions = options[:only]
-          elsif options.keys.include?(:except)
-            actions = actions - options[:except]
-          end
-
-          actions.each {|action|
-            info = RailsHelper.get_resources_info(controller, action)
-            r_ph = info[:path_helper]
-            r_uh = info[:url_helper]
-
-            puts "#{controller_obj} ##% #{r_ph[0]} : #{r_ph[1]}"
-            puts "#{controller_obj} ##% #{r_uh[0]} : #{r_uh[1]}"
-
-            #typesig(controller_obj, r_ph[0], r_ph[1])
-            #typesig(controller_obj, r_uh[0], r_uh[1])
-          }
-        end
-
-        post_cond do |ret, *args, &blk|
-          model = args[0].to_s
-          routes = Rails.application.routes.routes.to_a
-     
-          new_routes_valid = RailsHelper.resources_routes_valid?(routes, args)
-
-          new_routes_valid
-        end
-      end
-    end
-  end
-end