rdl 1.0.0.rc1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/lib/rails_types.rb +1 -0
- data/lib/rdl.rb +56 -0
- data/lib/rdl/config.rb +121 -0
- data/lib/rdl/contracts/and.rb +29 -0
- data/lib/rdl/contracts/contract.rb +7 -0
- data/lib/rdl/contracts/flat.rb +31 -0
- data/lib/rdl/contracts/or.rb +25 -0
- data/lib/rdl/contracts/proc.rb +24 -0
- data/lib/rdl/switch.rb +20 -0
- data/lib/rdl/types/annotated_arg.rb +41 -0
- data/lib/rdl/types/finitehash.rb +81 -0
- data/lib/rdl/types/generic.rb +100 -0
- data/lib/rdl/types/intersection.rb +66 -0
- data/lib/rdl/types/lexer.rex +39 -0
- data/lib/rdl/types/lexer.rex.rb +148 -0
- data/lib/rdl/types/method.rb +219 -0
- data/lib/rdl/types/nil.rb +50 -0
- data/lib/rdl/types/nominal.rb +80 -0
- data/lib/rdl/types/optional.rb +54 -0
- data/lib/rdl/types/parser.racc +150 -0
- data/lib/rdl/types/parser.tab.rb +654 -0
- data/lib/rdl/types/singleton.rb +62 -0
- data/lib/rdl/types/structural.rb +72 -0
- data/lib/rdl/types/top.rb +50 -0
- data/lib/rdl/types/tuple.rb +61 -0
- data/lib/rdl/types/type.rb +24 -0
- data/lib/rdl/types/type_inferencer.rb +73 -0
- data/lib/rdl/types/union.rb +74 -0
- data/lib/rdl/types/var.rb +51 -0
- data/lib/rdl/types/vararg.rb +54 -0
- data/lib/rdl/types/wild.rb +26 -0
- data/lib/rdl/util.rb +56 -0
- data/lib/rdl/wrap.rb +505 -0
- data/lib/rdl_types.rb +2 -0
- data/types/other/chronic.rb +5 -0
- data/types/other/paperclip_attachment.rb +7 -0
- data/types/other/securerandom.rb +4 -0
- data/types/rails-4.2.1/fixnum.rb +3 -0
- data/types/rails-4.2.1/string.rb +3 -0
- data/types/rails-tmp/action_dispatch.rb +406 -0
- data/types/rails-tmp/active_record.rb +406 -0
- data/types/rails-tmp/devise_contracts.rb +216 -0
- data/types/ruby-2.2.0/_aliases.rb +4 -0
- data/types/ruby-2.2.0/abbrev.rb +5 -0
- data/types/ruby-2.2.0/array.rb +137 -0
- data/types/ruby-2.2.0/base64.rb +10 -0
- data/types/ruby-2.2.0/basic_object.rb +13 -0
- data/types/ruby-2.2.0/benchmark.rb +11 -0
- data/types/ruby-2.2.0/bigdecimal.rb +15 -0
- data/types/ruby-2.2.0/bigmath.rb +12 -0
- data/types/ruby-2.2.0/class.rb +17 -0
- data/types/ruby-2.2.0/complex.rb +42 -0
- data/types/ruby-2.2.0/coverage.rb +6 -0
- data/types/ruby-2.2.0/csv.rb +5 -0
- data/types/ruby-2.2.0/date.rb +6 -0
- data/types/ruby-2.2.0/dir.rb +38 -0
- data/types/ruby-2.2.0/encoding.rb +23 -0
- data/types/ruby-2.2.0/enumerable.rb +98 -0
- data/types/ruby-2.2.0/enumerator.rb +26 -0
- data/types/ruby-2.2.0/exception.rb +15 -0
- data/types/ruby-2.2.0/file.rb +124 -0
- data/types/ruby-2.2.0/fileutils.rb +6 -0
- data/types/ruby-2.2.0/fixnum.rb +45 -0
- data/types/ruby-2.2.0/float.rb +54 -0
- data/types/ruby-2.2.0/gem.rb +245 -0
- data/types/ruby-2.2.0/hash.rb +72 -0
- data/types/ruby-2.2.0/integer.rb +31 -0
- data/types/ruby-2.2.0/io.rb +103 -0
- data/types/ruby-2.2.0/kernel.rb +89 -0
- data/types/ruby-2.2.0/marshal.rb +5 -0
- data/types/ruby-2.2.0/matchdata.rb +26 -0
- data/types/ruby-2.2.0/math.rb +53 -0
- data/types/ruby-2.2.0/numeric.rb +46 -0
- data/types/ruby-2.2.0/object.rb +73 -0
- data/types/ruby-2.2.0/pathname.rb +106 -0
- data/types/ruby-2.2.0/process.rb +127 -0
- data/types/ruby-2.2.0/random.rb +15 -0
- data/types/ruby-2.2.0/range.rb +38 -0
- data/types/ruby-2.2.0/rational.rb +31 -0
- data/types/ruby-2.2.0/regexp.rb +30 -0
- data/types/ruby-2.2.0/set.rb +58 -0
- data/types/ruby-2.2.0/string.rb +145 -0
- data/types/ruby-2.2.0/strscan.rb +7 -0
- data/types/ruby-2.2.0/symbol.rb +29 -0
- data/types/ruby-2.2.0/time.rb +68 -0
- data/types/ruby-2.2.0/uri.rb +18 -0
- data/types/ruby-2.2.0/yaml.rb +5 -0
- metadata +131 -0
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: []
|