rdl 1.0.0.rc1

data/types/ruby-2.2.0/kernel.rb

@@ -0,0 +1,89 @@
+module Kernel
+  nowrap
+
+  #  type 'self.Array', '([to_ary: () -> Array<t>]) -> Array<t>'
+#  type 'self.Array', '([to_a: () -> Array<t>]) -> Array<t>'
+  type 'self.Complex', '(Numeric x, Numeric y) -> Complex'
+  type 'self.Complex', '(String x) -> Complex'
+  type 'self.Float', '(Numeric x) -> Float'
+#  type 'self.Float', '(x : [to_f : () -> Float]) -> Float'
+#  type 'self.Hash', '(x : [to_hash : () -> Hash<k,v>]) -> Hash<k,v>'
+  type 'self.Hash', '(nil x) -> Hash<k,v>'
+#  type 'self.Hash, '(x : []) -> Hash<k,v>'
+  type 'self.Integer', '(Numeric or String arg, ?Fixnum base) -> Integer'
+#  type 'self.Integer', '(arg : [to_int : () -> Integer], base : ?Fixnum) -> Integer'
+#  type 'self.Integer', '(arg : [to_i : () -> Integer], base : ?Fixnum) -> Integer'
+  type 'self.Rational', '(Numeric x, Numeric y) -> Rational'
+  type 'self.Rational', '(String x) -> Rational'
+#  type 'self.String', '(arg : [to_s : () -> String]) -> String'
+  type 'self.__callee__', '() -> Symbol or nil'
+  type 'self.__dir__', '() -> String or nil'
+  type 'self.__method__', '() -> Symbol or nil'
+  type 'self.`', '(String) -> String'
+  type 'self.abort', '(?String msg) -> %any'
+  type 'self.at_exit', '() { () -> %any} -> Proc' # TODO: Fix proc
+  type 'self.autoload', '(String or Symbol module, String filename) -> nil'
+  type 'self.autoload?', '(Symbol or String name) -> String or nil'
+  type 'self.binding', '() -> Binding'
+  type 'self.block_given?', '() -> %bool'
+  type 'self.caller', '(?Fixnum start, ?Fixnum length) -> Array<String> or nil'
+  type 'self.caller', '(Range) -> Array<String> or nil'
+  type 'self.caller_locations', '(?Fixnum start, ?Fixnum length) -> Array<String> or nil'
+  type 'self.caller_locations', '(Range) -> Array<String> or nil'
+#  type 'self.catch' # TODO
+  type 'self.eval', '(String, ?Binding, ?String filename, ?Fixnum lineno) -> %any'
+#  type 'self.exec' #TODO
+  type 'self.exit', '(Fixnum or %bool status) -> %any'
+  type 'self.exit!', '(Fixnum or %bool status) -> %any'
+  type 'self.fail', '() -> %any'
+  type 'self.fail', '(String) -> %any'
+  type 'self.fail', '(Class, Array<String>) -> %any'
+  type 'self.fail', '(Class, String, Array<String>) -> %any'
+  #  type 'self.fail', '(String or [exception : () -> String], ?String, ?Array<String>) -> %any'
+#  type 'self.fork' #TODO
+  type 'self.format', '(String format, *%any args) -> String'
+  type 'self.gets', '(?String, ?Fixnum) -> String'
+  type 'self.global_variables', '() -> Array<Symbol>'
+  type 'self.iterator?', '() -> %bool'
+#  type 'self.lambda' # TODO
+  type 'self.load', '(String filename, ?%bool) -> %bool'
+  type 'self.local_variables', '() -> Array<Symbol>'
+#  type 'self.loop' #TODO
+  type 'self.open', '(String path, ?(String or Fixnum) mode, ?String perm) -> IO or nil'
+#  type 'self.open', '(String path, mode : ?String, perm: ?String) {(IO) -> %any)} -> %any' # TODO: returns block value
+#  type 'self.open', '(String path, mode : ?Fixnum, perm: ?String) {(IO) -> %any)} -> %any' # TODO: returns block value
+#  type 'self.p', '(*[inspect : () -> String]) -> nil'
+#  type 'self.print', '(*[to_s : () -> String] -> nil'
+  type 'self.printf', '(?IO, ?String, *%any) -> nil'
+  type(:proc, "() {(*%any) -> %any} -> Proc") # TODO more precise
+  type 'self.putc', '(Fixnum) -> Fixnum'
+  type 'self.puts', '(*[to_s : () -> String]) -> nil'
+  type 'self.raise', '() -> %any'
+#  type 'self.raise', '(String or [exception : () -> String], ?String, ?Array<String>) -> %any'
+# TODO: above same as fail?
+  type 'self.rand', '(Fixnum or Range max) -> Numeric'
+  type 'self.readline', '(?String, ?Fixnum) -> String'
+  type 'self.readlines', '(?String, ?Fixnum) -> Array<String>'
+  type 'self.require', '(String name) -> %bool'
+  type 'self.require_relative', '(String name) -> %bool'
+  type 'self.select',
+          '(Array<IO> read, ?Array<IO> write, ?Array<IO> error, ?Fixnum timeout) -> Array<String>' # TODO: return type?
+#  type 'self.set_trace_func' #TODO
+  type 'self.sleep', '(Numeric duration) -> Fixnum'
+#  type 'self.spawn' #TODO
+  rdl_alias :sprintf, :format # TODO: are they aliases?
+  type 'self.srand', '(Numeric number) -> Numeric'
+  type 'self.syscall', '(Fixnum num, *%any args) -> %any' # TODO : ?
+#  type 'self.system' # TODO
+  type 'self.test', '(String cmd, String file1, ?String file2) -> %bool or Time' # TODO: better, dependent type?
+#  type 'self.throw' # TODO
+#  type 'self.trace_var' # TODO
+#  type 'self.trap' # TODO
+#  type 'self.untrace_var' # TODO
+  type 'self.warn', '(*String msg) -> nil'
+  type :raise, '() -> nil'
+  type :raise, '(String) -> nil'
+  type :raise, '(Class, String, Array<String>) -> nil'
+  type :send, '(String or Symbol, *%any) -> %any'
+  type :send, '(String or Symbol, *%any) { (*%any) -> %any } -> %any'
+end

