rdl 1.0.0.rc4 → 1.0.0.rc5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 34e6eddfee2d08722132c424591d878ffbc18f02
-  data.tar.gz: ff24c0cc1d42115c74a08eb71c4e559387b70ec9
+  metadata.gz: f08d83f1ab28460fdf388e66bb895301e15074de
+  data.tar.gz: 3aa93fb286eaa230381861d94eb5c3c84d1216c2
 SHA512:
-  metadata.gz: 4b73359d42f51dd62711d909c45871e5846f8f07550ec9dee14c5f37e01768fc2d7fd50cb2fcdda5589eb2a8e6ae3c7f4c71c3207eb125116704ece7533d57e2
-  data.tar.gz: 5fa178c68df8d9e1f302c921d6037b3b4178f8219c1d4d9ac133118958b6b3f9a8b9181a459b59611e2dccd30b4772787defd10e6885fd322bb358bde5efb593
+  metadata.gz: b40bbe4769252d20b12908a0d60fddb5a361c33cf129142bf9d408203f81d4829d11c86cd43f57065f727d0c46bb56ffa93a40796b3842a88e698cc78f224327
+  data.tar.gz: a86819890911ddc6177ab05b83f0f38725e3e801bb59812ce4aeadbbecdec14656955a6ea33b485dabc90f7f91c07a06f2fef5bc0f055bf46e4c6b5d552d9c50

data/README.md

@@ -39,7 +39,7 @@ RDL contracts and types are stored in memory at run time, so it's also possible
 > rdl_query 'hash'             # get type for instance method of current class
 Object#hash: () -> Fixnum
  => nil
-> rdl_query 'String#include'   # get type for instance method of another class
+> rdl_query 'String#include?'   # get type for instance method of another class
 String#include?: (String) -> FalseClass or TrueClass
  => nil
  > rdl_query 'Pathname.glob'   # get type for singleton method of a class

data/rdl.gemspec

@@ -4,7 +4,7 @@
 
 Gem::Specification.new do |s|
   s.name        = 'rdl'
-  s.version     = '1.0.0.rc4'
+  s.version     = '1.0.0.rc5'
   s.date        = '2015-12-17'
   s.summary     = 'Ruby type and contract system'
   s.description = <<-EOF

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

@@ -1,11 +1,11 @@
 class Class
   rdl_nowrap
 
-  type 'allocate', '() -> %any' # Instance of class self
-  type 'inherited', '(Class) -> %any'
+  type :allocate, '() -> %any' # Instance of class self
+  type :inherited, '(Class) -> %any'
   #type 'initialize', '() -> '
   #type 'new', '(*%any) -> %any' #Causes two other test cases to fail
-  type 'superclass', '() -> Class or nil'
+  type :superclass, '() -> Class or nil'
 
   #  type :class_eval, '() {() -> %any} -> %any'
   #  type :method_defined?, '(String or Symbol) -> %bool'

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

@@ -1,6 +1,6 @@
 class Date
   rdl_nowrap
 
-  type('self.now', "() -> DateTime")
-  type(:strftime, "(String) -> String")
+  type 'self.now', '() -> DateTime'
+  type :strftime, '(String) -> String'
 end

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

@@ -1,17 +1,17 @@
 class Exception
   rdl_nowrap
-  
-  type '==', '(%any) -> %bool'
-  type 'backtrace', '() -> Array<String>'
-  type 'backtrace_locations', '() -> Array<Thread::Backtrace::Location>'
-  type 'cause', '() -> nil' # TODO exception is proper postcondition
-  type 'exception', '(?String) -> Exception' # or error
+
+  type :==, '(%any) -> %bool'
+  type :backtrace, '() -> Array<String>'
+  type :backtrace_locations, '() -> Array<Thread::Backtrace::Location>'
+  type :cause, '() -> nil' # TODO exception is proper postcondition
+  type :exception, '(?String) -> Exception' # or error
   # type 'initialize', '() -> '
-  type 'inspect', '() -> String'
-  type 'message', '() -> String'
+  type :inspect, '() -> String'
+  type :message, '() -> String'
   # type 'method_missing', '() -> '
   # type 'respond_to?', '() -> '
   # type 'respond_to_missing?', '() -> '
-  type 'set_backtrace', '(String or Array<String>) -> Array<String>'
-  type 'to_s', '() -> String'
+  type :set_backtrace, '(String or Array<String>) -> Array<String>'
+  type :to_s, '() -> String'
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rdl
 version: !ruby/object:Gem::Version
-  version: 1.0.0.rc4
+  version: 1.0.0.rc5
 platform: ruby
 authors:
 - Jeffrey S. Foster