typesafe-ruby 0.0.1

data/LICENSE

@@ -0,0 +1,22 @@
+The MIT License
+
+Copyright (c) 2010 Dario Rexin
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Rakefile

@@ -0,0 +1,41 @@
+# 
+# To change this template, choose Tools | Templates
+# and open the template in the editor.
+ 
+
+require 'rubygems'
+require 'rake'
+require 'rake/clean'
+require 'rake/gempackagetask'
+require 'rake/rdoctask'
+require 'rake/testtask'
+require 'rspec/core/rake_task'
+
+spec = Gem::Specification.new do |s|
+  s.name = 'typesafe-ruby'
+  s.version = '0.0.1'
+  s.has_rdoc = true
+  s.extra_rdoc_files = ['LICENSE']
+  s.summary = 'Adds typesafe macro to class Module, to provide type safe method declarations.'
+  s.description = s.summary
+  s.author = 'Dario Rexin'
+  s.email = 'dario.rexin@r3-tech.de'
+  # s.executables = ['your_executable_here']
+  s.files = %w(LICENSE Rakefile) + Dir.glob("{bin,lib,spec}/**/*")
+  s.require_path = "lib"
+  s.bindir = "bin"
+end
+
+Rake::RDocTask.new do |rdoc|
+  files =['LICENSE', 'lib/**/*.rb']
+  rdoc.rdoc_files.add(files)
+  #rdoc.main = "README" # page to start on
+  rdoc.title = "typesafe-ruby Docs"
+  rdoc.rdoc_dir = 'doc/rdoc' # rdoc output folder
+  rdoc.options << '--line-numbers'
+end
+
+desc "Run all specs"
+RSpec::Core::RakeTask.new('spec') do |t|
+  t.rspec_opts = ["--color"]
+end

data/lib/array.rb

@@ -0,0 +1,32 @@
+class Array
+
+  class ArrayType
+    def initialize type
+      @type = type
+    end
+
+    def is_type_of? obj
+      obj.kind_of? @type
+    end
+
+    def to_s
+      "Array[#{@type}]"
+    end
+  end
+
+  alias_method :orig_kind_of?, :kind_of?
+
+  def kind_of? type
+    if type.kind_of?(ArrayType) or type.kind_of?(VarArgs)
+      self.each do |e|
+        return false if not type.is_type_of?(e)
+      end
+    else
+      orig_kind_of? type
+    end
+  end
+
+  def self.[] type
+    ArrayType.new(type)
+  end
+end

data/lib/hash.rb

@@ -0,0 +1,32 @@
+class Hash
+  class HashType
+    def initialize key_type, value_type
+      @key_type = key_type
+      @value_type = value_type
+    end
+
+    def is_type_of? k, v
+      k.kind_of?(@key_type) and v.kind_of?(@value_type)
+    end
+
+    def to_s
+      "Hash[#{@key_type}, #{@value_type}]"
+    end
+  end
+
+  alias_method :orig_kind_of?, :kind_of?
+
+  def kind_of? type
+    if type.kind_of? HashType
+      self.each do |k,v|
+        return false if not type.is_type_of?(k, v)
+      end
+    else
+      orig_kind_of? type
+    end
+  end
+
+  def self.[] key_type, value_type
+    HashType.new key_type, value_type
+  end
+end

data/lib/module.rb

@@ -0,0 +1,35 @@
+class Module
+
+  class << self
+		private
+    attr_accessor :method_types
+  end
+
+  def method_added(name)
+    unless @typesafe.nil?
+      @typesafe = nil
+      alias_method "__typeunsafe_#{name}__", name
+      module_eval do
+        method_types = {} if method_types.nil?
+        method_types[name] = @types
+        define_method name do |*args, &block|
+          tmp = args
+          if method_types[name].last.kind_of?(VarArgs)
+            tmp = args.slice(0, method_types[name].size-1) + [args.slice(method_types[name].size-1,args.size)]
+          end
+          tmp.size.times do |i|
+            raise ArgumentError.new("for argument #{i+1} expected type #{method_types[name][i]}") if not tmp[i].kind_of?(method_types[name][i])
+          end
+          send(:"__typeunsafe_#{name}__",*args,&block)
+        end
+        alias_method "__typesafe_#{name}__", name
+      end
+      @types = nil
+    end
+  end
+
+  def typesafe(*types)
+    @typesafe = true
+    @types = types
+  end
+end

