rsense-core 0.5.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (137) hide show
  1. checksums.yaml +7 -0
  2. data/.gitignore +22 -0
  3. data/Gemfile +4 -0
  4. data/LICENSE.txt +1 -0
  5. data/README.md +35 -0
  6. data/Rakefile +84 -0
  7. data/TypeAnnotation.tokens +41 -0
  8. data/build.xml +84 -0
  9. data/build_lib/antlr-3.2.jar +0 -0
  10. data/lib/jars/ant-1.7.0.jar +0 -0
  11. data/lib/jars/ant-launcher-1.7.0.jar +0 -0
  12. data/lib/jars/antlr-runtime-3.2.jar +0 -0
  13. data/lib/jars/bsf-2.3.0.jar +0 -0
  14. data/lib/rsense-core.rb +28 -0
  15. data/lib/rsense.jar +0 -0
  16. data/lib/rsense/core.rb +5 -0
  17. data/lib/rsense/core/version.rb +5 -0
  18. data/lib/rsense/parser.rb +6 -0
  19. data/lib/rsense/ruby.rb +19 -0
  20. data/lib/rsense/typing.rb +13 -0
  21. data/lib/rsense/typing/annotation.rb +20 -0
  22. data/lib/rsense/typing/runtime.rb +23 -0
  23. data/lib/rsense/typing/vertex.rb +15 -0
  24. data/lib/rsense/util.rb +9 -0
  25. data/rsense-core.gemspec +30 -0
  26. data/src/org/cx4a/rsense/CodeAssist.java +744 -0
  27. data/src/org/cx4a/rsense/CodeAssistError.java +31 -0
  28. data/src/org/cx4a/rsense/CodeAssistResult.java +42 -0
  29. data/src/org/cx4a/rsense/CodeCompletionResult.java +65 -0
  30. data/src/org/cx4a/rsense/FindDefinitionResult.java +24 -0
  31. data/src/org/cx4a/rsense/LoadResult.java +19 -0
  32. data/src/org/cx4a/rsense/Main.java +916 -0
  33. data/src/org/cx4a/rsense/Options.java +353 -0
  34. data/src/org/cx4a/rsense/Project.java +103 -0
  35. data/src/org/cx4a/rsense/TypeInferenceResult.java +25 -0
  36. data/src/org/cx4a/rsense/WhereResult.java +19 -0
  37. data/src/org/cx4a/rsense/parser/TypeAnnotation.g +221 -0
  38. data/src/org/cx4a/rsense/parser/TypeAnnotationLexer.java +1759 -0
  39. data/src/org/cx4a/rsense/parser/TypeAnnotationParser.java +2025 -0
  40. data/src/org/cx4a/rsense/ruby/Block.java +10 -0
  41. data/src/org/cx4a/rsense/ruby/Context.java +75 -0
  42. data/src/org/cx4a/rsense/ruby/DynamicMethod.java +10 -0
  43. data/src/org/cx4a/rsense/ruby/DynamicScope.java +51 -0
  44. data/src/org/cx4a/rsense/ruby/Frame.java +95 -0
  45. data/src/org/cx4a/rsense/ruby/IRubyObject.java +17 -0
  46. data/src/org/cx4a/rsense/ruby/LocalScope.java +43 -0
  47. data/src/org/cx4a/rsense/ruby/MetaClass.java +50 -0
  48. data/src/org/cx4a/rsense/ruby/Ruby.java +242 -0
  49. data/src/org/cx4a/rsense/ruby/RubyClass.java +146 -0
  50. data/src/org/cx4a/rsense/ruby/RubyModule.java +255 -0
  51. data/src/org/cx4a/rsense/ruby/RubyObject.java +94 -0
  52. data/src/org/cx4a/rsense/ruby/Scope.java +7 -0
  53. data/src/org/cx4a/rsense/ruby/SpecialObject.java +15 -0
  54. data/src/org/cx4a/rsense/ruby/Visibility.java +17 -0
  55. data/src/org/cx4a/rsense/typing/Graph.java +1690 -0
  56. data/src/org/cx4a/rsense/typing/Propagation.java +73 -0
  57. data/src/org/cx4a/rsense/typing/Template.java +84 -0
  58. data/src/org/cx4a/rsense/typing/TemplateAttribute.java +158 -0
  59. data/src/org/cx4a/rsense/typing/TypeSet.java +48 -0
  60. data/src/org/cx4a/rsense/typing/annotation/ClassType.java +57 -0
  61. data/src/org/cx4a/rsense/typing/annotation/MethodType.java +79 -0
  62. data/src/org/cx4a/rsense/typing/annotation/TypeAnnotation.java +4 -0
  63. data/src/org/cx4a/rsense/typing/annotation/TypeAny.java +7 -0
  64. data/src/org/cx4a/rsense/typing/annotation/TypeApplication.java +37 -0
  65. data/src/org/cx4a/rsense/typing/annotation/TypeConstraint.java +29 -0
  66. data/src/org/cx4a/rsense/typing/annotation/TypeExpression.java +11 -0
  67. data/src/org/cx4a/rsense/typing/annotation/TypeIdentity.java +59 -0
  68. data/src/org/cx4a/rsense/typing/annotation/TypeOptional.java +22 -0
  69. data/src/org/cx4a/rsense/typing/annotation/TypePragma.java +22 -0
  70. data/src/org/cx4a/rsense/typing/annotation/TypeSplat.java +22 -0
  71. data/src/org/cx4a/rsense/typing/annotation/TypeTuple.java +35 -0
  72. data/src/org/cx4a/rsense/typing/annotation/TypeUnion.java +23 -0
  73. data/src/org/cx4a/rsense/typing/annotation/TypeVariable.java +44 -0
  74. data/src/org/cx4a/rsense/typing/runtime/AliasMethod.java +94 -0
  75. data/src/org/cx4a/rsense/typing/runtime/AnnotationHelper.java +69 -0
  76. data/src/org/cx4a/rsense/typing/runtime/AnnotationResolver.java +523 -0
  77. data/src/org/cx4a/rsense/typing/runtime/Array.java +84 -0
  78. data/src/org/cx4a/rsense/typing/runtime/ClassTag.java +27 -0
  79. data/src/org/cx4a/rsense/typing/runtime/DefaultMethod.java +115 -0
  80. data/src/org/cx4a/rsense/typing/runtime/Hash.java +131 -0
  81. data/src/org/cx4a/rsense/typing/runtime/LoopTag.java +21 -0
  82. data/src/org/cx4a/rsense/typing/runtime/Method.java +32 -0
  83. data/src/org/cx4a/rsense/typing/runtime/MonomorphicObject.java +77 -0
  84. data/src/org/cx4a/rsense/typing/runtime/ObjectAllocator.java +40 -0
  85. data/src/org/cx4a/rsense/typing/runtime/PolymorphicObject.java +90 -0
  86. data/src/org/cx4a/rsense/typing/runtime/Proc.java +100 -0
  87. data/src/org/cx4a/rsense/typing/runtime/RuntimeHelper.java +1339 -0
  88. data/src/org/cx4a/rsense/typing/runtime/SpecialMethod.java +119 -0
  89. data/src/org/cx4a/rsense/typing/runtime/TypeVarMap.java +112 -0
  90. data/src/org/cx4a/rsense/typing/runtime/VertexHolder.java +48 -0
  91. data/src/org/cx4a/rsense/typing/vertex/CallVertex.java +122 -0
  92. data/src/org/cx4a/rsense/typing/vertex/MultipleAsgnVertex.java +23 -0
  93. data/src/org/cx4a/rsense/typing/vertex/PassThroughVertex.java +20 -0
  94. data/src/org/cx4a/rsense/typing/vertex/SValueVertex.java +24 -0
  95. data/src/org/cx4a/rsense/typing/vertex/SplatVertex.java +24 -0
  96. data/src/org/cx4a/rsense/typing/vertex/ToAryVertex.java +24 -0
  97. data/src/org/cx4a/rsense/typing/vertex/TypeVarVertex.java +22 -0
  98. data/src/org/cx4a/rsense/typing/vertex/Vertex.java +221 -0
  99. data/src/org/cx4a/rsense/typing/vertex/YieldVertex.java +70 -0
  100. data/src/org/cx4a/rsense/util/HereDocReader.java +48 -0
  101. data/src/org/cx4a/rsense/util/Logger.java +111 -0
  102. data/src/org/cx4a/rsense/util/NodeUtil.java +198 -0
  103. data/src/org/cx4a/rsense/util/SourceLocation.java +70 -0
  104. data/src/org/cx4a/rsense/util/StringUtil.java +63 -0
  105. data/src/resources/org/cx4a/rsense/rsense.properties +1 -0
  106. data/stubs/1.8/_builtin.rb +3006 -0
  107. data/stubs/1.8/bigdecimal.rb +131 -0
  108. data/stubs/1.8/cgi.rb +257 -0
  109. data/stubs/1.8/date.rb +147 -0
  110. data/stubs/1.8/optparse.rb +113 -0
  111. data/stubs/1.8/rational.rb +47 -0
  112. data/stubs/1.8/set.rb +94 -0
  113. data/stubs/1.8/socket.rb +461 -0
  114. data/stubs/1.8/stringio.rb +129 -0
  115. data/test/data/a file.rb +1 -0
  116. data/test/data/benchmark.rb +12 -0
  117. data/test/data/crlf.rb +5 -0
  118. data/test/data/test.rb +19 -0
  119. data/test/script/all.rsense +2 -0
  120. data/test/script/array_dynamic.rsense +25 -0
  121. data/test/script/block_nested.rsense +7 -0
  122. data/test/script/builtin.rsense +785 -0
  123. data/test/script/class_method_partial_update.rsense +52 -0
  124. data/test/script/class_partial_update.rsense +17 -0
  125. data/test/script/find-definition.rsense +72 -0
  126. data/test/script/method_arg_onearg.rsense +6 -0
  127. data/test/script/method_arg_optional.rsense +7 -0
  128. data/test/script/method_partial_update.rsense +14 -0
  129. data/test/script/method_yield_arrayarg.rsense +8 -0
  130. data/test/script/method_yield_arrayarg_expand.rsense +8 -0
  131. data/test/script/method_yield_arrayarg_splat.rsense +17 -0
  132. data/test/script/misc.rsense +2 -0
  133. data/test/script/proc_higher_order.rsense +22 -0
  134. data/test/script/regression.rsense +95 -0
  135. data/test/script/stdlib.rsense +66 -0
  136. data/test/script/where.rsense +41 -0
  137. metadata +315 -0