data/types/ruby-2.2.0/marshal.rb

@@ -0,0 +1,5 @@
+module Marshal
+  nowrap
+
+  type 'self.load', '(String, ?Proc) -> Object'
+end

data/types/ruby-2.2.0/matchdata.rb

@@ -0,0 +1,26 @@
+class MatchData
+  nowrap
+  
+  type :==, '(%any) -> %bool'
+  type :[], '(Fixnum i) -> String or nil'
+  type :[], '(Fixnum start, Fixnum length) -> Array<String>'
+  type :[], '(Range<Fixnum> range) -> Array<String>'
+  type :[], '(String or Symbol name) -> String or nil'
+  type :begin, '(Fixnum n) -> Fixnum'
+  type :captures, '() -> Array<String>'
+  type :end, '(Fixnum n) -> Fixnum'
+  type :eql?, '(%any other) -> %bool'
+  type :hash, '() -> Fixnum'
+  type :inspect, '() -> String'
+  type :length, '() -> Fixnum'
+  type :names, '() -> Array<String>'
+  type :offset, '(Fixnum n) -> Array<Fixnum>'
+  type :post_match, '() -> String'
+  type :pre_match, '() -> String'
+  type :regexp, '() -> Regexp'
+  type :size, '() -> Fixnum'
+  type :string, '() -> String'
+  type :to_a, '() -> Array<String>'
+  type :to_s, '() -> String'
+  type :values_at, '(*Fixnum indexes) -> Array<String>'
+end

data/types/ruby-2.2.0/math.rb

