rsense-core 0.5.0

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 (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