data/lib/typesafe.rb

@@ -0,0 +1,4 @@
+require File.join(File.dirname(__FILE__),'module')
+require File.join(File.dirname(__FILE__),'hash')
+require File.join(File.dirname(__FILE__),'array')
+require File.join(File.dirname(__FILE__),'var_args')

data/lib/var_args.rb

@@ -0,0 +1,19 @@
+class VarArgs
+
+  def is_type_of? obj
+    obj.kind_of? @type
+  end
+
+  def self.[] type
+    self.new(type)
+  end
+
+  def to_s
+    "VarArgs[#{@type}]"
+  end
+
+  private
+  def initialize type
+    @type = type
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,3 @@
+require 'rubygems'
+gem 'rspec'
+require 'spec/autorun'

data/spec/typesafe/typesafe_spec.rb

@@ -0,0 +1,55 @@
+require 'typesafe'
+
+describe "typesafe macro" do
+  context "typesafe(Integer)" do
+    it "should only allow integers as argument" do
+      class Foo
+        typesafe(Integer)
+        def bar a
+          a
+        end
+      end
+      lambda{Foo.new.bar(1)}.should_not raise_error(ArgumentError)
+      lambda{Foo.new.bar("baz")}.should raise_error(ArgumentError, "for argument 1 expected type Integer")
+    end
+  end
+  
+  context "typesafe(Array[Integer])" do
+    it "should only allow arrays of integers as arguments" do
+      class Foo
+        typesafe(Array[Integer])
+        def bar a
+          a
+        end
+      end
+      lambda{Foo.new.bar([1,2,3])}.should_not raise_error(ArgumentError)
+      lambda{Foo.new.bar([1,2,3,"baz"])}.should raise_error(ArgumentError, "for argument 1 expected type Array[Integer]")
+    end
+  end
+  
+  context "typesafe(VarArgs[Integer])" do
+    it "should only allow varargs of integers as arguments" do
+      class Foo
+        typesafe(VarArgs[Integer])
+        def bar *a
+          a
+        end
+      end
+      lambda{Foo.new.bar(1,2,3)}.should_not raise_error(ArgumentError)
+      lambda{Foo.new.bar(1,2,3,"baz")}.should raise_error(ArgumentError, "for argument 1 expected type VarArgs[Integer]")
+    end
+  end
+  
+  context "typesafe(Hash[String, Integer])" do
+    it "should only allow hashes of symbol => integer as arguments" do
+      class Foo
+        typesafe(Hash[Symbol, Integer])
+        def bar a
+          a
+        end
+      end
+      lambda{Foo.new.bar(:foo => 3, :bar => 2)}.should_not raise_error(ArgumentError)
+      lambda{Foo.new.bar(:foo => 3, "baz" => 1)}.should raise_error(ArgumentError, "for argument 1 expected type Hash[Symbol, Integer]")
+    end
+  end
+end

metadata

@@ -0,0 +1,84 @@
+--- !ruby/object:Gem::Specification 
+name: typesafe-ruby
+version: !ruby/object:Gem::Version 
+  prerelease: false
+  segments: 
+  - 0
+  - 0
+  - 1
+  version: 0.0.1
+platform: ruby
+authors: 
+- Dario Rexin
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2010-10-13 00:00:00 +02:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: rspec
+  prerelease: false
+  requirement: &id001 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        segments: 
+        - 0
+        version: "0"
+  type: :development
+  version_requirements: *id001
+description: Adds typesafe macro to class Module, to provide type safe method declarations.
+email: dario.rexin@r3-tech.de
+executables: []
+
+extensions: []
+
+extra_rdoc_files: 
+- LICENSE
+files: 
+- LICENSE
+- Rakefile
+- lib/array.rb
+- lib/hash.rb
+- lib/module.rb
+- lib/typesafe.rb
+- lib/var_args.rb
+- spec/spec_helper.rb
+- spec/typesafe/typesafe_spec.rb
+has_rdoc: true
+homepage: 
+licenses: []
+
+post_install_message: 
+rdoc_options: []
+
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      segments: 
+      - 0
+      version: "0"
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      segments: 
+      - 0
+      version: "0"
+requirements: []
+
+rubyforge_project: 
+rubygems_version: 1.3.7
+signing_key: 
+specification_version: 3
+summary: Adds typesafe macro to class Module, to provide type safe method declarations.
+test_files: []
+