rdl 1.0.0.rc3 → 1.0.0.rc4

data/types/{ruby-2.2.0 → ruby-2.x}/enumerator.rb

@@ -1,5 +1,5 @@
 class Enumerator
-  nowrap
+  rdl_nowrap
 
   type_params [:t], :all?
 

data/types/{ruby-2.2.0 → ruby-2.x}/exception.rb

@@ -1,4 +1,6 @@
 class Exception
+  rdl_nowrap
+  
   type '==', '(%any) -> %bool'
   type 'backtrace', '() -> Array<String>'
   type 'backtrace_locations', '() -> Array<Thread::Backtrace::Location>'

data/types/{ruby-2.2.0 → ruby-2.x}/file.rb

@@ -1,5 +1,5 @@
 class File
-  nowrap
+  rdl_nowrap
 
   type 'self.absolute_path', '(String file, ?String dir) -> String abs_file'
   type 'self.atime', '(%path or IO file) -> Time'
@@ -121,4 +121,4 @@ class File
     type :writable_real?, '() -> %bool'
     type :zero?, '() -> %bool'
   end
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/fileutils.rb

@@ -1,5 +1,5 @@
 module FileUtils
-  nowrap
+  rdl_nowrap
 
   type('self.cp_r', '(String or Pathname, String or Pathname, ?Hash<:preserve or :noop or :verbose or :dereference_root or :remove_destination, %bool>) -> Array<String>')
   type('self.mkdir_p', '(String or Pathname, ?Hash<:mode or :noop or :verbose, %bool>) -> Array<String>')

data/types/{ruby-2.2.0 → ruby-2.x}/fixnum.rb

@@ -1,5 +1,5 @@
 class Fixnum
-  nowrap
+  rdl_nowrap
 
   type :%, '(Numeric other) -> Numeric'
   post(:%) { |r, _| r.real? }
@@ -42,4 +42,4 @@ class Fixnum
   type :to_f, '() -> Float'
   type :to_s, '(?Fixnum base) -> String'
   type :zero?, '() -> %bool'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/float.rb

@@ -1,5 +1,5 @@
 class Float
-  nowrap
+  rdl_nowrap
 
   type :%, '(Numeric other) -> Numeric'
   type :*, '(Numeric other) -> Numeric'
@@ -51,4 +51,4 @@ class Float
   type :to_s, '() -> String'
   type :truncate, '() -> Integer'
   type :zero?, '() -> %bool'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/gem.rb

@@ -1,4 +1,6 @@
 module Gem
+  rdl_nowrap
+  
   type 'self.bin_path', '(String name, ?String exec_name, *Gem::Requirement requirements) -> String'
   type 'self.binary_mode', '() -> String'
   type 'self.bindir', '(?String install_dir) -> String'
@@ -242,4 +244,4 @@ module Gem
     type 'yaml_initialize', '() -> '
   end
 =end
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/hash.rb

@@ -1,10 +1,10 @@
 class Hash
-  nowrap
+  rdl_nowrap
 
   type_params [:k, :v], :all?
 
   type 'self.[]', '(Array<Array<u>>) -> Hash<u, u>'
-  
+
   type :[], '(k) -> v'
   type :[]=, '(k, v) -> v'
   type :store, '(k,v) -> v'

data/types/{ruby-2.2.0 → ruby-2.x}/integer.rb

@@ -1,5 +1,5 @@
 class Integer
-  nowrap
+  rdl_nowrap
 
   rdl_alias :ceil, :to_i
   type :chr, '(?Encoding) -> String'
@@ -28,4 +28,4 @@ class Integer
   rdl_alias :truncate, :to_i
   type :upto, '(Integer limit) { (Integer) -> %any } -> self'
   type :upto, '(Integer limit) -> Enumerator<Integer>'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/io.rb

@@ -1,5 +1,5 @@
 class IO
-  nowrap # Do not wrap this class. Leads to mysterious errors.
+  rdl_nowrap # Do not wrap this class. Leads to mysterious errors.
 
   type 'self.binread', '(String name, ?Fixnum length, ?Fixnum offset) -> String'
   type 'self.binwrite', '(String name, String, ?Fixnum offset, %open_args) -> Fixnum'

data/types/{ruby-2.2.0 → ruby-2.x}/kernel.rb

@@ -1,5 +1,5 @@
 module Kernel
