rdl 1.0.0.rc1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (89) hide show
  1. checksums.yaml +7 -0
  2. data/lib/rails_types.rb +1 -0
  3. data/lib/rdl.rb +56 -0
  4. data/lib/rdl/config.rb +121 -0
  5. data/lib/rdl/contracts/and.rb +29 -0
  6. data/lib/rdl/contracts/contract.rb +7 -0
  7. data/lib/rdl/contracts/flat.rb +31 -0
  8. data/lib/rdl/contracts/or.rb +25 -0
  9. data/lib/rdl/contracts/proc.rb +24 -0
  10. data/lib/rdl/switch.rb +20 -0
  11. data/lib/rdl/types/annotated_arg.rb +41 -0
  12. data/lib/rdl/types/finitehash.rb +81 -0
  13. data/lib/rdl/types/generic.rb +100 -0
  14. data/lib/rdl/types/intersection.rb +66 -0
  15. data/lib/rdl/types/lexer.rex +39 -0
  16. data/lib/rdl/types/lexer.rex.rb +148 -0
  17. data/lib/rdl/types/method.rb +219 -0
  18. data/lib/rdl/types/nil.rb +50 -0
  19. data/lib/rdl/types/nominal.rb +80 -0
  20. data/lib/rdl/types/optional.rb +54 -0
  21. data/lib/rdl/types/parser.racc +150 -0
  22. data/lib/rdl/types/parser.tab.rb +654 -0
  23. data/lib/rdl/types/singleton.rb +62 -0
  24. data/lib/rdl/types/structural.rb +72 -0
  25. data/lib/rdl/types/top.rb +50 -0
  26. data/lib/rdl/types/tuple.rb +61 -0
  27. data/lib/rdl/types/type.rb +24 -0
  28. data/lib/rdl/types/type_inferencer.rb +73 -0
  29. data/lib/rdl/types/union.rb +74 -0
  30. data/lib/rdl/types/var.rb +51 -0
  31. data/lib/rdl/types/vararg.rb +54 -0
  32. data/lib/rdl/types/wild.rb +26 -0
  33. data/lib/rdl/util.rb +56 -0
  34. data/lib/rdl/wrap.rb +505 -0
  35. data/lib/rdl_types.rb +2 -0
  36. data/types/other/chronic.rb +5 -0
  37. data/types/other/paperclip_attachment.rb +7 -0
  38. data/types/other/securerandom.rb +4 -0
  39. data/types/rails-4.2.1/fixnum.rb +3 -0
  40. data/types/rails-4.2.1/string.rb +3 -0
  41. data/types/rails-tmp/action_dispatch.rb +406 -0
  42. data/types/rails-tmp/active_record.rb +406 -0
  43. data/types/rails-tmp/devise_contracts.rb +216 -0
  44. data/types/ruby-2.2.0/_aliases.rb +4 -0
  45. data/types/ruby-2.2.0/abbrev.rb +5 -0
  46. data/types/ruby-2.2.0/array.rb +137 -0
  47. data/types/ruby-2.2.0/base64.rb +10 -0
  48. data/types/ruby-2.2.0/basic_object.rb +13 -0
  49. data/types/ruby-2.2.0/benchmark.rb +11 -0
  50. data/types/ruby-2.2.0/bigdecimal.rb +15 -0
  51. data/types/ruby-2.2.0/bigmath.rb +12 -0
  52. data/types/ruby-2.2.0/class.rb +17 -0
  53. data/types/ruby-2.2.0/complex.rb +42 -0
  54. data/types/ruby-2.2.0/coverage.rb +6 -0
  55. data/types/ruby-2.2.0/csv.rb +5 -0
  56. data/types/ruby-2.2.0/date.rb +6 -0
  57. data/types/ruby-2.2.0/dir.rb +38 -0
  58. data/types/ruby-2.2.0/encoding.rb +23 -0
  59. data/types/ruby-2.2.0/enumerable.rb +98 -0
  60. data/types/ruby-2.2.0/enumerator.rb +26 -0
  61. data/types/ruby-2.2.0/exception.rb +15 -0
  62. data/types/ruby-2.2.0/file.rb +124 -0
  63. data/types/ruby-2.2.0/fileutils.rb +6 -0
  64. data/types/ruby-2.2.0/fixnum.rb +45 -0
  65. data/types/ruby-2.2.0/float.rb +54 -0
  66. data/types/ruby-2.2.0/gem.rb +245 -0
  67. data/types/ruby-2.2.0/hash.rb +72 -0
  68. data/types/ruby-2.2.0/integer.rb +31 -0
  69. data/types/ruby-2.2.0/io.rb +103 -0
  70. data/types/ruby-2.2.0/kernel.rb +89 -0
  71. data/types/ruby-2.2.0/marshal.rb +5 -0
  72. data/types/ruby-2.2.0/matchdata.rb +26 -0
  73. data/types/ruby-2.2.0/math.rb +53 -0
  74. data/types/ruby-2.2.0/numeric.rb +46 -0
  75. data/types/ruby-2.2.0/object.rb +73 -0
  76. data/types/ruby-2.2.0/pathname.rb +106 -0
  77. data/types/ruby-2.2.0/process.rb +127 -0
  78. data/types/ruby-2.2.0/random.rb +15 -0
  79. data/types/ruby-2.2.0/range.rb +38 -0
  80. data/types/ruby-2.2.0/rational.rb +31 -0
  81. data/types/ruby-2.2.0/regexp.rb +30 -0
  82. data/types/ruby-2.2.0/set.rb +58 -0
  83. data/types/ruby-2.2.0/string.rb +145 -0
  84. data/types/ruby-2.2.0/strscan.rb +7 -0
  85. data/types/ruby-2.2.0/symbol.rb +29 -0
  86. data/types/ruby-2.2.0/time.rb +68 -0
  87. data/types/ruby-2.2.0/uri.rb +18 -0
  88. data/types/ruby-2.2.0/yaml.rb +5 -0
  89. metadata +131 -0
