rsense-core 0.5.0

data/test/script/class_method_partial_update.rsense

@@ -0,0 +1,52 @@
+type-inference --test=Class.Method.PartialUpdate1 --should-be=Fixnum
+class C
+  def f(x) x_|_ end
+end
+C.new.f(1)
+EOF
+
+type-inference --test=Class.Method.PartialUpdate2 --keep-env --should-be=Fixnum
+class C
+  def f(x) x_|_ end
+end
+C.new.f(1)
+EOF
+
+type-inference --test=Class.Method.PartialUpdate3 --keep-env --should-be=Fixnum
+class C
+  def f(x) 1; x_|_ end
+end
+C.new.f(1)
+EOF
+
+
+type-inference --test=Class.Method.PartialUpdate4 --should-be=Fixnum
+class C
+  def self.f(x) D.new.f(x) end
+  class D
+    def f(x) x_|_ end
+  end
+end
+C.f(1)
+EOF
+
+type-inference --test=Class.Method.PartialUpdate5 --keep-env --should-be=Fixnum
+class C
+  def self.f(x) D.new.f(x) end
+  class D
+    def f(x) x_|_ end
+  end
+end
+C.f(1)
+EOF
+
+type-inference --test=Class.Method.PartialUpdate6 --keep-env --should-be=Fixnum
+class C
+  def self.f(x) D.new.f(x) end
+  class D
+    def f(x) 1; x_|_ end
+  end
+end
+C.f(1)
+EOF
+

data/test/script/class_partial_update.rsense

@@ -0,0 +1,17 @@
+type-inference --test=Class.PartialUpdate1 --should-be=Fixnum
+class C
+  1_|_
+end
+EOF
+
+type-inference --test=Class.PartialUpdate2 --keep-env --should-be=Fixnum
+class C
+  1_|_
+end
+EOF
+
+type-inference --test=Class.PartialUpdate3 --keep-env --should-be=Float
+class C
+  2.3_|_
+end
+EOF

data/test/script/find-definition.rsense

@@ -0,0 +1,72 @@
+find-definition --test=FindDefinitionCommand1 --should-be=(stdin):1
+def f
+end
+f_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand2 --should-be=(stdin):3
+def f
+end
+def g
+end
+g_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand3 --should-be=(stdin):2
+class C
+  def f() end
+end
+C.new.f_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand4 --should-be=(stdin):2
+class C
+  def f() end
+end
+class D
+  def f() end
+end
+C.new.f_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand5 --should-be=(stdin):5
+class C
+  def f() end
+end
+class D
+  def f() end
+end
+D.new.f_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand6 --should-be=(stdin):4
+class C
+  def f() end
+end
+class D
+  def f() end
+end
+D_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand7 --should-be=(stdin):3
+class C
+  def f() end
+  class D
+    def f() end
+  end
+end
+C::D_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand8 --should-be=(stdin):1
+C = 1
+C_|_
+EOF
+
+find-definition --keep-env --test=FindDefinitionCommand9 --should-be=(stdin):2
+module M
+  C = 1
+end
+M::C_|_
+EOF

data/test/script/method_arg_onearg.rsense

@@ -0,0 +1,6 @@
+type-inference --test=Method.Arg.OneArg --should-be=Fixnum
+def f(x)
+  x
+end
+f(1)_|_
+EOF

data/test/script/method_arg_optional.rsense

@@ -0,0 +1,7 @@
+type-inference --test=Method.Arg.Optional --should-be=Fixnum
+def f(x = 1)
+  x
+end
+f_|_
+EOF
+

data/test/script/method_partial_update.rsense

@@ -0,0 +1,14 @@
+type-inference --test=Method.PartialUpdate1 --should-be=Fixnum
+def f(x) x_|_ end
+f(1)
+EOF
+
+type-inference --test=Method.PartialUpdate2 --keep-env --should-be=Fixnum
+def f(x) x_|_ end
+f(1)
+EOF
+
+type-inference --test=Method.Partialupdate3 --keep-env --should-be=Fixnum
+def f(x) 1; x_|_ end
+f(1)
+EOF

data/test/script/method_yield_arrayarg.rsense

@@ -0,0 +1,8 @@
+type-inference --test=Method.Yield.ArrayArg --should-be=Array
+def f
+  yield [1]
+end
+f {|x|
+  x_|_
+}
+EOF

data/test/script/method_yield_arrayarg_expand.rsense

@@ -0,0 +1,8 @@
+type-inference --test=Method.Yield.ArrayArg.Expand --should-be=Float
+def f
+  yield [1, 2.3]
+end
+f {|x, y|
+  y_|_
+}
+EOF

data/test/script/method_yield_arrayarg_splat.rsense

@@ -0,0 +1,17 @@
+type-inference --test=Method.Yield.ArrayArg.Splat1 --should-be=Array
+def f
+  yield [1, 2.3]
+end
+f {|x, *y|
+  y_|_
+}
+EOF
+
+type-inference --test=Method.Yield.ArrayArg.Splat2 --should-be=String
+def f
+  yield [1, 2.3, '']
+end
+f {|x, *y|
+  y[1]_|_
+}
+EOF

data/test/script/misc.rsense

@@ -0,0 +1,2 @@
+type-inference --file=test/data/crlf.rb --location=3:9 --test=CRLF --should-be=String
+type-inference '--file=test/data/a file.rb' --location=1:2 --test=SpaceFile --should-be=Fixnum