@@ -0,0 +1,53 @@
+module Math
+  nowrap
+
+  type 'self.acos', '(%real x) -> Float'
+  pre('self.acos') { |x| -1 <= x && x <= 1 }
+  post('self.acos') { |r, _| 0 <= r && r <= Math::PI }
+  type 'self.acosh', '(%real x) -> Float'
+  pre('self.acosh') { |x| 1 <= x }
+  post('self.acosh') { |r, _| 0 <= r }
+  type 'self.asin', '(%real x) -> Float'
+  pre('self.asin') { |x| -1 <= x && x <= 1 }
+  post('self.asin') { |r, _| -Math::PI/2 <= r && r <= Math::PI/2 }
+  type 'self.asinh', '(%real x) -> Float'
+  type 'self.atan', '(%real x) -> Float'
+  post('self.atan') { |r, _| -Math::PI/2 <= r && r <= Math::PI/2 }
+  type 'self.atan2', '(%real y, %real x) -> Float'
+  post('self.atan2') { |r, _| -Math::PI <= r && r <= Math::PI }
+  type 'self.atanh', '(%real x) -> Float'
+  pre('self.atanh') { |x| -1 < x && x < 1 }
+  type 'self.cbrt', '(%real x) -> Float'
+  pre('self.cbrt') { |x| 0 <= x }
+  post('self.cbrt') { |x| 0 <= x }
+  type 'self.cos', '(%real x) -> Float'
+  post('self.cos') { |r, _| -1 <= r && r <= 1 }
+  type 'self.cosh', '(%real x) -> Float'
+  post('self.cosh') { |r, _| 1 <= r }
+  type 'self.erf', '(%real x) -> Float'
+  post('self.erf') { |r, _| -1 < r && r < 1 }
+  type 'self.erfc', '(%real x) -> Float'
+  post('self.erfc') { |r, _| 0 < r && r < 2 }
+  type 'self.exp', '(%real x) -> Float'
+  post('self.exp') { |r, _| 0 < r }
+  type 'self.frexp', '(%real x) -> [%real, %real]'
+  type 'self.gamma', '(%real x) -> Float'
+  type 'self.hypot', '(%real x, %real y) -> Float'
+  type 'self.ldexp', '(%real fraction, %real exponent) -> Float'
+  type 'self.lgamma', '(%real x) -> -1 or 1 or Float'
+  type 'self.log', '(%real x, ?(%real) base) -> Float'
+  type 'self.log10', '(%real x) -> Float'
+  pre('self.log10') { |x| 0 < x }
+  type 'self.log2', '(%real x) -> Float'
+  pre('self.log2') { |x| 0 < x }
+  type 'self.sin', '(%real x) -> Float'
+  post('self.sin') { |r, _| -1 <= r && r <= 1 }
+  type 'self.sinh', '(%real x) -> Float'
+  type 'self.sqrt', '(%real x) -> Float'
+  pre('self.sqrt') { |x| 0 <= x }
+  post('self.sqrt') { |r, _| 0 <= r }
+  type 'self.tan', '(%real x) -> Float'
+  type 'self.tanh', '(%real x) -> Float'
+  post('self.tanh') { |r, _| -1 < r && r < 1 }
+
+end

data/types/ruby-2.2.0/numeric.rb

@@ -0,0 +1,46 @@
+class Numeric
+  nowrap
+
+  type :+, '() -> self'
+  type :-, '() -> Numeric'
+  type :<=>, '(Numeric) -> -1 or 0 or 1 or nil'
+  type :abs, '() -> Numeric'
+  type :abs2, '() -> %real'
+  type :angle, '() -> 0 or ${Math::PI}'
+  type :arg, '() -> 0 or ${Math::PI}'
+  type :ceil, '() -> Integer'
+  type :coerce, '(Numeric) -> [Numeric, Numeric]'
+  type :conj, '() -> self'
+  rdl_alias :conjugate, :conj
+  type :denominator, '() -> Integer'
+  post(:denominator) { |r, _| r > 0 }
+  type :div, '(Numeric) -> Integer'
+  type :divmod, '(Numeric) -> [Numeric, Numeric]'
+  type :eql?, '(Numeric) -> %bool'
+  type :fdiv, '(Numeric) -> Float'
+  type :floor, '() -> Integer'
+  type :i, '() -> Complex'
+  type :imag, '() -> 0'
+  rdl_alias :imaginary, :imag
+  # initialize_copy can't be invoked
+  type :integer?, '() -> %bool'
+  type :magnitude, '() -> Numeric'
+  type :modulo, '(Numeric) -> %real'
+  type :nonzero?, '() -> self or nil'
+  type :numerator, '() -> Integer'
+  type :phase, '() -> 0 or ${Math::PI}'
+  type :polar, '() -> [Numeric, Numeric]'
+  type :quo, '(Integer or Rational) -> Rational'
+  type :quo, '(Float) -> Float'
+  type :real, '() -> self'
+  type :rect, '() -> [Numeric, 0]'
+  rdl_alias :rectangular, :rect
+  type :remainder, '(Numeric) -> %real'
+  type :round, '(?Fixnum ndigits) -> Integer or Float'
+  # singleton_method_added can't be invoked
+  #  type :step, # TODO: hash args
+  type :to_c, '() -> Complex'
+  type :to_int, '() -> Integer'
+  type :truncate, '() -> Integer'
+  type :zero?, '() -> %bool'
+end