-  nowrap
+  rdl_nowrap
 
   #  type 'self.Array', '([to_ary: () -> Array<t>]) -> Array<t>'
 #  type 'self.Array', '([to_a: () -> Array<t>]) -> Array<t>'

data/types/{ruby-2.2.0 → ruby-2.x}/marshal.rb

@@ -1,5 +1,5 @@
 module Marshal
-  nowrap
+  rdl_nowrap
 
   type 'self.load', '(String, ?Proc) -> Object'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/matchdata.rb

@@ -1,6 +1,6 @@
 class MatchData
-  nowrap
-  
+  rdl_nowrap
+
   type :==, '(%any) -> %bool'
   type :[], '(Fixnum i) -> String or nil'
   type :[], '(Fixnum start, Fixnum length) -> Array<String>'
@@ -23,4 +23,4 @@ class MatchData
   type :to_a, '() -> Array<String>'
   type :to_s, '() -> String'
   type :values_at, '(*Fixnum indexes) -> Array<String>'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/math.rb

@@ -1,5 +1,5 @@
 module Math
-  nowrap
+  rdl_nowrap
 
   type 'self.acos', '(%real x) -> Float'
   pre('self.acos') { |x| -1 <= x && x <= 1 }
@@ -50,4 +50,4 @@ module Math
   type 'self.tanh', '(%real x) -> Float'
   post('self.tanh') { |r, _| -1 < r && r < 1 }
 
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/numeric.rb

@@ -1,5 +1,5 @@
 class Numeric
-  nowrap
+  rdl_nowrap
 
   type :+, '() -> self'
   type :-, '() -> Numeric'
@@ -43,4 +43,4 @@ class Numeric
   type :to_int, '() -> Integer'
   type :truncate, '() -> Integer'
   type :zero?, '() -> %bool'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/object.rb

@@ -1,5 +1,5 @@
 class Object
-  nowrap
+  rdl_nowrap
 
   # type :ARGF, ARGF
   # type :ARGV, 'Array<String>'

data/types/{ruby-2.2.0 → ruby-2.x}/pathname.rb

@@ -1,5 +1,5 @@
 class Pathname
-  nowrap
+  rdl_nowrap
 
   type 'self.getwd', '() -> Pathname'
   type 'self.glob', '(String p1, ?String p2) -> Array<Pathname>'
@@ -103,4 +103,4 @@ class Pathname
   type :writable_real?, '() -> %bool'
   type :write, '(String, ?Fixnum offset, ?Fixnum open_args) -> Fixnum'
   type :zero?, '() -> %bool'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/process.rb

@@ -1,5 +1,5 @@
 module Process
-  nowrap
+  rdl_nowrap
 
   type 'self.abort', '(?String msg) -> %any'
   type 'self.argv0', '() -> String frozen_string'
@@ -47,7 +47,7 @@ module Process
   type 'self.waitpid2', '(?Fixnum pid, ?Fixnum flags) -> [Fixnum, Fixnum] pid_and_status'
 
   module GID
-    nowrap
+    rdl_nowrap
 
     type 'self.change_privilege', '(Fixnum group) -> Fixnum'
     type 'self.eid', '() -> Fixnum'
@@ -63,8 +63,8 @@ module Process
   end
 
   module UID
-    nowrap
-    
+    rdl_nowrap
+
     type 'self.change_privilege', '(Fixnum user) -> Fixnum'
     type 'self.eid', '() -> Fixnum'
     type 'self.from_name', '(String name) -> Fixnum uid'
@@ -79,7 +79,7 @@ module Process
   end
 
   class Status
-    nowrap
+    rdl_nowrap
 
     type :&, '(Fixnum num) -> Fixnum'
     type :==, '(%any other) -> %bool'
@@ -100,7 +100,7 @@ module Process
   end
 
   module Sys
-    nowrap
+    rdl_nowrap
 
     type 'self.geteid', '() -> Fixnum'
     type 'self.geteuid', '() -> Fixnum'
@@ -120,8 +120,8 @@ module Process
   end
 
   class Waiter
-    nowrap
+    rdl_nowrap
 
     type 'pid', '() -> Fixnum'
   end
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/random.rb

@@ -1,5 +1,5 @@
 class Random
-  nowrap
+  rdl_nowrap
 
   type 'self.new', '(?Integer seed) -> Random' # Floats can be passed also, but just truncated to int?
   type 'self.new_seed', '() -> Integer'
@@ -12,4 +12,4 @@ class Random
   type :rand, '(?(Float or Range<Float>) max) -> Float'
   pre(:rand) { |max| max > 0 }
   type :seed, '() -> Integer'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/range.rb