data/test/script/proc_higher_order.rsense

@@ -0,0 +1,22 @@
+type-inference --test=Proc.HigherOrder1 --should-be=Fixnum,Bignum
+def set(&block)
+  $block = block
+end
+set {|a| a + 1}
+$block.call(1)_|_
+EOF
+
+type-inference --test=Proc.HigherOrder2 --should-be=Fixnum,Bignum
+def adder(a)
+  proc {|b| a + b }
+end
+adder(1).call(2)_|_
+EOF
+
+type-inference --keep-env --test=Proc.HigherOrder.Bug --should-be=Fixnum,Bignum
+def adder(a)
+  proc {|b| a + b }
+end
+adder(1).call(2)_|_
+EOF
+

data/test/script/regression.rsense

@@ -0,0 +1,95 @@
+type-inference --test=MegamorphicObject.InfinityLoop --should-be=Fixnum
+def f(a)
+  a = []
+  a = []
+  a = []
+  a = []
+  a = []
+  f(a)
+  1
+end
+f([])_|_
+EOF
+
+type-inference --test=Hash.OpElementAssign --should-be=String
+a = {}
+b = (a[''] ||= {})
+b[''] = ''
+a['']['']_|_
+EOF
+
+type-inference --test=Pathname --should-be=Pathname
+class Pathname
+  def initialize(path)
+    @path = path
+  end
+
+  def sub(pattern, *rest, &block)
+    @path.sub(pattern) {}
+  end
+
+  def parent
+    self + '..'
+  end
+
+  def +(other)
+    other = Pathname.new(other)
+  end
+
+  def find(&block)
+    self.class.new(@path.sub('', ''))
+  end
+end
+Pathname.new('')_|_
+EOF
+
+type-inference --test=InstVar.ArrayMegamorphism1 --should-be=Array
+class C
+  def f
+    @a = []
+    @a = []
+    @a = []
+    @a = []
+    @a = []
+    @a = []
+    @a_|_
+  end
+end
+EOF
+
+type-inference --test=InstVar.ArrayMegamorphism2 --should-be=Fixnum
+class C
+  def f
+    b = []
+    @a = b
+    @a = []
+    @a = []
+    @a = []
+    @a = []
+    @a = []
+    b << 1
+    @a.first_|_
+  end
+end
+EOF
+
+type-inference --test=InstVar.ArrayMegamorphism3 --should-be=Object
+class C
+  def f
+    @a = [1]
+    @a = ['']
+    @a = [2.3]
+    @a = [:a]
+    @a = [[]]
+    @a = [{}]
+    @a_|_
+  end
+end
+EOF
+
+type-inference --test=ClassForModule --should-be=Fixnum
+class C
+  def self.foo() 1 end
+end
+C.foo_|_
+EOF

data/test/script/stdlib.rsense

@@ -0,0 +1,66 @@
+type-inference --test=BigDecimal --should-be=BigDecimal
+require 'bigdecimal'
+BigDecimal('')_|_
+EOF
+
+type-inference --test=CGI --should-be=CGI
+require 'cgi'
+CGI.new_|_
+EOF
+
+type-inference --test=Socket --should-be=TCPSocket
+require 'socket'
+TCPSocket.open('foo', 80)_|_
+EOF
+
+type-inference --test=StringIO --should-be=StringIO
+require 'stringio'
+StringIO.new_|_
+EOF
+
+type-inference --test=Date --should-be=Date
+require 'date'
+Date.today_|_
+EOF
+
+type-inference --test=DateTime --should-be=DateTime
+require 'date'
+DateTime.now_|_
+EOF
+
+type-inference --test=Rational --should-be=Rational
+require 'rational'
+Rational(0, 0)_|_
+EOF
+
+type-inference --test=Set --should-be=Set
+require 'set'
+Set[1, 2.3]_|_
+EOF
+
+type-inference --test=Set.Access --should-be=Fixnum
+require 'set'
+a = Set.new
+a << 1
+a.max_|_
+EOF
+
+type-inference --test=SortedSet --should-be=SortedSet
+require 'set'
+SortedSet[1, 2.3]_|_
+EOF
+
+type-inference --test=SortedSet.Access --should-be=Fixnum
+require 'set'
+a = SortedSet.new
+a << 1
+a.max_|_
+EOF
+
+type-inference --test=OptionParser --should-be=String,Boolean,TrueClass,FalseClass
+require 'optparse'
+OptionParser.new do |opt|
+  opt.on('-a') {|v| v_|_}
+  opt.order!
+end
+EOF

data/test/script/where.rsense

@@ -0,0 +1,41 @@
+where --line=2 --test=WhereCommand1 --should-be=C
+class C
+
+  def f
+    1
+  end
+end
+EOF
+
+where --line=3 --test=WhereCommand2 --should-be=C#f
+class C
+  def f
+    1
+  end
+end
+EOF
+
+where --line=7 --test=WhereCommand3 --should-be=C#g
+class C
+  def f
+    1
+  end
+
+  def g
+    2.3
+  end
+end
+EOF
+
+where --line=9 --test=WhereCommand4 --should-be=C#g
+class C
+  def f
+    1
+  end
+
+  def g
+    2.3
+  end
+
+end
+EOF