@@ -0,0 +1,131 @@
1
+ class BigDecimal < Numeric
2
+ BASE = 0
3
+ EXCEPTION_ALL = 0
4
+ EXCEPTION_INFINITY = 0
5
+ EXCEPTION_NaN = 0
6
+ EXCEPTION_OVERFLOW = 0
7
+ EXCEPTION_UNDERFLOW = 0
8
+ EXCEPTION_ZERODIVIDE = 0
9
+ ROUND_CEILING = 0
10
+ ROUND_DOWN = 0
11
+ ROUND_FLOOR = 0
12
+ ROUND_HALF_DOWN = 0
13
+ ROUND_HALF_EVEN = 0
14
+ ROUND_HALF_UP = 0
15
+ ROUND_MODE = 0
16
+ ROUND_UP = 0
17
+ SIGN_NEGATIVE_FINITE = 0
18
+ SIGN_NEGATIVE_INFINITE = 0
19
+ SIGN_NEGATIVE_ZERO = 0
20
+ SIGN_NaN = 0
21
+ SIGN_POSITIVE_FINITE = 0
22
+ SIGN_POSITIVE_INFINITE = 0
23
+ SIGN_POSITIVE_ZERO = 0
24
+
25
+ ##% self.double_fig() -> Integer
26
+ def self.double_fig() 0 end
27
+ ##% self.induced_from(a) -> BigDecimal
28
+ def self.induced_from(number) BigDecimal.new('') end
29
+ ##% self.limit(?Integer) -> Integer
30
+ def self.limit(n = 0) 0 end
31
+ ##% self.mode(Integer, ?Boolean) -> Boolean
32
+ def self.mode(s, v = nil) BOOLEAN end
33
+ ##% self.new(String, ?Integer) -> BigDecimal
34
+ def self.new(s, n = 0) super() end
35
+ ##% self.ver() -> String
36
+ def self.ver() '' end
37
+
38
+ ### Numeric
39
+ ##% +@() -> self
40
+ def +@() self end
41
+ ##% -@() -> BigDecimal
42
+ def -@() BigDecimal.new('') end
43
+ ##% "<=>"(other) -> Fixnum
44
+ def <=>(other) 0 end
45
+ ##% abs() -> BigDecimal
46
+ def abs() self end
47
+ ##% clone() -> self
48
+ def clone() self end
49
+ alias :dup :clone
50
+ ##% coerce(Float) -> (Float, Float)
51
+ ##% coerce(Numeric) -> (Fixnum, Fixnum)
52
+ def coerce(other) [0.0, 0.0] end
53
+ ##% divmod(Numeric) -> (BigDecimal, Numeric)
54
+ def divmod(other) [BigDecimal.new(''), 0] end
55
+ ##% eql?(Numeric) -> Boolean
56
+ def eql?(other) BOOLEAN end
57
+ ##% quo(Numeric) -> BigDecimal
58
+ def quo(other) 0.0 end
59
+ ##% fdiv(Numeric) -> BigDecimal
60
+ def fdiv(other) 0.0 end
61
+ ##% integer?() -> Boolean
62
+ def integer?() BOOLEAN end
63
+ ##% modulo(Numeric) -> BigDecimal
64
+ def modulo(other) 0 end
65
+ ##% nonzero?() -> self
66
+ def nonzero?() self end
67
+ ##% remainder(Numeric) -> BigDecimal
68
+ def remainder(other) 0 end
69
+ ##% step<a | a <= Numeric>(Numeric, ?a) {self or a or Fixnum -> ?} -> self
70
+ ##% step<a | a <= Numeric>(Numeric, ?a) -> Enumerator<self, self or a or Fixnum>
71
+ def step(limit, step = 1) self end
72
+ ##% zero?() -> Boolean
73
+ def zero?() BOOLEAN end
74
+
75
+ ##% _dump() -> String
76
+ def _dump() '' end
77
+ ##% add(Numeric, Integer) -> BigDecimal
78
+ def add(b, n) BigDecimal.new('') end
79
+ ##% ceil(?Integer) -> BigDecimal
80
+ def ceil(n = 0) 0 end
81
+ ##% div(Numeric, ?Integer) -> BigDecimal
82
+ def div(other, n = 0) BigDecimal.new('') end
83
+ ##% exponent() -> Fixnum
84
+ def exponent() 0 end
85
+ ##% finite?() -> Boolean
86
+ def finite?() BOOLEAN end
87
+ ##% fix() -> Fixnum
88
+ def fix() 0 end
89
+ ##% floor(?Integer) -> BigDecimal
90
+ def floor(n = 0) BigDecimal.new('') end
91
+ ##% flac() -> BigDecimal
92
+ def flac() BigDecimal.new('') end
93
+ ##% infinite?() -> Boolean
94
+ def infinite?() BOOLEAN end
95
+ ##% mult(Numeric, Integer) -> BigDecimal
96
+ def mult(b, n) BigDecimal.new('') end
97
+ ##% nan?() -> Boolean
98
+ def nan?() BOOLEAN end
99
+ ##% nonzero?() -> Boolean
100
+ def nonzero?() BOOLEAN end
101
+ ##% power(Integer) -> BigDecimal
102
+ def power(n) BigDecimal.new('') end
103
+ ##% precs() -> (Fixnum, Fixnum)
104
+ def precs() [0, 0] end
105
+ ##% round(Integer, ?Integer) -> Fixnum | Float
106
+ def round(n, b = 0) 0 || 0.0 end
107
+ ##% sign() -> Fixnum
108
+ def sign() 0 end
109
+ ##% split() -> (Fixnum, String, Fixnum, Fixnum)
110
+ def split() [0, '', 0, 0] end
111
+ ##% sqrt(Fixnum) -> BigDecimal
112
+ def sqrt(n) BigDecimal.new('') end
113
+ ##% sub(Numeric, Integer) -> BigDecimal
114
+ def sub(b, n) BigDecimal.new('') end
115
+ ##% to_f() -> Float
116
+ def to_f() 0.0 end
117
+ ##% to_i() -> Fixnum | Bignum
118
+ def to_i() 0 end
119
+ ##% to_int() -> Integer
120
+ def to_int() 0 end
121
+ ##% to_s(?Fixnum) -> String
122
+ def to_s(n = 0) '' end
123
+ ##% truncate() -> BigDecimal
124
+ def truncate() BigDecimal.new('') end
125
+ end
126
+
127
+ module Kernel
128
+ ##% BigDecimal(String, ?Fixnum) -> BigDecimal
129
+ def BigDecimal(s, n = 0) BigDecimal.new('') end
130
+ module_function :BigDecimal
131
+ end
data/stubs/1.8/cgi.rb ADDED
@@ -0,0 +1,257 @@
1
+ require_next
2
+
3
+ class CGI
4
+ # emulate CGI#initialize
5
+ include QueryExtension
6
+ include Html4Tr
7
+ include HtmlExtension
8
+
9
+ module QueryExtension
10
+ ##% content_length() -> Integer
11
+ def content_length() 0 end
12
+ ##% server_port() -> Integer
13
+ def server_port() 0 end
14
+ ##% auth_type() -> String
15
+ def auth_type() '' end
16
+ ##% content_type() -> String
17
+ def content_type() '' end
18
+ ##% gateway_interface() -> String
19
+ def gateway_interface() '' end
20
+ ##% path_info() -> String
21
+ def path_info() '' end
22
+ ##% path_translated() -> String
23
+ def path_translated() '' end
24
+ ##% query_string() -> String
25
+ def query_string() '' end
26
+ ##% remote_addr() -> String
27
+ def remote_addr() '' end
28
+ ##% remote_host() -> String
29
+ def remote_host() '' end
30
+ ##% remote_ident() -> String
31
+ def remote_ident() '' end
32
+ ##% remote_user() -> String
33
+ def remote_user() '' end
34
+ ##% request_method() -> String
35
+ def request_method() '' end
36
+ ##% script_name() -> String
37
+ def script_name() '' end
38
+ ##% server_name() -> String
39
+ def server_name() '' end
40
+ ##% server_protocol() -> String
41
+ def server_protocol() '' end
42
+ ##% server_software() -> String
43
+ def server_software() '' end
44
+ ##% accept() -> String
45
+ def accept() '' end
46
+ ##% accept_charset() -> String
47
+ def accept_charset() '' end
48
+ ##% accept_encoding() -> String
49
+ def accept_encoding() '' end
50
+ ##% accept_language() -> String
51
+ def accept_language() '' end
52
+ ##% cache_control() -> String
53
+ def cache_control() '' end
54
+ ##% from() -> String
55
+ def from() '' end
56
+ ##% host() -> String
57
+ def host() '' end
58
+ ##% negotiate() -> String
59
+ def negotiate() '' end
60
+ ##% pragma() -> String
61
+ def pragma() '' end
62
+ ##% referer() -> String
63
+ def referer() '' end
64
+ ##% user_agent() -> String
65
+ def user_agent() '' end
66
+ end
67
+
68
+ # FIXME Html3, Html4, Html4Fr
69
+ module Html4Tr
70
+ ##% tt(a) -> String
71
+ ##% tt(a) {() -> ?} -> String
72
+ def tt(attributes = nil) yield; '' end
73
+ ##% i(a) -> String
74
+ ##% i(a) {() -> ?} -> String
75
+ def i(attributes = nil) yield; '' end
76
+ ##% b(a) -> String
77
+ ##% b(a) {() -> ?} -> String
78
+ def b(attributes = nil) yield; '' end
79
+ ##% u(a) -> String
80
+ ##% u(a) {() -> ?} -> String
81
+ def u(attributes = nil) yield; '' end
82
+ ##% s(a) -> String
83
+ ##% s(a) {() -> ?} -> String
84
+ def s(attributes = nil) yield; '' end
85
+ ##% strike(a) -> String
86
+ ##% strike(a) {() -> ?} -> String
87
+ def strike(attributes = nil) yield; '' end
88
+ ##% big(a) -> String
89
+ ##% big(a) {() -> ?} -> String
90
+ def big(attributes = nil) yield; '' end
91
+ ##% small(a) -> String
92
+ ##% small(a) {() -> ?} -> String
93
+ def small(attributes = nil) yield; '' end
94
+ ##% em(a) -> String
95
+ ##% em(a) {() -> ?} -> String
96
+ def em(attributes = nil) yield; '' end
97
+ ##% strong(a) -> String
98
+ ##% strong(a) {() -> ?} -> String
99
+ def strong(attributes = nil) yield; '' end
100
+ ##% dfn(a) -> String
101
+ ##% dfn(a) {() -> ?} -> String
102
+ def dfn(attributes = nil) yield; '' end
103
+ ##% code(a) -> String
104
+ ##% code(a) {() -> ?} -> String
105
+ def code(attributes = nil) yield; '' end
106
+ ##% samp(a) -> String
107
+ ##% samp(a) {() -> ?} -> String
108
+ def samp(attributes = nil) yield; '' end
109
+ ##% kbd(a) -> String
110
+ ##% kbd(a) {() -> ?} -> String
111
+ def kbd(attributes = nil) yield; '' end
112
+ ##% var(a) -> String
113
+ ##% var(a) {() -> ?} -> String
114
+ def var(attributes = nil) yield; '' end
115
+ ##% cite(a) -> String
116
+ ##% cite(a) {() -> ?} -> String
117
+ def cite(attributes = nil) yield; '' end
118
+ ##% abbr(a) -> String
119
+ ##% abbr(a) {() -> ?} -> String
120
+ def abbr(attributes = nil) yield; '' end
121
+ ##% acronym(a) -> String
122
+ ##% acronym(a) {() -> ?} -> String
123
+ def acronym(attributes = nil) yield; '' end
124
+ ##% font(a) -> String
125
+ ##% font(a) {() -> ?} -> String
126
+ def font(attributes = nil) yield; '' end
127
+ ##% sub(a) -> String
128
+ ##% sub(a) {() -> ?} -> String
129
+ def sub(attributes = nil) yield; '' end
130
+ ##% sup(a) -> String
131
+ ##% sup(a) {() -> ?} -> String
132
+ def sup(attributes = nil) yield; '' end
133
+ ##% span(a) -> String
134
+ ##% span(a) {() -> ?} -> String
135
+ def span(attributes = nil) yield; '' end
136
+ ##% bdo(a) -> String
137
+ ##% bdo(a) {() -> ?} -> String
138
+ def bdo(attributes = nil) yield; '' end
139
+ ##% address(a) -> String
140
+ ##% address(a) {() -> ?} -> String
141
+ def address(attributes = nil) yield; '' end
142
+ ##% div(a) -> String
143
+ ##% div(a) {() -> ?} -> String
144
+ def div(attributes = nil) yield; '' end
145
+ ##% center(a) -> String
146
+ ##% center(a) {() -> ?} -> String
147
+ def center(attributes = nil) yield; '' end
148
+ ##% map(a) -> String
149
+ ##% map(a) {() -> ?} -> String
150
+ def map(attributes = nil) yield; '' end
151
+ ##% object(a) -> String
152
+ ##% object(a) {() -> ?} -> String
153
+ def object(attributes = nil) yield; '' end
154
+ ##% applet(a) -> String
155
+ ##% applet(a) {() -> ?} -> String
156
+ def applet(attributes = nil) yield; '' end
157
+ ##% h1(a) -> String
158
+ ##% h1(a) {() -> ?} -> String
159
+ def h1(attributes = nil) yield; '' end
160
+ ##% h2(a) -> String
161
+ ##% h2(a) {() -> ?} -> String
162
+ def h2(attributes = nil) yield; '' end
163
+ ##% h3(a) -> String
164
+ ##% h3(a) {() -> ?} -> String
165
+ def h3(attributes = nil) yield; '' end
166
+ ##% h4(a) -> String
167
+ ##% h4(a) {() -> ?} -> String
168
+ def h4(attributes = nil) yield; '' end
169
+ ##% h5(a) -> String
170
+ ##% h5(a) {() -> ?} -> String
171
+ def h5(attributes = nil) yield; '' end
172
+ ##% h6(a) -> String
173
+ ##% h6(a) {() -> ?} -> String
174
+ def h6(attributes = nil) yield; '' end
175
+ ##% pre(a) -> String
176
+ ##% pre(a) {() -> ?} -> String
177
+ def pre(attributes = nil) yield; '' end
178
+ ##% q(a) -> String
179
+ ##% q(a) {() -> ?} -> String
180
+ def q(attributes = nil) yield; '' end
181
+ ##% ins(a) -> String
182
+ ##% ins(a) {() -> ?} -> String
183
+ def ins(attributes = nil) yield; '' end
184
+ ##% del(a) -> String
185
+ ##% del(a) {() -> ?} -> String
186
+ def del(attributes = nil) yield; '' end
187
+ ##% dl(a) -> String
188
+ ##% dl(a) {() -> ?} -> String
189
+ def dl(attributes = nil) yield; '' end
190
+ ##% ol(a) -> String
191
+ ##% ol(a) {() -> ?} -> String
192
+ def ol(attributes = nil) yield; '' end
193
+ ##% ul(a) -> String
194
+ ##% ul(a) {() -> ?} -> String
195
+ def ul(attributes = nil) yield; '' end
196
+ ##% dir(a) -> String
197
+ ##% dir(a) {() -> ?} -> String
198
+ def dir(attributes = nil) yield; '' end
199
+ ##% menu(a) -> String
200
+ ##% menu(a) {() -> ?} -> String
201
+ def menu(attributes = nil) yield; '' end
202
+ ##% label(a) -> String
203
+ ##% label(a) {() -> ?} -> String
204
+ def label(attributes = nil) yield; '' end
205
+ ##% select(a) -> String
206
+ ##% select(a) {() -> ?} -> String
207
+ def select(attributes = nil) yield; '' end
208
+ ##% optgroup(a) -> String
209
+ ##% optgroup(a) {() -> ?} -> String
210
+ def optgroup(attributes = nil) yield; '' end
211
+ ##% fieldset(a) -> String
212
+ ##% fieldset(a) {() -> ?} -> String
213
+ def fieldset(attributes = nil) yield; '' end
214
+ ##% legend(a) -> String
215
+ ##% legend(a) {() -> ?} -> String
216
+ def legend(attributes = nil) yield; '' end
217
+ ##% button(a) -> String
218
+ ##% button(a) {() -> ?} -> String
219
+ def button(attributes = nil) yield; '' end
220
+ ##% table(a) -> String
221
+ ##% table(a) {() -> ?} -> String
222
+ def table(attributes = nil) yield; '' end
223
+ ##% iframe(a) -> String
224
+ ##% iframe(a) {() -> ?} -> String
225
+ def iframe(attributes = nil) yield; '' end
226
+ ##% noframes(a) -> String
227
+ ##% noframes(a) {() -> ?} -> String
228
+ def noframes(attributes = nil) yield; '' end
229
+ ##% title(a) -> String
230
+ ##% title(a) {() -> ?} -> String
231
+ def title(attributes = nil) yield; '' end
232
+ ##% style(a) -> String
233
+ ##% style(a) {() -> ?} -> String
234
+ def style(attributes = nil) yield; '' end
235
+ ##% script(a) -> String
236
+ ##% script(a) {() -> ?} -> String
237
+ def script(attributes = nil) yield; '' end
238
+ ##% noscript(a) -> String
239
+ ##% noscript(a) {() -> ?} -> String
240
+ def noscript(attributes = nil) yield; '' end
241
+ ##% textarea(a) -> String
242
+ ##% textarea(a) {() -> ?} -> String
243
+ def textarea(attributes = nil) yield; '' end
244
+ ##% form(a) -> String
245
+ ##% form(a) {() -> ?} -> String
246
+ def form(attributes = nil) yield; '' end
247
+ ##% a(a) -> String
248
+ ##% a(a) {() -> ?} -> String
249
+ def a(attributes = nil) yield; '' end
250
+ ##% blockquote(a) -> String
251
+ ##% blockquote(a) {() -> ?} -> String
252
+ def blockquote(attributes = nil) yield; '' end
253
+ ##% caption(a) -> String
254
+ ##% caption(a) {() -> ?} -> String
255
+ def caption(attributes = nil) yield; '' end
256
+ end
257
+ end
data/stubs/1.8/date.rb ADDED
@@ -0,0 +1,147 @@
1
+ class Date
2
+ ENGLAND = 0
3
+ GREGORIAN = 0
4
+ ITALY = 0
5
+ JULIAN = 0
6
+
7
+ include Comparable
8
+
9
+ ##% self._parse(String, ?Boolean) -> Hash<Sybmol, Integer>
10
+ def self._parse(str, complete = false) [:a => ''] end
11
+ ##% self._strptime(String, ?String) -> Hash<Sybmol, Integer>
12
+ def self._strptime(str, format = '%F') [:a => ''] end
13
+ ##% self.civil(?Integer, ?Integer, ?Integer, ?Integer) -> Date
14
+ def self.civil(year = -4712, mon = 1, mday = 1, start = Date::ITALY) Date.new(year, mon, mday, start) end
15
+ ##% self.new(?Integer, ?Integer, ?Integer, ?Integer) -> Date
16
+ def self.new(year = -4712, mon = 1, mday = 1, start = Date::ITALY) super() end
17
+ ##% self.commercial(?Integer, ?Integer, ?Integer, ?Integer) -> Date
18
+ def self.commercial(cwyear = 1582, cweek = 41, cwday = 5, start = Date::ITALY) Date.new(cwyear, cweek, cwday, start) end
19
+ ##% self.gregorian_leap?(Integer) -> Boolean
20
+ def self.gregorian_leap?(year) BOOLEAN end
21
+ ##% self.leap?(Integer) -> Boolean
22
+ def self.leap?(year) BOOLEAN end
23
+ ##% self.jd(?Integer, ?Integer) -> Date
24
+ def self.jd(js = 0, start = Date::ITALY) Date.new(0, 0, 0, start) end
25
+ ##% self.julian_leap?(Integer) -> Boolean
26
+ def self.julian_leap?(year) BOOLEAN end
27
+ ##% self.ordinal(?Integer, ?Integer, ?Integer) -> Date
28
+ def self.ordinal(year = -4712, yday = 1, start = Date::ITALY) Date.new(year, 0, 0, start) end
29
+ ##% self.parse(?String, ?Boolean, ?Integer) -> Date
30
+ def self.parse(str = '-4712-01-01', complete = false, start = Date::ITALY) Date.new(0, 0, 0, start) end
31
+ ##% self.parse(?String, ?String, ?Integer) -> Date
32
+ def self.parse(str = '-4712-01-01', format = '%F', start = Date::ITALY) Date.new(0, 0, 0, start) end
33
+ ##% self.today(?Integer) -> Date
34
+ def self.today(start = Date::ITALY) Date.new(0, 0, 0, start) end
35
+ ##% self.valid_civil?(Integer, Integer, Integer, ?Integer) -> Numeric
36
+ def self.valid_civil?(year, mon, mday, start = Date::GREGORIAN) 0 end
37
+ ##% self.valid_date?(Integer, Integer, Integer, ?Integer) -> Numeric
38
+ def self.valid_date?(year, mon, mday, start = Date::GREGORIAN) 0 end
39
+ ##% self.valid_commercial?(Integer, Integer, Integer, ?Integer) -> Numeric
40
+ def self.valid_commercial?(cwyear, cweek, cwday, start = Date::GREGORIAN) 0 end
41
+ ##% self.valid_jd?(Integer, ?Integer) -> Numeric
42
+ def self.valid_jd?(jd, start = Date::GREGORIAN) 0 end
43
+ ##% self.valid_ordinal?(Integer, Integer, ?Integer) -> Numeric
44
+ def self.valid_ordinal?(year, yday, start = Date::GREGORIAN) 0 end
45
+
46
+ ##% +(Integer) -> Date
47
+ def +(n) self end
48
+ ##% -(Date) -> Rational
49
+ ##% -(Integer) -> Date
50
+ def -(n) self end
51
+ ##% "<<"(Integer) -> Date
52
+ def <<(n) self end
53
+ ##% "<=>"(a) -> Integer
54
+ def <=>(other) 0 end
55
+ ##% ===(a) -> Boolean
56
+ def ===(other) BOOLEAN end
57
+ ##% ">>"(Integer) -> Date
58
+ def >>(n) self end
59
+ ##% ajd() -> Rational
60
+ def ajd() Rational.new end
61
+ ##% amjd() -> Rational
62
+ def amjd() Rational.new end
63
+ ##% asctime() -> String
64
+ def asctime() '' end
65
+ alias :ctime :asctime
66
+ ##% cwday() -> Integer
67
+ def cwday() 0 end
68
+ ##% cweek() -> Integer
69
+ def cweek() 0 end
70
+ ##% cwyear() -> Integer
71
+ def cwyear() 0 end
72
+ ##% mday() -> Integer
73
+ def mday() 0 end
74
+ alias :day :mday
75
+ ##% downto(Date) {Date -> ?} -> self
76
+ def downto(min) yield self; self end
77
+ ##% england() -> Date
78
+ def england() self end
79
+ ##% gregorian() -> Date
80
+ def gregorian() self end
81
+ ##% gregorian?() -> Boolean
82
+ def gregorian?() BOOLEAN end
83
+ ##% italy() -> Date
84
+ def italy() self end
85
+ ##% jd() -> Integer
86
+ def jd() 0 end
87
+ ##% julian() -> Date
88
+ def julian() self end
89
+ ##% julian?() -> Boolean
90
+ def julian?() BOOLEAN end
91
+ ##% ld() -> Integer
92
+ def ld() 0 end
93
+ ##% leap?() -> Boolean
94
+ def leap?() BOOLEAN end
95
+ ##% mon() -> Integer
96
+ def mon() 0 end
97
+ alias :month :mon
98
+ ##% new_start(?Integer) -> Date
99
+ def new_start(start = Date::ITALY) self end
100
+ ##% succ() -> Date
101
+ def succ() self end
102
+ alias :next :succ
103
+ ##% start() -> Integer
104
+ def start() 0 end
105
+ ##% step(Date, ?Integer) {Date -> ?} -> self
106
+ def step(limit, step = 1) yield self; self end
107
+ ##% strftime(?String) -> String
108
+ def strftime(format = '%F') '' end
109
+ ##% to_s() -> String
110
+ def to_s() '' end
111
+ ##% upto(Date) {Date -> ?} -> self
112
+ def upto(min) yield self; self end
113
+ ##% wday() -> Integer
114
+ def wday() 0 end
115
+ ##% yday() -> Integer
116
+ def yday() 0 end
117
+ ##% year() -> Integer
118
+ def year() 0 end
119
+ end
120
+
121
+ class DateTime < Date
122
+ ##% self.civil(?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer) -> DateTime
123
+ def self.civil(year = -4712, mon = 1, mday = 1, hour = 0, min = 0, sec = 0, offset = 0, start = Date::ITALY) DateTime.new(year, mon, mday, hour, min, sec, offset, start) end
124
+ ##% self.new(?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer) -> DateTime
125
+ def self.new(year = -4712, mon = 1, mday = 1, hour = 0, min = 0, sec = 0, offset = 0, start = Date::ITALY) super() end
126
+ ##% self.commercial(?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer) -> DateTime
127
+ def self.commercial(cwyear = 1582, cweek = 41, cwday = 5, hour = 0, min = 0, sec = 0, offset = 0, start = Date::ITALY) DateTime.new(0, 0, 0, 0, 0, 0, 0, start) end
128
+ ##% self.jd(?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer) -> DateTime
129
+ def self.jd(jd = 0, hour = 0, min = 0, sec = 0, offset = 0, start = Date::ITALY) DateTime.new(0, 0, 0, 0, 0, 0, 0, start) end
130
+ ##% self.now(?Integer) -> DateTime
131
+ def self.now(start = Date::ITALY) DateTime.new(0, 0, 0, 0, 0, 0, 0, start) end
132
+ ##% self.ordinal(?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer, ?Integer) -> DateTime
133
+ def self.ordinal(year = -4712, yday = 1, hour = 0, min = 0, sec = 0, offset = 0, start = Date::ITALY) DateTime.new(0, 0, 0, 0, 0, 0, 0, start) end
134
+
135
+ ##% hour() -> Integer
136
+ def hour() 0 end
137
+ ##% min() -> Integer
138
+ def min() 0 end
139
+ ##% new_offset(?Integer) -> DateTime
140
+ def new_offset(offset = 0) self end
141
+ ##% offset() -> Integer
142
+ def offset() 0 end
143
+ ##% sec() -> Integer
144
+ def sec() 0 end
145
+ ##% zone() -> String
146
+ def zone() '' end
147
+ end