@@ -1,5 +1,5 @@
 class Range
-  nowrap
+  rdl_nowrap
 
   type_params([:t], nil) { |t| t.member?(self.begin) && t.member?(self.end) } # TODO: And instantiated if t instantiated
 
@@ -35,4 +35,4 @@ class Range
   type :step, '(?Fixnum n) { (u) -> %any } -> self'
   type :step, '(?Fixnum n) -> Enumerator<u>'
   type :to_s, '() -> String'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/rational.rb

@@ -1,5 +1,5 @@
 class Rational
-  nowrap
+  rdl_nowrap
 
   type :*, '(Numeric) -> Numeric'
   type :**, '(Numeric) -> Numeric'
@@ -28,4 +28,4 @@ class Rational
   type :to_s, '() -> String'
   type :truncate, '() -> Integer'
   type :truncate, '(Fixnum precision) -> Rational'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/regexp.rb

@@ -1,5 +1,5 @@
 class Regexp
-  nowrap
+  rdl_nowrap
 
   type 'self.escape', '(String or Symbol) -> String'
   type 'self.last_match', '() -> MatchData' # Can't wrap or screws up MatchData
@@ -27,4 +27,4 @@ class Regexp
   type :source, '() -> String'
   type :to_s, '() -> String'
   type :~, '() -> Fixnum or nil'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/set.rb

@@ -1,8 +1,8 @@
 class Set
-  nowrap
+  rdl_nowrap
 
   type_params [:t], :all?
-  
+
   type 'self.[]', '(*u) -> Set<u>'
   type 'self.new', '(?Enumerable<u> enum) -> Set<u>'
 

data/types/{ruby-2.2.0 → ruby-2.x}/string.rb

@@ -1,5 +1,5 @@
 class String
-  nowrap
+  rdl_nowrap
 
   type :new, '(?String str) -> String new_str'
   type :try_convert, '(Object obj) -> String or nil new_string'

data/types/{ruby-2.2.0 → ruby-2.x}/strscan.rb

@@ -1,7 +1,7 @@
 class StringScanner
-  nowrap
-  
+  rdl_nowrap
+
   type :eos?, '() -> %bool'
   type :scan, '(Regexp) -> String'
   type :getch, '() -> String'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/symbol.rb

@@ -1,5 +1,5 @@
 class Symbol
-  nowrap
+  rdl_nowrap
 
   type 'self.all_symbols', '() -> Array<Symbol>'
   type :<=>, '(Symbol other) -> Fixnum or nil'
@@ -26,4 +26,4 @@ class Symbol
   rdl_alias :to_s, :id2name
   rdl_alias :to_sym, :intern
   type :upcase, '() -> Symbol'
-end
+end

data/types/{ruby-2.2.0 → ruby-2.x}/time.rb

@@ -1,5 +1,5 @@
 class Time
-  nowrap
+  rdl_nowrap
 
   type 'self.at', '(Time) -> Time'
   type 'self.at', '(Numeric seconds_with_frac) -> Time'
@@ -65,4 +65,4 @@ class Time
   type :yday, '() -> Fixnum'
   type :year, '() -> Fixnum'
   type :zone, '() -> String'
-end
+end

data/types/ruby-2.x/uri.rb

@@ -0,0 +1,20 @@
+module URI
+  rdl_nowrap
+
+  type :decode_www_form, '(String, ?Encoding, ?String separator, %bool use_charset, %bool isindex) -> Array<[String,String]>'
+  type :decode_www_form_component, '(String, ?Encoding) -> Array<[String,String]>'
+  # type 'encode_www_form', '(Array<Array<String>>, ?) -> String' #Doublesplat
+  # type 'encode_www_form_component', '(String, ?) -> String'
+  type :extract, '(String, ?Array) { (*%any) -> %any} -> Array<String>'
+  type :join, '(*String) -> URI::HTTP'
+  type :parse, '(String) -> URI::HTTP'
+  type :regexp, '(?Array schemes) -> Array<String>' #Assume schemes are strings
+  type :scheme_list, '() -> Hash<String,Class>'
+  type :split, '(String) -> Array<String or nil>'
+
+  type :escape, '(String, *Regexp) -> String'
+  type :escape, '(String, *String) -> String'
+  type :unescape, '(*String) -> String'
+  rdl_alias :encode, :escape
+  rdl_alias :decode, :unescape
+end