data/types/ruby-2.2.0/object.rb

@@ -0,0 +1,73 @@
+class Object
+  nowrap
+
+  # type :ARGF, ARGF
+  # type :ARGV, 'Array<String>'
+  # type :DATA, 'File'
+  # type :ENV, ENV
+  # type :FALSE, '%false'
+  # type :NIL, 'nil'
+  # type :RUBY_COPYRIGHT, 'String'
+  # type :RUBY_DESCRIPTION, 'String'
+  # type :RUBY_ENGINE, 'String'
+  # type :RUBY_PATCHLEVEL, Fixnum
+  # type :RUBY_PLATFORM, 'String'
+  # type :RUBY_RELEASE_DATE, 'String'
+  # type :RUBY_REVISION, Fixnum
+  # type :RUBY_VERSION, 'String'
+  # type :STDERR, 'IO'
+  # type :STDIN, 'IO'
+  # type :STDOUT, 'IO'
+  # type :TOPLEVEL_BINDING, 'Binding'
+  # type :TRUE, '%true'
+
+  type :!~, '(%any other) -> %bool'
+  type :<=>, '(%any other) -> Fixnum or nil'
+  type :===, '(%any other) -> %bool'
+  type :=~, '(%any other) -> nil'
+  type :class, '() -> Class'
+  type :clone, '() -> %any'
+#  type :define_singleton_method, '(XXXX : *XXXX)') # TODO
+  type :display, '(IO port) -> nil'
+  type :dup, '() -> %any an_object'
+  type :enum_for, '(?Symbol method, *%any args) -> Enumerator<%any>'
+  type :enum_for, '(?Symbol method, *%any args) { (*%any args) -> %any } -> Enumerator<%any>'
+  type :eql?, '(%any other) -> %bool'
+#  type :extend, '(XXXX : *XXXX)') # TODO
+  type :freeze, '() -> self'
+  type :frozen?, '() -> %bool'
+  type :hash, '() -> Fixnum'
+  type :inspect, '() -> String'
+  type :instance_of?, '(Class) -> %bool'
+  type :instance_variable_defined?, '(Symbol or String) -> %bool'
+  type :instance_variable_get, '(Symbol or String) -> %any'
+  type :instance_variable_set, '(Symbol or String, %any) -> %any' # returns 2nd argument
+  type :instance_variables, '() -> Array<Symbol>'
+  type :is_a?, '(Class or Module) -> %bool'
+  type :kind_of?, '(Class) -> %bool'
+  type :method, '(Symbol) -> Method'
+  type :methods, '(?%bool regular) -> Array<Symbol>'
+  type :nil?, '() -> %bool'
+  type :private_methods, '(?%bool all) -> Array<Symbol>'
+  type :protected_methods, '(?%bool all) -> Array<Symbol>'
+  type :public_method, '(Symbol) -> Method'
+  type :public_methods, '(?%bool all) -> Array<Symbol>'
+  type :public_send, '(Symbol or String, *%any args) -> %any'
+  type :remove_instance_variable, '(Symbol) -> %any'
+#  type :respond_to?, '(Symbol or String, ?%bool include_all) -> %bool'
+#  type :send, '(Symbol or String, *%any args) -> %any' # Can't wrap this, used outside wrap switch
+  type :singleton_class, '() -> Class'
+  type :singleton_method, '(Symbol) -> Method'
+  type :singleton_methods, '(?%bool all) -> Array<Symbol>'
+  type :taint, '() -> self'
+  type :tainted?, '() -> %bool'
+#  type :tap, '()') # TODO
+  type :to_enum, '(?Symbol method, *%any args) -> Enumerator<%any>'
+  type :to_enum, '(?Symbol method, *%any args) {(*%any args) -> %any} -> Enumerator<%any>'
+# TODO: above alias for enum_for?
+  type :to_s, '() -> String'
+  type :trust, '() -> self'
+  type :untaint, '() -> self'
+  type :untrust, '() -> self'
+  type :untrusted?, '() -> %bool'
+end

data/types/ruby-2.2.0/pathname.rb

