Menu
▾
▴
[Rubyeclipse-commit] SF.net SVN: rubyeclipse: [1543] branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby
|
From: <caw...@us...> - 2006-07-22 19:21:30
|
Revision: 1543 Author: cawilliams Date: 2006-07-22 12:20:42 -0700 (Sat, 22 Jul 2006) ViewCVS: http://svn.sourceforge.net/rubyeclipse/?rev=1543&view=rev Log Message: ----------- add our initial stubs in (eventually we want to generate these dynamically when a new interpreter is chosen) make our code completion create a ruby project dynamically with these stubs in it, and then query that when we resolve a Type name We now have working code completion (very, very hacky)! Modified Paths: -------------- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/core_stubber.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/src/org/rubypeople/rdt/internal/codeassist/RubyElementRequestor.java Added Paths: ----------- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/argumenterror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/array.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/bignum.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/binding.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/buffering.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/class.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/comparable.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/config.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/continuation.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/data.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/date.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/datetime.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/digest.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/dir.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/enumerable.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/eoferror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/errno.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/exception.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/falseclass.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/file.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/filetest.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fileutils.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fixnum.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/float.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/floatdomainerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/forwardable.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gc.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gem.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/hash.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/indexerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/integer.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/interrupt.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/io.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/ioerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/kernel.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/loaderror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/localjumperror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/marshal.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/matchdata.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/math.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/method.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/module.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nameerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nilclass.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomemoryerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomethoderror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/notimplementederror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/numeric.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/object.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/objectspace.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/openssl.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/parsedate.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/precision.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/proc.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/process.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/range.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rangeerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rational.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexp.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexperror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/runtimeerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/scripterror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/securityerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/signal.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/signalexception.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/singleforwardable.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/standarderror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/string.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/struct.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/symbol.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/syntaxerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/systemcallerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/systemexit.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/systemstackerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/thread.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/threaderror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/threadgroup.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/time.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/trueclass.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/typeerror.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/unboundmethod.rb branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/zerodivisionerror.rb Modified: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/core_stubber.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/core_stubber.rb 2006-07-22 16:33:46 UTC (rev 1542) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/core_stubber.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -52,7 +52,7 @@ f << "\n" klass.methods(false).each do |method_name| method = eval("#{klass}").method(method_name) rescue nil - print_method(f, method, method_name.to_s, true) + print_method(f, method, method_name.to_s, true) end # TODO Fix it so we can get a hold of the module instance methods properly klass.instance_methods(false).each do |method_name| @@ -74,6 +74,8 @@ method = nil end end + print_method(f, method, method_name.to_s) end + f << "end\n" end end \ No newline at end of file Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/argumenterror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/argumenterror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/argumenterror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class ArgumentError < StandardError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/array.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/array.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/array.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,148 @@ +class Array < Object + include Enumerable + + def self.[](arg0, arg1, *rest) + end + def concat(arg0) + end + def delete_at(arg0) + end + def include?(arg0) + end + def &(arg0) + end + def reverse_each + end + def flatten + end + def collect! + end + def size + end + def uniq! + end + def first(arg0, arg1, *rest) + end + def collect + end + def fill(arg0, arg1, *rest) + end + def reject! + end + def reverse + end + def *(arg0) + end + def insert(arg0, arg1, *rest) + end + def pack(arg0) + end + def unshift(arg0, arg1, *rest) + end + def compact + end + def transpose + end + def +(arg0) + end + def replace(arg0) + end + def at(arg0) + end + def select(arg0, arg1, *rest) + end + def zip(arg0, arg1, *rest) + end + def pop + end + def uniq + end + def to_s + end + def -(arg0) + end + def eql?(arg0) + end + def index(arg0) + end + def delete_if + end + def map! + end + def indexes(arg0, arg1, *rest) + end + def hash + end + def [](arg0, arg1, *rest) + end + def []=(arg0, arg1, *rest) + end + def last(arg0, arg1, *rest) + end + def |(arg0) + end + def map + end + def assoc(arg0) + end + def <<(arg0) + end + def values_at(arg0, arg1, *rest) + end + def each_index + end + def sort! + end + def length + end + def slice!(arg0, arg1, *rest) + end + def fetch(arg0, arg1, *rest) + end + def reject + end + def delete(arg0) + end + def clear + end + def sort + end + def each + end + def flatten! + end + def join(arg0, arg1, *rest) + end + def shift + end + def empty? + end + def inspect + end + def rindex(arg0) + end + def frozen? + end + def to_ary + end + def <=>(arg0) + end + def indices(arg0, arg1, *rest) + end + def ==(arg0) + end + def reverse! + end + def nitems + end + def slice(arg0, arg1, *rest) + end + def push(arg0, arg1, *rest) + end + def to_a + end + def rassoc(arg0) + end + def compact! + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/bignum.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/bignum.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/bignum.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,67 @@ +class Bignum < Integer + include Precision + include Comparable + + def div + end + def ** + end + def eql? + end + def size + end + def - + end + def <=> + end + def remainder + end + def [] + end + def == + end + def hash + end + def / + end + def quo + end + def | + end + def to_s + end + def coerce + end + def % + end + def << + end + def rpower + end + def modulo + end + def & + end + def ~ + end + def >> + end + def ^ + end + def to_f + end + def power! + end + def rdiv + end + def divmod + end + def * + end + def -@ + end + def + + end + def abs + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/binding.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/binding.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/binding.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,5 @@ +class Binding < Object + + def clone + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/buffering.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/buffering.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/buffering.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,46 @@ +module Buffering + include Enumerable + + def getc + end + def ungetc(arg0) + end + def close + end + def sync=(arg0) + end + def gets(arg0, arg1, *rest) + end + def printf(arg0, arg1, *rest) + end + def read(arg0, arg1, *rest) + end + def readchar + end + def <<(arg0) + end + def puts(arg0, arg1, *rest) + end + def each(arg0, arg1, *rest) + end + def each_byte + end + def readlines(arg0, arg1, *rest) + end + def eof + end + def write(arg0) + end + def each_line(arg0, arg1, *rest) + end + def flush + end + def sync + end + def readline(arg0, arg1, *rest) + end + def eof? + end + def print(arg0, arg1, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/class.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/class.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/class.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,9 @@ +class Class < Module + + def new(arg0, arg1, *rest) + end + def allocate + end + def superclass + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/comparable.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/comparable.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/comparable.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,15 @@ +module Comparable + + def between?(arg0, arg1) + end + def ==(arg0) + end + def >=(arg0) + end + def <(arg0) + end + def <=(arg0) + end + def >(arg0) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/config.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/config.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/config.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,9 @@ +module Config + + def self.gem_original_datadir(arg0) + end + def self.datadir(arg0) + end + def self.expand(arg0, arg1, arg2, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/continuation.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/continuation.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/continuation.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,7 @@ +class Continuation < Object + + def [] + end + def call + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/data.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/data.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/data.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class Data < Object + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/date.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/date.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/date.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,15 @@ +class Date < Object + + def self.zone_to_diff(arg0) + end + def self._strptime(arg0, arg1, arg2, *rest) + end + def self._parse(arg0, arg1, arg2, *rest) + end + def asctime + end + def ctime + end + def strftime(arg0, arg1, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/datetime.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/datetime.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/datetime.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,7 @@ +class DateTime < Date + + def self._strptime(arg0, arg1, arg2, *rest) + end + def strftime(arg0, arg1, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/digest.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/digest.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/digest.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +module Digest + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/dir.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/dir.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/dir.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,48 @@ +class Dir < Object + include Enumerable + + def self.mkdir(arg0, arg1, *rest) + end + def self.chdir(arg0, arg1, *rest) + end + def self.[](arg0) + end + def self.chroot(arg0) + end + def self.unlink(arg0) + end + def self.open(arg0) + end + def self.glob(arg0, arg1, *rest) + end + def self.pwd + end + def self.foreach(arg0) + end + def self.delete(arg0) + end + def self.rmdir(arg0) + end + def self.getwd + end + def self.entries(arg0) + end + def close + end + def rewind + end + def pos= + end + def seek + end + def read + end + def each + end + def tell + end + def path + end + def pos + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/enumerable.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/enumerable.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/enumerable.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,47 @@ +module Enumerable + + def select(arg0, arg1, *rest) + end + def each_with_index + end + def grep(arg0) + end + def map + end + def find_all + end + def sort_by + end + def collect + end + def detect(arg0, arg1, *rest) + end + def max + end + def to_a + end + def sort + end + def partition + end + def any? + end + def include?(arg0) + end + def reject + end + def zip(arg0, arg1, *rest) + end + def find(arg0, arg1, *rest) + end + def min + end + def member?(arg0) + end + def entries + end + def inject(arg0, arg1, *rest) + end + def all? + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/eoferror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/eoferror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/eoferror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class EOFError < IOError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/errno.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/errno.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/errno.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +module Errno + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/exception.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/exception.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/exception.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,19 @@ +class Exception < Object + + def self.exception(arg0, arg1, *rest) + end + def to_str + end + def backtrace + end + def inspect + end + def message + end + def to_s + end + def exception(arg0, arg1, *rest) + end + def set_backtrace(arg0) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/falseclass.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/falseclass.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/falseclass.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,11 @@ +class FalseClass < Object + + def | + end + def to_s + end + def & + end + def ^ + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/file.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/file.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/file.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,123 @@ +class File < IO + include File::Constants + include Enumerable + + def self.writable?(arg0) + end + def self.size(arg0) + end + def self.blockdev?(arg0) + end + def self.mtime(arg0) + end + def self.rename(arg0, arg1) + end + def self.truncate(arg0, arg1) + end + def self.exist?(arg0) + end + def self.grpowned?(arg0) + end + def self.stat(arg0) + end + def self.link(arg0, arg1) + end + def self.executable_real?(arg0) + end + def self.setgid?(arg0) + end + def self.chmod(arg0, arg1, *rest) + end + def self.basename(arg0, arg1, *rest) + end + def self.fnmatch(arg0, arg1, *rest) + end + def self.readable_real?(arg0) + end + def self.socket?(arg0) + end + def self.atime(arg0) + end + def self.unlink(arg0, arg1, *rest) + end + def self.directory?(arg0) + end + def self.owned?(arg0) + end + def self.lchown(arg0, arg1, *rest) + end + def self.executable?(arg0) + end + def self.setuid?(arg0) + end + def self.utime(arg0, arg1, *rest) + end + def self.expand_path(arg0, arg1, *rest) + end + def self.fnmatch?(arg0, arg1, *rest) + end + def self.readable?(arg0) + end + def self.symlink?(arg0) + end + def self.ftype(arg0) + end + def self.readlink(arg0) + end + def self.size?(arg0) + end + def self.lchmod(arg0, arg1, *rest) + end + def self.delete(arg0, arg1, *rest) + end + def self.extname(arg0) + end + def self.writable_real?(arg0) + end + def self.chardev?(arg0) + end + def self.ctime(arg0) + end + def self.umask(arg0, arg1, *rest) + end + def self.split(arg0) + end + def self.join(arg0, arg1, *rest) + end + def self.exists?(arg0) + end + def self.pipe?(arg0) + end + def self.lstat(arg0) + end + def self.symlink(arg0, arg1) + end + def self.file?(arg0) + end + def self.zero?(arg0) + end + def self.sticky?(arg0) + end + def self.chown(arg0, arg1, *rest) + end + def self.dirname(arg0) + end + def mtime + end + def truncate + end + def chmod + end + def atime + end + def flock + end + def ctime + end + def path + end + def lstat + end + def chown + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/filetest.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/filetest.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/filetest.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,49 @@ +module FileTest + + def self.writable?(arg0) + end + def self.size(arg0) + end + def self.blockdev?(arg0) + end + def self.exist?(arg0) + end + def self.grpowned?(arg0) + end + def self.executable_real?(arg0) + end + def self.setgid?(arg0) + end + def self.readable_real?(arg0) + end + def self.socket?(arg0) + end + def self.directory?(arg0) + end + def self.owned?(arg0) + end + def self.executable?(arg0) + end + def self.setuid?(arg0) + end + def self.readable?(arg0) + end + def self.symlink?(arg0) + end + def self.size?(arg0) + end + def self.writable_real?(arg0) + end + def self.chardev?(arg0) + end + def self.exists?(arg0) + end + def self.pipe?(arg0) + end + def self.file?(arg0) + end + def self.zero?(arg0) + end + def self.sticky?(arg0) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fileutils.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fileutils.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fileutils.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,81 @@ +module FileUtils + + def mkdir(arg0, arg1, arg2, *rest) + end + def remove_file(arg0, arg1, arg2, *rest) + end + def chdir(arg0, arg1, arg2, *rest) + end + def uptodate?(arg0, arg1, arg2, arg3, *rest) + end + def link(arg0, arg1, arg2, arg3, *rest) + end + def cp_r(arg0, arg1, arg2, arg3, *rest) + end + def rm_r(arg0, arg1, arg2, *rest) + end + def cp(arg0, arg1, arg2, arg3, *rest) + end + def identical?(arg0, arg1) + end + def chmod(arg0, arg1, arg2, arg3, *rest) + end + def mkdir_p(arg0, arg1, arg2, *rest) + end + def ln(arg0, arg1, arg2, arg3, *rest) + end + def copy(arg0, arg1, arg2, arg3, *rest) + end + def mv(arg0, arg1, arg2, arg3, *rest) + end + def rmtree(arg0, arg1, arg2, *rest) + end + def touch(arg0, arg1, arg2, *rest) + end + def makedirs(arg0, arg1, arg2, *rest) + end + def copy_file(arg0, arg1, arg2, arg3, *rest) + end + def safe_unlink(arg0, arg1, arg2, *rest) + end + def ln_sf(arg0, arg1, arg2, arg3, *rest) + end + def copy_entry(arg0, arg1, arg2, arg3, *rest) + end + def rm(arg0, arg1, arg2, *rest) + end + def pwd + end + def rm_rf(arg0, arg1, arg2, *rest) + end + def install(arg0, arg1, arg2, arg3, *rest) + end + def cd(arg0, arg1, arg2, *rest) + end + def mkpath(arg0, arg1, arg2, *rest) + end + def rm_f(arg0, arg1, arg2, *rest) + end + def rmdir(arg0, arg1, arg2, *rest) + end + def ln_s(arg0, arg1, arg2, arg3, *rest) + end + def move(arg0, arg1, arg2, arg3, *rest) + end + def compare_file(arg0, arg1) + end + def getwd + end + def symlink(arg0, arg1, arg2, arg3, *rest) + end + def copy_stream(arg0, arg1) + end + def remove_dir(arg0, arg1, arg2, *rest) + end + def cmp(arg0, arg1) + end + def remove(arg0, arg1, arg2, *rest) + end + def compare_stream(arg0, arg1) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fixnum.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fixnum.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/fixnum.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,75 @@ +class Fixnum < Integer + include Precision + include Comparable + + def self.induced_from(arg0) + end + def div + end + def ** + end + def size + end + def - + end + def <=> + end + def == + end + def [] + end + def / + end + def quo + end + def | + end + def to_s + end + def % + end + def << + end + def rpower + end + def modulo + end + def >= + end + def < + end + def ~ + end + def & + end + def >> + end + def <= + end + def ^ + end + def to_f + end + def to_sym + end + def > + end + def rdiv + end + def power! + end + def divmod + end + def * + end + def id2name + end + def -@ + end + def + + end + def abs + end + def zero? + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/float.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/float.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/float.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,69 @@ +class Float < Numeric + include Precision + include Comparable + + def self.induced_from(arg0) + end + def ** + end + def eql? + end + def truncate + end + def - + end + def <=> + end + def == + end + def hash + end + def to_int + end + def / + end + def round + end + def to_s + end + def coerce + end + def % + end + def finite? + end + def modulo + end + def >= + end + def < + end + def <= + end + def to_f + end + def ceil + end + def > + end + def infinite? + end + def divmod + end + def * + end + def to_i + end + def floor + end + def -@ + end + def + + end + def abs + end + def zero? + end + def nan? + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/floatdomainerror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/floatdomainerror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/floatdomainerror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class FloatDomainError < RangeError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/forwardable.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/forwardable.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/forwardable.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,15 @@ +module Forwardable + + def self.debug + end + def self.debug=(arg0) + end + def def_delegators(arg0, arg1, arg2, *rest) + end + def def_instance_delegator(arg0, arg1, arg2, arg3, *rest) + end + def def_delegator(arg0, arg1, arg2, arg3, *rest) + end + def def_instance_delegators(arg0, arg1, arg2, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gc.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gc.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gc.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,11 @@ +module GC + + def self.disable + end + def self.start + end + def self.enable + end + def garbage_collect + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gem.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gem.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/gem.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,45 @@ +module Gem + + def self.dir + end + def self.activate(arg0, arg1, arg2, arg3, *rest) + end + def self.latest_load_paths + end + def self.source_index + end + def self.use_paths(arg0, arg1, arg2, *rest) + end + def self.default_dir + end + def self.cache + end + def self.configuration + end + def self.ensure_ssl_available + end + def self.manage_gems + end + def self.user_home + end + def self.ruby + end + def self.all_load_paths + end + def self.datadir(arg0) + end + def self.clear_paths + end + def self.required_location(arg0, arg1, arg2, arg3, *rest) + end + def self.config_file + end + def self.configuration=(arg0) + end + def self.path + end + def self.ssl_available=(arg0) + end + def self.ssl_available? + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/hash.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/hash.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/hash.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,96 @@ +class Hash < Object + include Enumerable + + def self.[](arg0, arg1, *rest) + end + def default_proc + end + def size + end + def values_at(arg0, arg1, *rest) + end + def select(arg0, arg1, *rest) + end + def inspect + end + def indices(arg0, arg1, *rest) + end + def has_key?(arg0) + end + def ==(arg0) + end + def [](arg0) + end + def each_pair + end + def []=(arg0, arg1) + end + def store(arg0, arg1) + end + def length + end + def empty? + end + def replace(arg0) + end + def to_s + end + def default(arg0, arg1, *rest) + end + def indexes(arg0, arg1, *rest) + end + def update(arg0) + end + def each + end + def each_key + end + def shift + end + def delete_if + end + def to_hash + end + def value?(arg0) + end + def to_a + end + def default=(arg0) + end + def sort + end + def delete(arg0) + end + def clear + end + def invert + end + def merge!(arg0) + end + def include?(arg0) + end + def key?(arg0) + end + def each_value + end + def reject + end + def reject! + end + def rehash + end + def fetch(arg0, arg1, *rest) + end + def index(arg0) + end + def keys + end + def merge(arg0) + end + def member?(arg0) + end + def has_value?(arg0) + end + def values + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/indexerror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/indexerror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/indexerror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class IndexError < StandardError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/integer.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/integer.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/integer.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,49 @@ +class Integer < Numeric + include Precision + include Comparable + + def self.induced_from(arg0) + end + def truncate + end + def gcd2 + end + def upto + end + def integer? + end + def times + end + def succ + end + def to_int + end + def denominator + end + def lcm + end + def round + end + def to_bn + end + def downto + end + def ceil + end + def gcd + end + def next + end + def numerator + end + def to_r + end + def to_i + end + def floor + end + def chr + end + def gcdlcm + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/interrupt.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/interrupt.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/interrupt.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class Interrupt < SignalException + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/io.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/io.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/io.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,121 @@ +class IO < Object + include File::Constants + include Enumerable + + def self.select(arg0, arg1, *rest) + end + def self.for_fd(arg0, arg1, *rest) + end + def self.new(arg0, arg1, *rest) + end + def self.read(arg0, arg1, *rest) + end + def self.pipe + end + def self.open(arg0, arg1, *rest) + end + def self.sysopen(arg0, arg1, *rest) + end + def self.readlines(arg0, arg1, *rest) + end + def self.foreach(arg0, arg1, *rest) + end + def self.popen(arg0, arg1, *rest) + end + def getc + end + def ungetc + end + def close + end + def fsync + end + def sync= + end + def gets + end + def rewind + end + def pos= + end + def sysseek + end + def inspect + end + def stat + end + def printf + end + def syswrite + end + def seek + end + def close_write + end + def tty? + end + def read + end + def readchar + end + def closed? + end + def pid + end + def puts + end + def to_io + end + def << + end + def binmode + end + def reopen + end + def each + end + def each_byte + end + def tell + end + def close_read + end + def lineno + end + def readlines + end + def write + end + def eof + end + def fcntl + end + def putc + end + def fileno + end + def each_line + end + def flush + end + def to_i + end + def sync + end + def lineno= + end + def readline + end + def pos + end + def eof? + end + def ioctl + end + def print + end + def sysread + end + def isatty + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/ioerror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/ioerror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/ioerror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class IOError < StandardError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/kernel.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/kernel.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/kernel.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,219 @@ +module Kernel + + def self.String(arg0) + end + def self.iterator? + end + def self.at_exit + end + def self.sub(arg0, arg1, *rest) + end + def self.callcc + end + def self.getc + end + def self.select(arg0, arg1, *rest) + end + def self.lambda + end + def self.fail(arg0, arg1, *rest) + end + def self.chop! + end + def self.scan(arg0) + end + def self.gets(arg0, arg1, *rest) + end + def self.sleep(arg0, arg1, *rest) + end + def self.load(arg0, arg1, *rest) + end + def self.global_variables + end + def self.chomp(arg0, arg1, *rest) + end + def self.printf(arg0, arg1, *rest) + end + def self.exit!(arg0, arg1, *rest) + end + def self.Float(arg0) + end + def self.abort(arg0, arg1, *rest) + end + def self.p(arg0, arg1, *rest) + end + def self.rand(arg0, arg1, *rest) + end + def self.fork + end + def self.proc + end + def self.raise(arg0, arg1, *rest) + end + def self.set_trace_func(arg0) + end + def self.gsub!(arg0, arg1, *rest) + end + def self.warn(arg0) + end + def self.puts(arg0, arg1, *rest) + end + def self.system(arg0, arg1, *rest) + end + def self.format(arg0, arg1, *rest) + end + def self.throw(arg0, arg1, *rest) + end + def self.chop + end + def self.open(arg0, arg1, *rest) + end + def self.Integer(arg0) + end + def self.exit(arg0, arg1, *rest) + end + def self.readlines(arg0, arg1, *rest) + end + def self.srand(arg0, arg1, *rest) + end + def self.autoload(arg0, arg1) + end + def self.binding + end + def self.untrace_var(arg0, arg1, *rest) + end + def self.sub!(arg0, arg1, *rest) + end + def self.putc(arg0) + end + def self.test(arg0, arg1, *rest) + end + def self.sprintf(arg0, arg1, *rest) + end + def self.Array(arg0) + end + def self.eval(arg0, arg1, *rest) + end + def self.block_given? + end + def self.catch(arg0) + end + def self.gsub(arg0, arg1, *rest) + end + def self.split(arg0, arg1, *rest) + end + def self.syscall(arg0, arg1, *rest) + end + def self.`(arg0) + end + def self.trap(arg0, arg1, *rest) + end + def self.method_missing(arg0, arg1, *rest) + end + def self.caller(arg0, arg1, *rest) + end + def self.chomp!(arg0, arg1, *rest) + end + def self.readline(arg0, arg1, *rest) + end + def self.require(arg0) + end + def self.autoload?(arg0) + end + def self.loop + end + def self.local_variables + end + def self.trace_var(arg0, arg1, *rest) + end + def self.print(arg0, arg1, *rest) + end + def self.exec(arg0, arg1, *rest) + end + def clone + end + def protected_methods(arg0, arg1, *rest) + end + def freeze + end + def instance_variable_set(arg0, arg1) + end + def is_a?(arg0) + end + def type + end + def methods(arg0, arg1, *rest) + end + def =~(arg0) + end + def send(arg0, arg1, *rest) + end + def instance_of?(arg0) + end + def __id__ + end + def instance_variables + end + def to_s + end + def eql?(arg0) + end + def dup + end + def hash + end + def private_methods(arg0, arg1, *rest) + end + def require_gem(arg0, arg1, arg2, *rest) + end + def require(arg0) + end + def nil? + end + def tainted? + end + def class + end + def singleton_methods(arg0, arg1, *rest) + end + def display(arg0, arg1, *rest) + end + def extend(arg0, arg1, *rest) + end + def instance_eval(arg0, arg1, *rest) + end + def untaint + end + def __send__(arg0, arg1, *rest) + end + def method(arg0) + end + def instance_variable_get(arg0) + end + def object_id + end + def kind_of?(arg0) + end + def inspect + end + def taint + end + def frozen? + end + def gem(arg0, arg1, arg2, *rest) + end + def ==(arg0) + end + def public_methods(arg0, arg1, *rest) + end + def id + end + def respond_to?(arg0, arg1, *rest) + end + def ===(arg0) + end + def equal?(arg0) + end + def to_a + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/loaderror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/loaderror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/loaderror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class LoadError < ScriptError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/localjumperror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/localjumperror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/localjumperror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,7 @@ +class LocalJumpError < StandardError + + def reason + end + def exit_value + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/marshal.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/marshal.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/marshal.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,9 @@ +module Marshal + + def self.load(arg0, arg1, *rest) + end + def self.dump(arg0, arg1, *rest) + end + def self.restore(arg0, arg1, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/matchdata.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/matchdata.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/matchdata.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,33 @@ +class MatchData < Object + + def size + end + def select + end + def values_at + end + def post_match + end + def begin + end + def inspect + end + def [] + end + def length + end + def pre_match + end + def offset + end + def to_s + end + def captures + end + def to_a + end + def string + end + def end + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/math.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/math.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/math.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,47 @@ +module Math + + def self.atan2(arg0, arg1) + end + def self.asinh(arg0) + end + def self.cosh(arg0) + end + def self.ldexp(arg0, arg1) + end + def self.tan(arg0) + end + def self.log(arg0) + end + def self.acosh(arg0) + end + def self.erfc(arg0) + end + def self.atan(arg0) + end + def self.frexp(arg0) + end + def self.sin(arg0) + end + def self.exp(arg0) + end + def self.tanh(arg0) + end + def self.erf(arg0) + end + def self.asin(arg0) + end + def self.sqrt(arg0) + end + def self.cos(arg0) + end + def self.atanh(arg0) + end + def self.sinh(arg0) + end + def self.hypot(arg0, arg1) + end + def self.acos(arg0) + end + def self.log10(arg0) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/method.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/method.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/method.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,21 @@ +class Method < Object + + def arity + end + def inspect + end + def == + end + def [] + end + def call + end + def to_s + end + def unbind + end + def clone + end + def to_proc + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/module.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/module.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/module.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,75 @@ +class Module < Object + + def self.constants + end + def self.nesting + end + def public_method_defined?(arg0) + end + def <=>(arg0) + end + def constants + end + def module_eval(arg0, arg1, *rest) + end + def freeze + end + def ==(arg0) + end + def instance_methods(arg0, arg1, *rest) + end + def ===(arg0) + end + def method_defined?(arg0) + end + def to_s + end + def included_modules + end + def private_instance_methods(arg0, arg1, *rest) + end + def private_class_method(arg0, arg1, *rest) + end + def instance_method(arg0) + end + def <(arg0) + end + def >=(arg0) + end + def class_variables + end + def protected_method_defined?(arg0) + end + def <=(arg0) + end + def ancestors + end + def const_set(arg0, arg1) + end + def autoload(arg0, arg1) + end + def >(arg0) + end + def include?(arg0) + end + def protected_instance_methods(arg0, arg1, *rest) + end + def public_class_method(arg0, arg1, *rest) + end + def const_missing(arg0) + end + def private_method_defined?(arg0) + end + def name + end + def const_get(arg0) + end + def const_defined?(arg0) + end + def class_eval(arg0, arg1, *rest) + end + def autoload?(arg0) + end + def public_instance_methods(arg0, arg1, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nameerror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nameerror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nameerror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,7 @@ +class NameError < StandardError + + def to_s + end + def name + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nilclass.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nilclass.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nilclass.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,21 @@ +class NilClass < Object + + def inspect + end + def | + end + def to_s + end + def & + end + def to_f + end + def ^ + end + def nil? + end + def to_a + end + def to_i + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomemoryerror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomemoryerror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomemoryerror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class NoMemoryError < Exception + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomethoderror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomethoderror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/nomethoderror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,5 @@ +class NoMethodError < NameError + + def args + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/notimplementederror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/notimplementederror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/notimplementederror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class NotImplementedError < ScriptError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/numeric.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/numeric.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/numeric.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,46 @@ +class Numeric < Object + include Comparable + + def eql?(arg0) + end + def div(arg0) + end + def truncate + end + def <=>(arg0) + end + def remainder(arg0) + end + def to_int + end + def integer? + end + def quo(arg0) + end + def round + end + def coerce(arg0) + end + def modulo(arg0) + end + def singleton_method_added(arg0) + end + def ceil + end + def nonzero? + end + def divmod(arg0) + end + def step(arg0, arg1, *rest) + end + def +@ + end + def floor + end + def -@ + end + def abs + end + def zero? + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/object.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/object.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/object.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,4 @@ +class Object + include Kernel + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/objectspace.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/objectspace.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/objectspace.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,21 @@ +module ObjectSpace + + def self.undefine_finalizer(arg0) + end + def self.remove_finalizer(arg0) + end + def self.garbage_collect + end + def self.define_finalizer(arg0, arg1, *rest) + end + def self.add_finalizer(arg0) + end + def self.call_finalizer(arg0) + end + def self.each_object(arg0, arg1, *rest) + end + def self._id2ref(arg0) + end + def self.finalizers + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/openssl.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/openssl.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/openssl.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,7 @@ +module OpenSSL + + def self.debug + end + def self.debug=(arg0) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/parsedate.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/parsedate.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/parsedate.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,5 @@ +module ParseDate + + def self.parsedate(arg0, arg1, arg2, *rest) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/precision.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/precision.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/precision.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,11 @@ +module Precision + + def self.included(arg0) + end + def prec_f + end + def prec_i + end + def prec(arg0) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/proc.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/proc.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/proc.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,23 @@ +class Proc < Object + + def self.new(arg0, arg1, *rest) + end + def arity + end + def [] + end + def == + end + def dup + end + def call + end + def to_s + end + def clone + end + def binding + end + def to_proc + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/process.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/process.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/process.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,71 @@ +module Process + + def self.waitpid(arg0, arg1, *rest) + end + def self.initgroups(arg0, arg1) + end + def self.groups=(arg0) + end + def self.getpriority(arg0, arg1) + end + def self.exit!(arg0, arg1, *rest) + end + def self.detach(arg0) + end + def self.setpgrp + end + def self.gid + end + def self.times + end + def self.fork + end + def self.abort(arg0, arg1, *rest) + end + def self.wait2(arg0, arg1, *rest) + end + def self.pid + end + def self.egid + end + def self.setsid + end + def self.waitall + end + def self.getpgrp + end + def self.uid + end + def self.gid=(arg0) + end + def self.maxgroups + end + def self.exit(arg0, arg1, *rest) + end + def self.wait(arg0, arg1, *rest) + end + def self.euid + end + def self.egid=(arg0) + end + def self.setpgid(arg0, arg1) + end + def self.kill(arg0, arg1, *rest) + end + def self.waitpid2(arg0, arg1, *rest) + end + def self.ppid + end + def self.uid=(arg0) + end + def self.groups + end + def self.maxgroups=(arg0) + end + def self.setpriority(arg0, arg1, arg2) + end + def self.euid=(arg0) + end + def self.getpgid(arg0) + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/range.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/range.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/range.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,34 @@ +class Range < Object + include Enumerable + + def eql? + end + def begin + end + def inspect + end + def == + end + def hash + end + def exclude_end? + end + def === + end + def last + end + def to_s + end + def each + end + def first + end + def include? + end + def step + end + def end + end + def member? + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rangeerror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rangeerror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rangeerror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class RangeError < StandardError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rational.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rational.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/rational.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,46 @@ +class Rational < Numeric + include Comparable + + def self.new!(arg0, arg1, arg2, *rest) + end + def self.reduce(arg0, arg1, arg2, *rest) + end + def ** + end + def - + end + def <=> + end + def inspect + end + def == + end + def hash + end + def denominator + end + def / + end + def % + end + def coerce + end + def to_s + end + def to_f + end + def to_r + end + def numerator + end + def divmod + end + def * + end + def to_i + end + def + + end + def abs + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexp.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexp.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexp.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,39 @@ +class Regexp < Object + + def self.last_match(arg0, arg1, *rest) + end + def self.compile(arg0, arg1, *rest) + end + def self.union(arg0, arg1, *rest) + end + def self.escape(arg0, arg1, *rest) + end + def self.quote(arg0, arg1, *rest) + end + def eql? + end + def kcode + end + def inspect + end + def casefold? + end + def hash + end + def == + end + def === + end + def options + end + def to_s + end + def ~ + end + def match + end + def =~ + end + def source + end +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexperror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexperror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/regexperror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class RegexpError < StandardError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/runtimeerror.rb =================================================================== --- branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/runtimeerror.rb (rev 0) +++ branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/runtimeerror.rb 2006-07-22 19:20:42 UTC (rev 1543) @@ -0,0 +1,3 @@ +class RuntimeError < StandardError + +end Added: branches/type_inferrence/trunk/org.rubypeople.rdt.core/ruby/lib/scripterror.rb =================================================================== --- branches/type_... [truncated message content] |