typestrict 0.0.4 → 0.0.5

data/History.txt

@@ -1,3 +1,10 @@
+=== 0.0.5 / 2010-08-07
+* 2 major enhancement
+
+  * Added :procedure supertype
+  * Added :character supertype
+  * Implemented Strict::register_supertype(supertype, handler) #supertype:symbol, handler:Proc
+
 === 0.0.4 / 2010-08-03
 
 * 1 major enhancement

data/README

@@ -1,4 +1,4 @@
-strict is a rudimentary static typesystem for ruby objects - it includes easy validation of individual ruby objects and Hash sets.
+strict is a rudimentary static typesystem for ruby objects - it enables easy validation of individual ruby objects and Hash sets.
 
 For an example of validation:
 
@@ -12,12 +12,12 @@ class Rectangle
     validate_map!({
                 :width => :natural_number,
                 :height => :natural_number,
-                :float => :boolean
+                :color => :hex_color
                 }, p)
 
     @width = p[:width]
     @height = p[:height]
-    @float = p[:float]
+    @color = p[:color]
   end
 
   def set_dimensions(dimensions)
@@ -40,11 +40,35 @@ Strict defines a number of 'super-types', currently which are:
 :natural_number
 :float
 :boolean
+:integer
+:numeric
+:character
+:procedure
 :string_array
 :numeric_array
 :float_array
 :integer_array
-:hex_color_string
+:hex_color
+
+New supertypes may be registered with the register_supertype as follows:
+
+register_supertype(:char, proc {|data, context| enforce_primitive!(String, data); catch_error("#{data.inspect} must be a single character in length") unless (data.size == 1)})
+registered a dynamic handler for supertype: character
+=> nil
+
+irb(main)> enforce!(:char, "a")
+=> "a"
+irb(main)> enforce!(:char, "aa")
+Strict::TypeError: TypeError caught:
+"aa" must be a single character in length
+
+	from (irb):6
+	from ./str.rb:148:in `call'
+	from ./str.rb:148:in `enforce!'
+	from (irb):8
+
+irb(main):009:0> enforce!(:char, "x")
+=> "x"
 
 Strict simply implements an extendable static type-checker over dynamic ruby objects. For an example of validation with troublesome datasets:
 

data/README.txt

@@ -35,7 +35,7 @@ none
 
 == INSTALL:
 
-sudo gem install strict
+sudo gem install typestrict
 
 == DEVELOPERS:
 

data/lib/typestrict.rb

@@ -1,10 +1,10 @@
 module Strict
-  VERSION = '0.0.4'
-
+  VERSION = '0.0.5'
+  
   class TypeError < Exception
     attr :errors
     def initialize(error_list)
-      enforce!(:string_array, error_list, 'lib/strict')
+      enforce!(:string_array, error_list, 'lib/typestrict')
       @errors = error_list
     end
 
@@ -19,6 +19,7 @@ module Strict
 
   @@errors = []
   @@raise_exception = true
+  @@dynamic_handlers = {}
 
   def setmode_raise!
     @@errors = []
@@ -41,6 +42,14 @@ module Strict
     raise(t, t.inspect, caller) if @@errors.size > 0
   end
 
+  def register_supertype(supertype, handler)
+    enforce_primitive!(Symbol, supertype)
+    enforce_primitive!(Proc, handler)
+
+    @@dynamic_handlers[supertype] = handler
+    puts "registered a dynamic handler for supertype: #{supertype}"
+  end
+
   def header(context, data)
     "#{context}; #{data.class.inspect}::#{data.inspect}"
   end
@@ -51,8 +60,8 @@ module Strict
   end
 
   def enforce_strict_primitives!(types, data, context="Value")
-    enforce_primitive!(Array, types, 'lib/strict')
-    types.each {|type| enforce_primitive!(Object, type, 'lib/strict')}
+    enforce_primitive!(Array, types, 'lib/typestrict')
+    types.each {|type| enforce_primitive!(Object, type, 'lib/typestrict')}
     types.each do |type|
       enforce_primitive!(type, data, context)
     end
@@ -60,8 +69,8 @@ module Strict
   end
 
   def enforce_weak_primitives!(types, data, context="Value")
-    enforce_primitive!(Array, types, 'lib/strict')
-    types.each {|type| enforce_primitive!(Object, type, 'lib/strict')}
+    enforce_primitive!(Array, types, 'lib/typestrict')
+    types.each {|type| enforce_primitive!(Object, type, 'lib/typestrict')}
     
     match_found = false
     types.each do |type|
@@ -94,11 +103,6 @@ module Strict
           enforce_primitive!(String, data, context)
           catch_error "#{header(context, data)} can't be empty string" unless (data.size > 0)
 
-        when :hex_color
-          enforce!(:string, data, context)
-          catch_error "#{header(context, data)} must be six characters long" unless (data.size == 6)
-          data.upcase.each_byte {|c| catch_error "#{header(context, data)} must contain only hexadecimal characters" unless ((48 <= c  and c <= 57) or (65 <= c and c <= 70))}
-
         when :natural_number
           enforce_primitive!(Fixnum, data, context)
           catch_error "#{header(context, data)} must be > 0" unless (data > 0)
@@ -115,6 +119,13 @@ module Strict
         when :float
           enforce_primitive!(Float, data, context)
 
+        when :character
+          enforce!(:string, data, context)
+          catch_error "#{header(context, data)} must be a single character!" unless data.size == 1
+
+        when :procedure
+          enforce_primitive!(Proc, data, context)
+
         when :string_array
           enforce_primitive!(Array, data, context)
           data.each {|item| enforce_primitive!(String, item, context)}
@@ -131,8 +142,17 @@ module Strict
           enforce_primitive!(Array, data, context)
           data.each {|item| enforce_primitive!(Fixnum, item, context)}
 
+        when :hex_color
+          enforce!(:string, data, context)
+          catch_error "#{header(context, data)} must be six characters long" unless (data.size == 6)
+          data.upcase.each_byte {|c| catch_error "#{header(context, data)} must contain only hexadecimal characters" unless ((48 <= c  and c <= 57) or (65 <= c and c <= 70))}
+
         else
-          catch_error "undefined symbol-supertype encountered: #{supertype.inspect}"
+          if @@dynamic_handlers.has_key? supertype
+            @@dynamic_handlers[supertype].call(data, context="Value")
+          else
+            catch_error "undefined symbol-supertype encountered: #{supertype.inspect}"
+          end
         end
       end
     end
@@ -140,8 +160,8 @@ module Strict
   end
 
   def enforce_map!(matrix, map)
-    enforce_primitive!(Hash, matrix, "lib/strict")
-    enforce_primitive!(Hash, map, "lib/strict")
+    enforce_primitive!(Hash, matrix, "lib/typestrict")
+    enforce_primitive!(Hash, map, "lib/typestrict")
 
     setmode_catch!
 

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification 
 name: typestrict
 version: !ruby/object:Gem::Version 
-  hash: 23
+  hash: 21
   prerelease: false
   segments: 
   - 0
   - 0
-  - 4
-  version: 0.0.4
+  - 5
+  version: 0.0.5
 platform: ruby
 authors: 
 - Raeez Lorgat
@@ -15,7 +15,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2010-08-03 00:00:00 -04:00
+date: 2010-08-07 00:00:00 -04:00
 default_executable: 
 dependencies: 
 - !ruby/object:Gem::Dependency