@@ -0,0 +1,106 @@
+class Pathname
+  nowrap
+
+  type 'self.getwd', '() -> Pathname'
+  type 'self.glob', '(String p1, ?String p2) -> Array<Pathname>'
+  type 'self.new', '(%string or Pathname p1) -> Pathname' # p1 can be String-like
+  rdl_alias 'self.pwd', 'self.getwd'
+  type :+, '(String or Pathname other) -> Pathname'
+  rdl_alias :/, :+
+  type :<=>, '(%any p1) -> -1 or 0 or 1 or nil'
+  type :==, '(%any p1) -> %bool'
+  type :===, '(%any p1) -> %bool'
+  type :absolute?, '() -> %bool'
+  type :ascend, '() { (Pathname) -> %any } -> %any'
+  type :atime, '() -> Time'
+  type :basename, '(?String p1) -> Pathname' # guessing about arg type
+  type :binread, '(?Fixnum length, ?Fixnum offset) -> String'
+  type :binwrite, '(String, ?Fixnum offset) -> Fixnum' # TODO open_args
+  type :birthtime, '() -> Time'
+  type :blockdev?, '() -> %bool'
+  type :chardev?, '() -> %bool'
+  type :children, '(%bool with_directory) -> Array<Pathname>'
+  type :chmod, '(Fixnum mode) -> Fixnum'
+  type :chown, '(Fixnum owner, Fixnum group) -> Fixnum'
+  type :cleanpath, '(?%bool consider_symlink) -> %any'
+  type :ctime, '() -> Time'
+  type :delete, '() -> %any'
+  type :descend, '() { (Pathname) -> %any } -> %any'
+  type :directory?, '() -> %bool'
+  type :dirname, '() -> Pathname'
+  type :each_child, '(%bool with_directory) { (Pathname) -> %any } -> %any'
+  type :each_entry, '() { (Pathname) -> %any } -> %any'
+  type :each_filename, '() { (String) -> %any } -> %any'
+  type :each_filename, '() -> Enumerator<String>'
+  type :each_line, '(?String sep, ?Fixnum limit) { (String) -> %any } -> %any' # TODO open_args
+  type :each_line, '(?String sep, ?Fixnum limit) -> Enumerator<String>'
+  type :entries, '() -> Array<Pathname>'
+  type :eql?, '(%any) -> %bool'
+  type :executable?, '() -> %bool'
+  type :executable_real?, '() -> %bool'
+  type :exist?, '() -> %bool'
+  type :expand_path, '(?(String or Pathname) p1) -> Pathname'
+  type :extname, '() -> String'
+  type :file?, '() -> %bool'
+  type :find, '(%bool ignore_error) { (Pathname) -> %any } -> %any'
+  type :find, '(%bool ignore_error) -> Enumerator<Pathname>'
+  type :fnmatch, '(String pattern, ?Fixnum flags) -> %bool'
+  type :freeze, '() -> self' # TODO return type?
+  type :ftype, '() -> String'
+  type :grpowned?, '() -> %bool'
+  type :join, '(*(String or Pathname) args) -> Pathname'
+  type :lchmod, '(Fixnum mode) -> Fixnum'
+  type :lchown, '(Fixnum owner, Fixnum group) -> Fixnum'
+  type :lstat, '() -> File::Stat'
+  type :make_link, '(String old) -> 0'
+  type :symlink, '(String old) -> 0'
+  type :mkdir, '(String p1) -> 0'
+  type :mkpath, '() -> %any' # TODO return?
+  type :mountpoint?, '() -> %bool'
+  type :mtime, '() -> Time'
+  type :open, '(?String mode, ?String perm, ?Fixnum opt) -> File'
+  type :open, '(?String mode, ?String perm, ?Fixnum opt) { (File) -> t } -> t'
+  type :opendir, '(?Encoding) -> Dir'
+  type :opendir, '(?Encoding) { (Dir) -> u } -> u'
+  type :owned?, '() -> %bool'
+  type :parent, '() -> Pathname'
+  type :pipe?, '() -> %bool'
+  type :read, '(?Fixnum length, ?Fixnum offset, ?Fixnum open_args) -> String'
+  type :readable?, '() -> %bool'
+  type :readable_real, '() -> %bool'
+  type :readlines, '(?String sep, ?Fixnum limit, ?Fixnum open_args) -> Array<String>'
+  type :readlink, '() -> String file'
+  type :realdirpath, '(?String p1) -> String'
+  type :realpath, '(?String p1) -> String'
+  type :relative?, '() -> %bool'
+  type :relative_path_from, '(String or Pathname base_directory) -> Pathname'
+  type :rename, '(String p1) -> 0'
+  type :rmdir, '() -> 0'
+  type :rmtree, '() -> 0'
+  type :root?, '() -> %bool'
+  type :setgid?, '() -> %bool'
+  type :setuid?, '() -> %bool'
+  type :size, '() -> Fixnum'
+  type :size?, '() -> %bool'
+  type :socket?, '() -> %bool'
+  type :split, '() -> [Pathname, Pathname]'
+  type :stat, '() -> File::Stat'
+  type :sticky?, '() -> %bool'
+  type :sub, '(*String args) -> Pathname'
+  type :sub_ext, '(String p1) -> Pathname'
+  type :symlink?, '() -> %bool'
+  type :sysopen, '(?Fixnum mode, ?Fixnum perm) -> Fixnum'
+  type :taint, '() -> self'
+  type :to_path, '() -> String'
+  rdl_alias :to_s, :to_path
+  type :truncate, '(Fixnum length) -> 0'
+  type :unlink, '() -> Fixnum'
+  type :untaint, '() -> self'
+  type :utime, '(Time atime, Time mtime) -> Fixnum'
+  type :world_readable?, '() -> %bool'
+  type :world_writable?, '() -> %bool'
+  type :writable?, '() -> %bool'
+  type :writable_real?, '() -> %bool'
+  type :write, '(String, ?Fixnum offset, ?Fixnum open_args) -> Fixnum'
+  type :zero?, '() -> %bool'
+end

