rubydbc 1.0.0

data/lib/dbc.rb

@@ -0,0 +1,110 @@
+#
+# Copyright (c) 2006 Martin Traverso, Brian McCallister
+#
+# 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.
+#
+ 
+module DesignByContract
+	@@pending = Hash.new { |hash, key| hash[key] = {} }
+	
+	private 
+
+	def self.extract(this, method_name, message)
+		if method_name.respond_to?(:to_str)
+			# no method symbol specified, just the message
+			message = method_name
+			method_name = nil
+		elsif !method_name.nil? && this.method_defined?(method_name)
+			old_method = this.instance_method(method_name) 
+		end
+
+		return old_method, method_name, message
+	end
+	
+	def self.schedule(type, mod, method_name, message, condition)
+		@@pending[mod][method_name] ||= []
+		@@pending[mod][method_name] << {:type => type, :message => message, :condition => condition}
+	end
+
+	def self.included(mod)
+		old_method_added = mod.method :method_added
+
+		new_method_added = lambda { |id| 			
+			if @@pending.has_key? mod
+				# save the list of methods and clear the entry
+				# otherwise, we'll have infinite recursion on the call to mod.send(...)
+				hooks = @@pending[mod].values_at(id, nil).compact.flatten
+				@@pending[mod].delete id
+				@@pending[mod].delete nil
+
+				# define scheduled hooks
+				hooks.each do |entry|
+					mod.send entry[:type], id, entry[:message], &entry[:condition]
+				end
+			end
+			
+			old_method_added.call id
+		}
+		
+		(class << mod; self; end).send :define_method, :method_added, new_method_added
+		
+		class << mod
+			def pre(method_name = nil, message = nil, &condition)
+				old_method, method_name, message = DesignByContract.extract self, method_name, message
+
+				unless old_method.nil?
+					# make a method out of the condition so that we can bind it against self
+					# and pass it the arguments (it'd be easier if instance_eval accepted arguments...)
+					define_method(method_name, &condition)
+					condition_method = instance_method(method_name)
+					define_method(method_name) { |*args|
+						unless condition_method.bind(self).call(*args)
+							raise "Pre-condition #{'\'' + message + '\' ' if message}failed"
+						end
+
+						old_method.bind(self).call(*args)
+					}
+				else
+					DesignByContract.schedule :pre, self, method_name, message, condition 
+				end
+			end
+
+			def post(method_name = nil, message = nil, &condition)
+				old_method, method_name, message = DesignByContract.extract self, method_name, message
+
+				unless old_method.nil?
+					# make a method out of the condition so that we can bind it against self
+					# and pass it the arguments (it'd be easier if instance_eval accepted arguments...)
+					define_method(method_name, &condition)
+					condition_method = instance_method(method_name)
+					define_method(method_name) { |*args|
+						result = old_method.bind(self).call(*args)
+						unless condition_method.bind(self).call(result, *args)
+							raise "Post-condition #{'\'' + message + '\' ' if message}failed" 
+						end
+						return result
+					}
+				else
+					DesignByContract.schedule :post, self, method_name, message, condition 
+				end
+			end
+		end
+	end
+end

metadata

@@ -0,0 +1,46 @@
+--- !ruby/object:Gem::Specification 
+rubygems_version: 0.9.1
+specification_version: 1
+name: rubydbc
+version: !ruby/object:Gem::Version 
+  version: 1.0.0
+date: 2007-02-22 00:00:00 -08:00
+summary: A Design by Contract mixin for Ruby
+require_paths: 
+- lib
+email: mtraverso@acm.org
+homepage: http://rubyforge.org/projects/rubydbc
+rubyforge_project: 
+description: 
+autorequire: 
+default_executable: 
+bindir: bin
+has_rdoc: false
+required_ruby_version: !ruby/object:Gem::Version::Requirement 
+  requirements: 
+  - - ">"
+    - !ruby/object:Gem::Version 
+      version: 0.0.0
+  version: 
+platform: ruby
+signing_key: 
+cert_chain: 
+post_install_message: 
+authors: 
+- Martin Traverso
+files: 
+- lib/dbc.rb
+test_files: []
+
+rdoc_options: []
+
+extra_rdoc_files: []
+
+executables: []
+
+extensions: []
+
+requirements: []
+
+dependencies: []
+