data/types/{ruby-2.2.0 → ruby-2.x}/yaml.rb

@@ -1,5 +1,5 @@
 module YAML
-  nowrap
-  
+  rdl_nowrap
+
   type 'self.load_file', '(String) -> Array<String>'
-end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rdl
 version: !ruby/object:Gem::Version
-  version: 1.0.0.rc3
+  version: 1.0.0.rc4
 platform: ruby
 authors:
 - Jeffrey S. Foster
@@ -34,7 +34,7 @@ dependencies:
       - !ruby/object:Gem::Version
         version: 1.3.3
 description: |
-  RDL add support for adding contracts (pre- and postconditions) to methods.
+  RDL is a gem that allows contracts (pre- and postconditions) to be added to methods.
   Preconditions are checked at run time when the method is called, and
   postconditions are checked at run time when the method returns.
   RDL also includes extensive support for type contracts, which check the types of arguments and returns
@@ -45,6 +45,12 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
+- ".gitignore"
+- ".travis.yml"
+- LICENSE
+- README.md
+- Rakefile
+- gemfiles/Gemfile.travis
 - lib/rails_types.rb
 - lib/rdl.rb
 - lib/rdl/config.rb
@@ -75,63 +81,76 @@ files:
 - lib/rdl/types/union.rb
 - lib/rdl/types/var.rb
 - lib/rdl/types/vararg.rb
-- lib/rdl/types/wild.rb
 - lib/rdl/util.rb
 - lib/rdl/wrap.rb
 - lib/rdl_types.rb
-- types/other/chronic.rb
-- types/other/paperclip_attachment.rb
-- types/other/securerandom.rb
+- rdl.gemspec
+- test/disabled_test_coverage.rb
+- test/disabled_test_rdoc.rb
+- test/test_alias.rb
+- test/test_contract.rb
+- test/test_dsl.rb
+- test/test_generic.rb
+- test/test_intersection.rb
+- test/test_le.rb
+- test/test_lib_types.rb
+- test/test_member.rb
+- test/test_parser.rb
+- test/test_rdl.rb
+- test/test_rdl_type.rb
+- test/test_type_contract.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.2.0/_aliases.rb
-- types/ruby-2.2.0/abbrev.rb
-- types/ruby-2.2.0/array.rb
-- types/ruby-2.2.0/base64.rb
-- types/ruby-2.2.0/basic_object.rb
-- types/ruby-2.2.0/benchmark.rb
-- types/ruby-2.2.0/bigdecimal.rb
-- types/ruby-2.2.0/bigmath.rb
-- types/ruby-2.2.0/class.rb
-- types/ruby-2.2.0/complex.rb
-- types/ruby-2.2.0/coverage.rb
-- types/ruby-2.2.0/csv.rb
-- types/ruby-2.2.0/date.rb
-- types/ruby-2.2.0/dir.rb
-- types/ruby-2.2.0/encoding.rb
-- types/ruby-2.2.0/enumerable.rb
-- types/ruby-2.2.0/enumerator.rb
-- types/ruby-2.2.0/exception.rb
-- types/ruby-2.2.0/file.rb
-- types/ruby-2.2.0/fileutils.rb
-- types/ruby-2.2.0/fixnum.rb
-- types/ruby-2.2.0/float.rb
-- types/ruby-2.2.0/gem.rb
-- types/ruby-2.2.0/hash.rb
-- types/ruby-2.2.0/integer.rb
-- types/ruby-2.2.0/io.rb
-- types/ruby-2.2.0/kernel.rb
-- types/ruby-2.2.0/marshal.rb
-- types/ruby-2.2.0/matchdata.rb
-- types/ruby-2.2.0/math.rb
-- types/ruby-2.2.0/numeric.rb
-- types/ruby-2.2.0/object.rb
-- types/ruby-2.2.0/pathname.rb
-- types/ruby-2.2.0/process.rb
-- types/ruby-2.2.0/random.rb
-- types/ruby-2.2.0/range.rb
-- types/ruby-2.2.0/rational.rb
-- types/ruby-2.2.0/regexp.rb
-- types/ruby-2.2.0/set.rb
-- types/ruby-2.2.0/string.rb
-- types/ruby-2.2.0/strscan.rb
-- types/ruby-2.2.0/symbol.rb
-- types/ruby-2.2.0/time.rb
-- types/ruby-2.2.0/uri.rb
-- types/ruby-2.2.0/yaml.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/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/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