data/types/ruby-2.2.0/process.rb

@@ -0,0 +1,127 @@
+module Process
+  nowrap
+
+  type 'self.abort', '(?String msg) -> %any'
+  type 'self.argv0', '() -> String frozen_string'
+  type 'self.clock_getres', '(Symbol or Fixnum clock_id, ?Symbol unit) -> Float or Integer'
+  type 'self.clock_gettime', '(Symbol or Fixnum clock_id, ?Symbol unit) -> Float or Integer'
+  type 'self.daemon', '(?%any nochdir, ?%any noclose) -> 0'
+  type 'self.detach', '(Fixnum pid) -> Thread'
+  type 'self.egid', '() -> Fixnum'
+  type 'self.egid=', '(Fixnum) -> Fixnum'
+  type 'self.euid', '() -> Fixnum'
+  type 'self.euid=', '(Fixnum) -> Fixnum user'
+  #  type 'self.exec', '(env: ?Hash<String, String>, command:String, args:*String) -> %any' # TODO: env
+  type 'self.exit', '(?Fixnum status) -> %any'
+  type 'self.exit!', '(?Fixnum status) -> %any'
+  type 'self.fork', '() -> Fixnum or nil'
+  type 'self.fork', '() { () -> %any } -> Fixnum or nil'
+  type 'self.getpgid', '(Fixnum pid) -> Fixnum'
+  type 'self.getpgrp', '() -> Fixnum'
+  type 'self.getpriority', '(Fixnum kind, Fixnum) -> Fixnum'
+  type 'self.getrlimit', '(Symbol or String or Fixnum resource) -> [Fixnum, Fixnum] cur_max_limit'
+  type 'self.getsid', '(?Fixnum pid) -> Integer'
+  type 'self.gid', '() -> Fixnum'
+  type 'self.gid=', '(Fixnum) -> Fixnum'
+  type 'self.groups', '() -> Array<Fixnum>'
+  type 'self.groups=', '(Array<Fixnum>) -> Array<Fixnum>'
+  type 'self.initgroups', '(String username, Fixnum gid) -> Array<Fixnum>'
+  type 'self.kill', '(Fixnum or Symbol or String signal, *Fixnum pids) -> Fixnum'
+  type 'self.maxgroups', '() -> Fixnum'
+  type 'self.maxgroups=', '(Fixnum) -> Fixnum'
+  type 'self.pid', '() -> Fixnum'
+  type 'self.ppid', '() -> Fixnum'
+  type 'self.pgid', '(Fixnum pid, Fixnum) -> Fixnum'
+  type 'self.setpriority', '(Fixnum kind, Fixnum, Fixnum priority) -> 0'
+  type 'self.setproctitle', '(String) -> String'
+  type 'self.setrlimit', '(Symbol or String or Fixnum resource, Fixnum cur_limit, ?Fixnum max_limit) -> nil'
+  type 'self.setsid', '() -> Fixnum'
+  #  type 'self.spawn', '(?Hash<String, String> env, String command, *String args) -> %any' # TODO: env
+  type 'self.times', '() -> Process::Tms'
+  type 'self.uid', '() -> Fixnum'
+  type 'self.uid=', '(Fixnum user) -> Fixnum'
+  type 'self.wait', '(?Fixnum pid, ?Fixnum flags) -> Fixnum'
+  type 'self.wait2', '(?Fixnum pid, ?Fixnum flags) -> [Fixnum, Fixnum] pid_and_status'
+  type 'self.waitall', '() -> Array<[Fixnum, Fixnum]>'
+  type 'self.waitpid', '(?Fixnum pid, ?Fixnum flags) -> Fixnum'
+  type 'self.waitpid2', '(?Fixnum pid, ?Fixnum flags) -> [Fixnum, Fixnum] pid_and_status'
+
+  module GID
+    nowrap
+
+    type 'self.change_privilege', '(Fixnum group) -> Fixnum'
+    type 'self.eid', '() -> Fixnum'
+    type 'self.from_name', '(String name) -> Fixnum gid'
+    type 'self.grant_privilege', '(Fixnum group) -> Fixnum'
+    rdl_alias 'self.eid=', 'self.grant_privilege'
+    type 'self.re_exchange', '() -> Fixnum'
+    type 'self.re_exchangeable?', '() -> %bool'
+    type 'self.rid', '() -> Fixnum'
+    type 'self.sid_available?', '() -> %bool'
+    type 'self.switch', '() -> Fixnum'
+    type 'self.switch', '() { () -> t } -> t'
+  end
+
+  module UID
+    nowrap
+    
+    type 'self.change_privilege', '(Fixnum user) -> Fixnum'
+    type 'self.eid', '() -> Fixnum'
+    type 'self.from_name', '(String name) -> Fixnum uid'
+    type 'self.grant_privilege', '(Fixnum user) -> Fixnum'
+    rdl_alias 'self.eid=', 'self.grant_privilege'
+    type 'self.re_exchange', '() -> Fixnum'
+    type 'self.re_exchangeable?', '() -> %bool'
+    type 'self.rid', '() -> Fixnum'
+    type 'self.sid_available?', '() -> %bool'
+    type 'self.switch', '() -> Fixnum'
+    type 'self.switch', '() { () -> t } -> t'
+  end
+
+  class Status
+    nowrap
+
+    type :&, '(Fixnum num) -> Fixnum'
+    type :==, '(%any other) -> %bool'
+    type :>>, '(Fixnum num) -> Fixnum'
+    type :coredump?, '() -> %bool'
+    type :exited?, '() -> %bool'
+    type :exitstatus, '() -> Fixnum or nil'
+    type :inspect, '() -> String'
+    type :pid, '() -> Fixnum'
+    type :signaled?, '() -> %bool'
+    type :stopped?, '() -> %bool'
+    type :stopsig, '() -> Fixnum or nil'
+    type :success?, '() -> %bool'
+    type :termsig, '() -> Fixnum or nil'
+    type :to_i, '() -> Fixnum'
+    rdl_alias :to_int, :to_i
+    type :to_s, '() -> String'
+  end
+
+  module Sys
+    nowrap
+
+    type 'self.geteid', '() -> Fixnum'
+    type 'self.geteuid', '() -> Fixnum'
+    type 'self.getgid', '() -> Fixnum'
+    type 'self.getuid', '() -> Fixnum'
+    type 'self.issetugid', '() -> %bool'
+    type 'self.setegid', '(Fixnum group) -> nil'
+    type 'self.seteuid', '(Fixnum user) -> nil'
+    type 'self.setgid', '(Fixnum group) -> nil'
+    type 'self.setregid', '(Fixnum rid, Fixnum eid) -> nil'
+    type 'self.setresgid', '(Fixnum rid, Fixnum eid, Fixnum sid) -> nil'
+    type 'self.setresuid', '(Fixnum rid, Fixnum eid, Fixnum sid) -> nil'
+    type 'self.setreuid', '(Fixnum rid, Fixnum eid) -> nil'
+    type 'self.setrgid', '(Fixnum group) -> nil'
+    type 'self.setruid', '(Fixnum user) -> nil'
+    type 'self.setuid', '(Fixnum user) -> nil'
+  end
+
+  class Waiter
+    nowrap
+
+    type 'pid', '() -> Fixnum'
+  end
+end