data/types/ruby-2.2.0/yaml.rb ADDED
@@ -0,0 +1,5 @@
1
+ module YAML
2
+ nowrap
3
+
4
+ type 'self.load_file', '(String) -> Array<String>'
5
+ end
metadata ADDED
@@ -0,0 +1,131 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: rdl
3
+ version: !ruby/object:Gem::Version
4
+ version: 1.0.0.rc1
5
+ platform: ruby
6
+ authors:
7
+ - University of Maryland, College Park
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2015-12-16 00:00:00.000000000 Z
12
+ dependencies: []
13
+ description: Ruby type and contract system
14
+ email:
15
+ - rdl-users@googlegroups.com
16
+ executables: []
17
+ extensions: []
18
+ extra_rdoc_files: []
19
+ files:
20
+ - lib/rails_types.rb
21
+ - lib/rdl.rb
22
+ - lib/rdl/config.rb
23
+ - lib/rdl/contracts/and.rb
24
+ - lib/rdl/contracts/contract.rb
25
+ - lib/rdl/contracts/flat.rb
26
+ - lib/rdl/contracts/or.rb
27
+ - lib/rdl/contracts/proc.rb
28
+ - lib/rdl/switch.rb
29
+ - lib/rdl/types/annotated_arg.rb
30
+ - lib/rdl/types/finitehash.rb
31
+ - lib/rdl/types/generic.rb
32
+ - lib/rdl/types/intersection.rb
33
+ - lib/rdl/types/lexer.rex
34
+ - lib/rdl/types/lexer.rex.rb
35
+ - lib/rdl/types/method.rb
36
+ - lib/rdl/types/nil.rb
37
+ - lib/rdl/types/nominal.rb
38
+ - lib/rdl/types/optional.rb
39
+ - lib/rdl/types/parser.racc
40
+ - lib/rdl/types/parser.tab.rb
41
+ - lib/rdl/types/singleton.rb
42
+ - lib/rdl/types/structural.rb
43
+ - lib/rdl/types/top.rb
44
+ - lib/rdl/types/tuple.rb
45
+ - lib/rdl/types/type.rb
46
+ - lib/rdl/types/type_inferencer.rb
47
+ - lib/rdl/types/union.rb
48
+ - lib/rdl/types/var.rb
49
+ - lib/rdl/types/vararg.rb
50
+ - lib/rdl/types/wild.rb
51
+ - lib/rdl/util.rb
52
+ - lib/rdl/wrap.rb
53
+ - lib/rdl_types.rb
54
+ - types/other/chronic.rb
55
+ - types/other/paperclip_attachment.rb
56
+ - types/other/securerandom.rb
57
+ - types/rails-4.2.1/fixnum.rb
58
+ - types/rails-4.2.1/string.rb
59
+ - types/rails-tmp/action_dispatch.rb
60
+ - types/rails-tmp/active_record.rb
61
+ - types/rails-tmp/devise_contracts.rb
62
+ - types/ruby-2.2.0/_aliases.rb
63
+ - types/ruby-2.2.0/abbrev.rb
64
+ - types/ruby-2.2.0/array.rb
65
+ - types/ruby-2.2.0/base64.rb
66
+ - types/ruby-2.2.0/basic_object.rb
67
+ - types/ruby-2.2.0/benchmark.rb
68
+ - types/ruby-2.2.0/bigdecimal.rb
69
+ - types/ruby-2.2.0/bigmath.rb
70
+ - types/ruby-2.2.0/class.rb
71
+ - types/ruby-2.2.0/complex.rb
72
+ - types/ruby-2.2.0/coverage.rb
73
+ - types/ruby-2.2.0/csv.rb
74
+ - types/ruby-2.2.0/date.rb
75
+ - types/ruby-2.2.0/dir.rb
76
+ - types/ruby-2.2.0/encoding.rb
77
+ - types/ruby-2.2.0/enumerable.rb
78
+ - types/ruby-2.2.0/enumerator.rb
79
+ - types/ruby-2.2.0/exception.rb
80
+ - types/ruby-2.2.0/file.rb
81
+ - types/ruby-2.2.0/fileutils.rb
82
+ - types/ruby-2.2.0/fixnum.rb
83
+ - types/ruby-2.2.0/float.rb
84
+ - types/ruby-2.2.0/gem.rb
85
+ - types/ruby-2.2.0/hash.rb
86
+ - types/ruby-2.2.0/integer.rb
87
+ - types/ruby-2.2.0/io.rb
88
+ - types/ruby-2.2.0/kernel.rb
89
+ - types/ruby-2.2.0/marshal.rb
90
+ - types/ruby-2.2.0/matchdata.rb
91
+ - types/ruby-2.2.0/math.rb
92
+ - types/ruby-2.2.0/numeric.rb
93
+ - types/ruby-2.2.0/object.rb
94
+ - types/ruby-2.2.0/pathname.rb
95
+ - types/ruby-2.2.0/process.rb
96
+ - types/ruby-2.2.0/random.rb
97
+ - types/ruby-2.2.0/range.rb
98
+ - types/ruby-2.2.0/rational.rb
99
+ - types/ruby-2.2.0/regexp.rb
100
+ - types/ruby-2.2.0/set.rb
101
+ - types/ruby-2.2.0/string.rb
102
+ - types/ruby-2.2.0/strscan.rb
103
+ - types/ruby-2.2.0/symbol.rb
104
+ - types/ruby-2.2.0/time.rb
105
+ - types/ruby-2.2.0/uri.rb
106
+ - types/ruby-2.2.0/yaml.rb
107
+ homepage: https://github.com/plum-umd/rdl
108
+ licenses:
109
+ - BSD-3-Clause
110
+ metadata: {}
111
+ post_install_message:
112
+ rdoc_options: []
113
+ require_paths:
114
+ - lib
115
+ required_ruby_version: !ruby/object:Gem::Requirement
116
+ requirements:
117
+ - - ">="
118
+ - !ruby/object:Gem::Version
119
+ version: '0'
120
+ required_rubygems_version: !ruby/object:Gem::Requirement
121
+ requirements:
122
+ - - ">"
123
+ - !ruby/object:Gem::Version
124
+ version: 1.3.1
125
+ requirements: []
126
+ rubyforge_project:
127
+ rubygems_version: 2.4.5.1
128
+ signing_key:
129
+ specification_version: 4
130
+ summary: Ruby type and contract system
131
+ test_files: []