rdl 2.0.1 → 2.1.0

data/lib/rdl_disable.rb

@@ -1,25 +1,13 @@
 # Defines RDL methods that do nothing
 
-module RDL; end
-
-def RDL.config(*args); end
+module RDL
+end
 
-class Object
+module RDL::Annotate
   def pre(*args); end
   def post(*args); end
   def type(*args); end
   def var_type(*args); end
-  def rdl_alias(*args); end
-  def type_params(*args); end
-  def rdl_nowrap(*args); end
-  def instantaite!(*args); self; end
-  def deinstantaite!(*args); self; end
-  def type_cast(*args); self; end
-  def type_alias(*args); end
-  def rdl_do_typecheck(*args); end
-  def rdl_note_type(*args); end
-  def rdl_remove_type(*args); end
-
   def attr_accessor_type(*args)
     args.each_slice(2) { |name, typ| attr_accessor name }
     nil
@@ -36,4 +24,23 @@ class Object
     args.each_slice(2) { |name, typ| attr_writer name }
     nil
   end
+
+  def rdl_alias(*args); end
+  def type_params(*args); end
+end
+
+module RDL
+  extend RDL::Annotate
+  def self.type_alias(*args); end
+  def self.nowrap(*args); end
+  def self.do_typecheck(*args); end
+  def self.at(*args); end
+  def self.note_type(*args); end
+  def self.remove_type(*args); end
+  def self.instantaite!(*args); self; end
+  def self.deinstantaite!(*args); self; end
+  def self.type_cast(*args); self; end
+  def self.query(*args); end
 end
+
+def RDL.config(*args); end

data/lib/types/core.rb

@@ -1,4 +1,2 @@
-dir = RUBY_VERSION.split('.')[0] + ".x"
-
-require_relative "core-ruby-#{dir}/_aliases.rb" # load type aliases first
-Dir[File.dirname(__FILE__) + "/core-ruby-#{dir}/**/*.rb"].each { |f| require f }
+require_relative "core/_aliases.rb" # load type aliases first
+Dir[File.dirname(__FILE__) + "/core/**/*.rb"].each { |f| require f }

data/lib/types/core/_aliases.rb

@@ -0,0 +1,14 @@
+if defined? BigDecimal
+  RDL.type_alias '%real', 'Integer or Float or Rational or BigDecimal'
+  RDL.type_alias '%numeric', 'Integer or Float or Rational or BigDecimal or Complex'
+else
+  RDL.type_alias '%real', 'Integer or Float or Rational'
+  RDL.type_alias '%numeric', 'Integer or Float or Rational'
+end
+RDL.type_alias '%string', '[to_str: () -> String]'
+if defined? Pathname
+  RDL.type_alias '%path', '%string or Pathname'
+else
+  RDL.type_alias '%path', '%string'
+end
+RDL.type_alias '%open_args', '{external_encoding: ?String, internal_encoding: ?String, encoding: ?String, textmode: ?%any, binmode: ?%any, autoclose: ?%any, mode: ?String}'

data/lib/types/core/abbrev.rb

@@ -0,0 +1,3 @@
+RDL.nowrap :Abbrev
+
+RDL.type :Abbrev, 'self.abbrev', '(Array<String>) -> Hash<String,String>'

data/lib/types/core/array.rb

@@ -0,0 +1,139 @@
+RDL.nowrap :Array
+
+RDL.type_params :Array, [:t], :all?
+
+RDL.type :Array, :<<, '(t) -> Array<t>'
+RDL.type :Array, :[], '(Range<Integer>) -> Array<t>'
+RDL.type :Array, :[], '(Integer or Float) -> t'
+RDL.type :Array, :[], '(Integer, Integer) -> Array<t>'
+RDL.type :Array, :&, '(Array<u>) -> Array<t>'
+RDL.type :Array, :*, '(Integer) -> Array<t>'
+RDL.type :Array, :*, '(String) -> String'
+RDL.type :Array, :+, '(Enumerable<u>) -> Array<u or t>'
+RDL.type :Array, :+, '(Array<u>) -> Array<u or t>'
+RDL.type :Array, :-, '(Array<u>) -> Array<u or t>'
+RDL.type :Array, :slice, '(Range<Integer>) -> Array<t>'
+RDL.type :Array, :slice, '(Integer) -> t'
+RDL.type :Array, :slice, '(Integer, Integer) -> Array<t>'
+RDL.type :Array, :[]=, '(Integer, t) -> t'
+RDL.type :Array, :[]=, '(Integer, Integer, t) -> t'
+# RDL.type :Array, :[]=, '(Integer, Integer, Array<t>) -> Array<t>'
+# RDL.type :Array, :[]=, '(Range, Array<t>) -> Array<t>'
+RDL.type :Array, :[]=, '(Range<Integer>, t) -> t'
+RDL.type :Array, :assoc, '(t) -> Array<t>'
+RDL.type :Array, :at, '(Integer) -> t'
+RDL.type :Array, :clear, '() -> Array<t>'
+RDL.type :Array, :map, '() {(t) -> u} -> Array<u>'
+RDL.type :Array, :map, '() -> Enumerator<t>'
+RDL.type :Array, :map!, '() {(t) -> u} -> Array<u>'
+RDL.type :Array, :map!, '() -> Enumerator<t>'
+RDL.type :Array, :collect, '() { (t) -> u } -> Array<u>'
+RDL.type :Array, :collect, '() -> Enumerator<t>'
+RDL.type :Array, :combination, '(Integer) { (Array<t>) -> %any } -> Array<t>'
+RDL.type :Array, :combination, '(Integer) -> Enumerator<t>'
+RDL.type :Array, :push, '(*t) -> Array<t>'
+RDL.type :Array, :compact, '() -> Array<t>'
+RDL.type :Array, :compact!, '() -> Array<t>'
+RDL.type :Array, :concat, '(Array<t>) -> Array<t>'
+RDL.type :Array, :count, '() -> Integer'
+RDL.type :Array, :count, '(t) -> Integer'
+RDL.type :Array, :count, '() { (t) -> %bool } -> Integer'
+RDL.type :Array, :cycle, '(?Integer) { (t) -> %any } -> %any'
+RDL.type :Array, :cycle, '(?Integer) -> Enumerator<t>'
+RDL.type :Array, :delete, '(u) -> t'
+RDL.type :Array, :delete, '(u) { () -> v } -> t or v'
+RDL.type :Array, :delete_at, '(Integer) -> Array<t>'
+RDL.type :Array, :delete_if, '() { (t) -> %bool } -> Array<t>'
+RDL.type :Array, :delete_if, '() -> Enumerator<t>'
+RDL.type :Array, :drop, '(Integer) -> Array<t>'
+RDL.type :Array, :drop_while, '() { (t) -> %bool } -> Array<t>'
+RDL.type :Array, :drop_while, '() -> Enumerator<t>'
+RDL.type :Array, :each, '() -> Enumerator<t>'
+RDL.type :Array, :each, '() { (t) -> %any } -> Array<t>'
+RDL.type :Array, :each_index, '() { (Integer) -> %any } -> Array<t>'
+RDL.type :Array, :each_index, '() -> Enumerator<t>'
+RDL.type :Array, :empty?, '() -> %bool'
+RDL.type :Array, :fetch, '(Integer) -> t'
+RDL.type :Array, :fetch, '(Integer, u) -> u'
+RDL.type :Array, :fetch, '(Integer) { (Integer) -> u } -> t or u'
+RDL.type :Array, :fill, '(t) -> Array<t>'
+RDL.type :Array, :fill, '(t, Integer, ?Integer) -> Array<t>'
+RDL.type :Array, :fill, '(t, Range<Integer>) -> Array<t>'
+RDL.type :Array, :fill, '() { (Integer) -> t } -> Array<t>'
+RDL.type :Array, :fill, '(Integer, ?Integer) { (Integer) -> t } -> Array<t>'
+RDL.type :Array, :fill, '(Range<Integer>) { (Integer) -> t } -> Array<t>'
+RDL.type :Array, :flatten, '() -> Array<%any>' # Can't give a more precise RDL.type
+RDL.type :Array, :index, '(u) -> Integer'
+RDL.type :Array, :index, '() { (t) -> %bool } -> Integer'
+RDL.type :Array, :index, '() -> Enumerator<t>'
+RDL.type :Array, :first, '() -> t'
+RDL.type :Array, :first, '(Integer) -> Array<t>'
+RDL.type :Array, :include?, '(u) -> %bool'
+RDL.type :Array, :initialize, '() -> self'
+RDL.type :Array, :initialize, '(Integer) -> self'
+RDL.type :Array, :initialize, '(Integer, t) -> self<t>'
+RDL.type :Array, :insert, '(Integer, *t) -> Array<t>'
+RDL.type :Array, :inspect, '() -> String'
+RDL.type :Array, :join, '(?String) -> String'
+RDL.type :Array, :keep_if, '() { (t) -> %bool } -> Array<t>'
+RDL.type :Array, :last, '() -> t'
+RDL.type :Array, :last, '(Integer) -> Array<t>'
+RDL.type :Array, :member, '(u) -> %bool'
+RDL.type :Array, :length, '() -> Integer'
+RDL.type :Array, :permutation, '(?Integer) -> Enumerator<t>'
+RDL.type :Array, :permutation, '(?Integer) { (Array<t>) -> %any } -> Array<t>'
+RDL.type :Array, :pop, '(Integer) -> Array<t>'
+RDL.type :Array, :pop, '() -> t'
+RDL.type :Array, :product, '(*Array<u>) -> Array<Array<t or u>>'
+RDL.type :Array, :rassoc, '(u) -> t'
+RDL.type :Array, :reject, '() { (t) -> %bool } -> Array<t>'
+RDL.type :Array, :reject, '() -> Enumerator<t>'
+RDL.type :Array, :reject!, '() { (t) -> %bool } -> Array<t>'
+RDL.type :Array, :reject!, '() -> Enumerator<t>'
+RDL.type :Array, :repeated_combination, '(Integer) { (Array<t>) -> %any } -> Array<t>'
+RDL.type :Array, :repeated_combination, '(Integer) -> Enumerator<t>'
+RDL.type :Array, :repeated_permutation, '(Integer) { (Array<t>) -> %any } -> Array<t>'
+RDL.type :Array, :repeated_permutation, '(Integer) -> Enumerator<t>'
+RDL.type :Array, :reverse, '() -> Array<t>'
+RDL.type :Array, :reverse!, '() -> Array<t>'
+RDL.type :Array, :reverse_each, '() { (t) -> %any } -> Array<t>'
+RDL.type :Array, :reverse_each, '() -> Enumerator<t>'
+RDL.type :Array, :rindex, '(u) -> t'
+RDL.type :Array, :rindex, '() { (t) -> %bool } -> Integer'
+RDL.type :Array, :rindex, '() -> Enumerator<t>'
+RDL.type :Array, :rotate, '(?Integer) -> Array<t>'
+RDL.type :Array, :rotate!, '(?Integer) -> Array<t>'
+RDL.type :Array, :sample, '() -> t'
+RDL.type :Array, :sample, '(Integer) -> Array<t>'
+RDL.type :Array, :select, '() { (t) -> %bool } -> Array<t>'
+RDL.type :Array, :select, '() -> Enumerator<t>'
+RDL.type :Array, :select!, '() { (t) -> %bool } -> Array<t>'
+RDL.type :Array, :select!, '() -> Enumerator<t>'
+RDL.type :Array, :shift, '() -> t'
+RDL.type :Array, :shift, '(Integer) -> Array<t>'
+RDL.type :Array, :shuffle, '() -> Array<t>'
+RDL.type :Array, :shuffle!, '() -> Array<t>'
+RDL.rdl_alias :Array, :size, :length
+RDL.rdl_alias :Array, :slice, :[]
+RDL.type :Array, :slice!, '(Range<Integer>) -> Array<t>'
+RDL.type :Array, :slice!, '(Integer, Integer) -> Array<t>'
+RDL.type :Array, :slice!, '(Integer or Float) -> t'
+RDL.type :Array, :sort, '() -> Array<t>'
+RDL.type :Array, :sort, '() { (t,t) -> Integer } -> Array<t>'
+RDL.type :Array, :sort!, '() -> Array<t>'
+RDL.type :Array, :sort!, '() { (t,t) -> Integer } -> Array<t>'
+RDL.type :Array, :sort_by!, '() { (t) -> u } -> Array<t>'
+RDL.type :Array, :sort_by!, '() -> Enumerator<t>'
+RDL.type :Array, :take, '(Integer) -> Array<t>'
+RDL.type :Array, :take_while, '() { (t) ->%bool } -> Array<t>'
+RDL.type :Array, :take_while, '() -> Enumerator<t>'
+RDL.type :Array, :to_a, '() -> Array<t>'
+RDL.type :Array, :to_ary, '() -> Array<t>'
+RDL.rdl_alias :Array, :to_s, :inspect
+RDL.type :Array, :transpose, '() -> Array<t>'
+RDL.type :Array, :uniq, '() -> Array<t>'
+RDL.type :Array, :uniq!, '() -> Array<t>'
+RDL.type :Array, :unshift, '(*t) -> Array<t>'
+RDL.type :Array, :values_at, '(*Range<Integer> or Integer) -> Array<t>'
+RDL.type :Array, :zip, '(*Array<u>) -> Array<Array<t or u>>'
+RDL.type :Array, :|, '(Array<u>) -> Array<t or u>'

data/lib/types/core/base64.rb

@@ -0,0 +1,8 @@
+RDL.nowrap :Base64
+
+RDL.type :Base64, 'self.decode64', '(String) -> String'
+RDL.type :Base64, 'self.encode64', '(String) -> String'
+RDL.type :Base64, 'self.strict_decode64', '(String) -> String'
+RDL.type :Base64, 'self.strict_encode64', '(String) -> String'
+RDL.type :Base64, 'self.urlsafe_decode64', '(String) -> String'
+RDL.type :Base64, 'self.urlsafe_encode64', '(String) -> String'

data/lib/types/core/basic_object.rb

@@ -0,0 +1,12 @@
+RDL.nowrap :BasicObject
+
+RDL.type :BasicObject, :==, '(%any other) -> %bool'
+RDL.type :BasicObject, :equal?, '(%any other) -> %bool'
+RDL.type :BasicObject, :!, '() -> %bool'
+RDL.type :BasicObject, :!=, '(%any other) -> %bool'
+RDL.type :BasicObject, :instance_eval, '(String, ?String filename, ?Integer lineno) -> %any'
+RDL.type :BasicObject, :instance_eval, '() { () -> %any } -> %any'
+RDL.type :BasicObject, :instance_exec, '(*%any args) { (*%any) -> %any } -> %any'
+RDL.type :BasicObject, :__send__, '(Symbol, *%any) -> %any obj'
+RDL.rdl_alias :BasicObject, :__id__, :object_id
+RDL.type :BasicObject, :object_id, '() -> Integer'

data/lib/types/core/benchmark.rb

@@ -0,0 +1,9 @@
+RDL.nowrap :Benchmark
+
+RDL.type :Benchmark, 'self.benchmark', '(String, ?Integer, ?String, *String) -> Array<Benchmark::Tms>'
+RDL.type :Benchmark, 'self.bm', '(?Integer, *String) { (Benchmark::Process) -> nil} -> Array<Benchmark::Tms>'
+# RDL.type :Benchmark, 'self.benchmark', '(Caption: String, Label_Width: ?Integer, Format: ?String, Labels: *String) -> Benchmark::Tms'
+# RDL.type :Benchmark, 'self.bm', '(Label_Width: ?Integer, Labels: *String) { (Benchmark::Process) -> nil} -> Array<Benchmark::Tms>'
+RDL.type :Benchmark, 'self.bmbm', '(?Integer label_width) { (Benchmark::Process) -> nil} -> Array<Benchmark::Tms>'
+RDL.type :Benchmark, 'self.measure', '(?String label) -> Benchmark::Tms'
+RDL.type :Benchmark, 'self.realtime', '() {(*%any) -> %any} -> Integer'

data/lib/types/core/bigdecimal.rb

@@ -0,0 +1,223 @@
+RDL.nowrap :BigDecimal
+
+RDL.type :BigDecimal, :%, '(%numeric) -> BigDecimal'
+RDL.pre(:BigDecimal, :%) { |x| x!=0&&(if x.is_a?(Float) then x!=Float::INFINITY && !x.nan? else true end)}
+
+RDL.type :BigDecimal, :+, '(Integer) -> BigDecimal'
+RDL.type :BigDecimal, :+, '(Float x {{ !x.infinite? && !x.nan? }}) -> BigDecimal'
+RDL.type :BigDecimal, :+, '(Rational) -> BigDecimal'
+RDL.type :BigDecimal, :+, '(BigDecimal) -> BigDecimal'
+RDL.type :BigDecimal, :+, '(Complex) -> Complex'
+RDL.pre(:BigDecimal, :+) { |x| if x.real.is_a?(Float) then x.real!=Float::INFINITY && !(x.real.nan?) else true end}
+
+RDL.type :BigDecimal, :-, '(Integer) -> BigDecimal'
+RDL.type :BigDecimal, :-, '(Float x {{ !x.infinite? && !x.nan? }}) -> BigDecimal'
+RDL.type :BigDecimal, :-, '(Rational) -> BigDecimal'
+RDL.type :BigDecimal, :-, '(BigDecimal) -> BigDecimal'
+RDL.type :BigDecimal, :-, '(Complex) -> Complex'
+RDL.pre(:BigDecimal, :-) { |x| if x.real.is_a?(Float) then x.real!=Float::INFINITY && !(x.real.nan?) else true end}
+
+RDL.type :BigDecimal, :-@, '() -> BigDecimal'
+
+RDL.type :BigDecimal, :+@, '() -> BigDecimal'
+
+RDL.type :BigDecimal, :*, '(Integer) -> BigDecimal'
+RDL.type :BigDecimal, :*, '(Float x {{ !x.infinite? && !x.nan? }}) -> BigDecimal'
+RDL.type :BigDecimal, :*, '(Rational) -> BigDecimal'
+RDL.type :BigDecimal, :*, '(BigDecimal) -> BigDecimal'
+RDL.type :BigDecimal, :*, '(Complex) -> Complex'
+RDL.pre(:BigDecimal, :*) { |x| if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end}
+
+RDL.type :BigDecimal, :**, '(Integer) -> BigDecimal'
+RDL.type :BigDecimal, :**, '(Float) -> BigDecimal'
+RDL.pre(:BigDecimal, :**) { |x| x!=Float::INFINITY && !x.nan? && if(self<0) then x<=-1||x>=0 else true end}
+RDL.type :BigDecimal, :**, '(Rational) -> BigDecimal'
+RDL.pre(:BigDecimal, :**) { |x| if(self<0) then x<=-1||x>=0 else true end}
+RDL.type :BigDecimal, :**, '(BigDecimal) -> BigDecimal'
+RDL.pre(:BigDecimal, :**) { |x| x!=BigDecimal::INFINITY && if(self<0) then x<=-1||x>=0 else true end}
+
+RDL.type :BigDecimal, :/, '(Integer x {{ x!=0 }}) -> BigDecimal'
+RDL.type :BigDecimal, :/, '(Float x {{ x!=0 && !x.infinite? && !x.nan? }}) -> BigDecimal'
+RDL.type :BigDecimal, :/, '(Rational x {{ x!=0 }}) -> BigDecimal'
+RDL.type :BigDecimal, :/, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
+RDL.type :BigDecimal, :/, '(Complex x {{ x!=0 }}) -> Complex'
+RDL.pre(:BigDecimal, :/) { |x| if x.real.is_a?(Float) then x.real!=Float::INFINITY && !(x.real.nan?) else true end && if x.imaginary.is_a?(Float) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end && if (x.real.is_a?(Rational)) then !x.imaginary.nan? else true end}
+
+RDL.type :BigDecimal, :<, '(Integer) -> %bool'
+RDL.type :BigDecimal, :<, '(Float x {{ !x.nan? && !x.infinite? }}) -> %bool'
+RDL.type :BigDecimal, :<, '(Rational) -> %bool'
+RDL.type :BigDecimal, :<, '(BigDecimal) -> %bool'
+
+RDL.type :BigDecimal, :<=, '(Integer) -> %bool'
+RDL.type :BigDecimal, :<=, '(Float x {{ !x.nan? && !x.infinite }}) -> %bool'
+RDL.type :BigDecimal, :<=, '(Rational) -> %bool'
+RDL.type :BigDecimal, :<=, '(BigDecimal) -> %bool'
+
+RDL.type :BigDecimal, :>, '(Integer) -> %bool'
+RDL.type :BigDecimal, :>, '(Float x {{ !x.nan? && !x.infinite? }}) -> %bool'
+RDL.type :BigDecimal, :>, '(Rational) -> %bool'
+RDL.type :BigDecimal, :>, '(BigDecimal) -> %bool'
+
+RDL.type :BigDecimal, :>=, '(Integer) -> %bool'
+RDL.type :BigDecimal, :>=, '(Float x {{ !x.nan? && !x.infinite? }}) -> %bool'
+RDL.type :BigDecimal, :>=, '(Rational) -> %bool'
+RDL.type :BigDecimal, :>=, '(BigDecimal) -> %bool'
+
+RDL.type :BigDecimal, :==, '(Object) -> %bool'
+RDL.pre(:BigDecimal, :==) { |x| if (x.is_a?(Float)) then (!x.nan? && x!=Float::INFINITY) else true end}
+
+RDL.type :BigDecimal, :===, '(Object) -> %bool'
+RDL.pre(:BigDecimal, :===) { |x| if (x.is_a?(Float)) then (!x.nan? && x!=Float::INFINITY) else true end}
+
+RDL.type :BigDecimal, :<=>, '(Integer) -> Object'
+RDL.post(:BigDecimal, :<=>) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :BigDecimal, :<=>, '(Float) -> Object'
+RDL.pre(:BigDecimal, :<=>) { |x| !x.nan? && x!=Float::INFINITY}
+RDL.post(:BigDecimal, :<=>) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :BigDecimal, :<=>, '(Rational) -> Object'
+RDL.post(:BigDecimal, :<=>) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :BigDecimal, :<=>, '(BigDecimal) -> Object'
+RDL.post(:BigDecimal, :<=>) { |r,x| r == -1 || r==0 || r==1}
+
+RDL.type :BigDecimal, :abs, '() -> BigDecimal r {{ r>=0 || (if r.nan? then self.nan? end) }}'
+
+RDL.type :BigDecimal, :abs2, '() -> BigDecimal r {{ r>=0 || (if r.nan? then self.nan? end) }}'
+
+RDL.type :BigDecimal, :angle, '() -> %numeric'
+RDL.post(:BigDecimal, :angle) { |r,x| r == 0 || r == Math::PI}
+
+RDL.type :BigDecimal, :arg, '() -> %numeric'
+RDL.post(:BigDecimal, :arg) { |r,x| r == 0 || r == Math::PI}
+
+RDL.type :BigDecimal, :ceil, '() -> Integer'
+RDL.pre(:BigDecimal, :ceil) { !self.infinite? && !self.nan?}
+
+RDL.type :BigDecimal, :conj, '() -> BigDecimal'
+RDL.type :BigDecimal, :conjugate, '() -> BigDecimal'
+
+RDL.type :BigDecimal, :denominator, '() -> Integer'
+RDL.pre(:BigDecimal, :denominator) { !self.infinite? && !self.nan?}
+RDL.post(:BigDecimal, :denominator) { |r,x| r>0}
+
+RDL.type :BigDecimal, :div, '(Integer x {{ x!=0 && !self.infinite? && !self.nan? }}) -> Integer'
+RDL.type :BigDecimal, :div, '(Float x {{ x!=0 && !self.infinite? && !self.nan? && !x.infinite? && !x.nan? }}) -> Integer'
+RDL.type :BigDecimal, :div, '(Rational x {{ x!=0 && !self.infinite? && !self.nan? }}) -> Integer'
+RDL.type :BigDecimal, :div, '(BigDecimal x {{ x!=0 && !self.infinite? && !self.nan? && !x.infinite? && !x.nan? }}) -> Integer'
+
+RDL.type :BigDecimal, :divmod, '(%real) -> [%real, %real]'
+RDL.pre(:BigDecimal, :divmod) { |x| x!=0 && if x.is_a?(Float) then !x.nan? && x!=Float::INFINITY else true end}
+
+RDL.type :BigDecimal, :equal?, '(Object) -> %bool'
+RDL.type :BigDecimal, :eql?, '(Object) -> %bool'
+
+RDL.type :BigDecimal, :fdiv, '(Integer) -> Float'
+RDL.type :BigDecimal, :fdiv, '(Float) -> Float'
+RDL.type :BigDecimal, :fdiv, '(Rational) -> Float'
+RDL.type :BigDecimal, :fdiv, '(BigDecimal) -> BigDecimal'
+RDL.type :BigDecimal, :fdiv, '(Complex) -> Complex'
+RDL.pre(:BigDecimal, :fdiv) { |x| x!=0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :BigDecimal, :finite?, '() -> %bool'
+
+RDL.type :BigDecimal, :floor, '() -> Integer'
+RDL.pre(:BigDecimal, :floor) { !self.infinite? && !self.nan?}
+
+RDL.type :BigDecimal, :hash, '() -> Integer'
+
+RDL.type :BigDecimal, :imag, '() -> Integer r {{ r==0 }}'
+RDL.type :BigDecimal, :imaginary, '() -> Integer r {{ r==0 }}'
+
+RDL.type :BigDecimal, :infinite?, '() -> NilClass or Integer'
+
+RDL.type :BigDecimal, :to_s, '() -> String'
+RDL.type :BigDecimal, :inspect, '() -> String'
+
+RDL.type :BigDecimal, :magnitude, '() -> BigDecimal r {{ r>=0 }}'
+
+RDL.type :BigDecimal, :modulo, '(%numeric) -> BigDecimal'
+RDL.pre(:BigDecimal, :modulo) { |x| x!=0&&(if x.is_a?(Float) then x!=Float::INFINITY && !x.nan? else true end)}
+
+RDL.type :BigDecimal, :nan?, '() -> %bool'
+
+RDL.type :BigDecimal, :numerator, '() -> Integer'
+RDL.pre(:BigDecimal, :numerator) { !self.infinite? && !self.nan?}
+
+RDL.type :BigDecimal, :phase, '() -> %numeric'
+
+RDL.type :BigDecimal, :quo, '(Integer x {{ x!=0 }}) -> BigDecimal'
+RDL.type :BigDecimal, :quo, '(Float x {{ x!=0 && !x.infinite? && !x.nan?}}) -> BigDecimal'
+RDL.type :BigDecimal, :quo, '(Rational x {{ x!=0 }}) -> BigDecimal'
+RDL.type :BigDecimal, :quo, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
+RDL.type :BigDecimal, :quo, '(Complex) -> Complex'
+RDL.pre(:BigDecimal, :quo) { |x| x!=0 && if x.real.is_a?(Float) then x.real!=Float::INFINITY && !(x.real.nan?) else true end && if x.imaginary.is_a?(Float) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end && if (x.real.is_a?(Rational)) then !x.imaginary.nan? else true end}
+
+RDL.type :BigDecimal, :real, '() -> BigDecimal'
+
+RDL.type :BigDecimal, :real?, '() -> true'
+
+RDL.type :BigDecimal, :round, '() -> Integer'
+RDL.pre(:BigDecimal, :round) { !self.infinite? && !self.nan?}
+
+RDL.type :BigDecimal, :round, '(Integer) -> BigDecimal' #Also, x must be in range [-2**31, 2**31].
+
+RDL.type :BigDecimal, :to_f, '() -> Float'
+RDL.pre(:BigDecimal, :to_f) { self<=Float::MAX}
+
+RDL.type :BigDecimal, :to_i, '() -> Integer'
+RDL.pre(:BigDecimal, :to_i) { !self.infinite? && !self.nan?}
+RDL.type :BigDecimal, :to_int, '() -> Integer'
+RDL.pre(:BigDecimal, :to_int) { !self.infinite? && !self.nan?}
+
+RDL.type :BigDecimal, :to_r, '() -> Rational'
+RDL.pre(:BigDecimal, :to_r) { !self.infinite? && !self.nan?}
+
+RDL.type :BigDecimal, :to_c, '() -> Complex r {{ r.imaginary == 0 }}'
+RDL.post(:BigDecimal, :to_c) { |r,x| r.imaginary == 0 }
+
+RDL.type :BigDecimal, :truncate, '() -> Integer'
+
+RDL.type :BigDecimal, :truncate, '(Integer) -> Rational' #Also, x must be in range [-2**31, 2**31].
+
+RDL.type :BigDecimal, :zero?, '() -> %bool'
+
+RDL.type :BigDecimal, :precs, '() -> [Integer, Integer]'
+
+RDL.type :BigDecimal, :split, '() -> [Integer, String, Integer, Integer]'
+
+RDL.type :BigDecimal, :remainder, '(%real) -> BigDecimal'
+RDL.pre(:BigDecimal, :remainder) { |x| if x.is_a?(Float) then !x.infinite? && !x.nan? else true end}
+
+RDL.type :BigDecimal, :fix, '() -> BigDecimal'
+
+RDL.type :BigDecimal, :frac, '() -> BigDecimal'
+
+RDL.type :BigDecimal, :power, '(Integer) -> BigDecimal'
+RDL.type :BigDecimal, :power, '(Float) -> BigDecimal'
+RDL.pre(:BigDecimal, :power) { |x| x!=Float::INFINITY && !x.nan? && if(self<0) then x<=-1||x>=0 else true end}
+RDL.type :BigDecimal, :power, '(Rational) -> BigDecimal'
+RDL.pre(:BigDecimal, :power) { |x| if(self<0) then x<=-1||x>=0 else true end}
+RDL.type :BigDecimal, :power, '(BigDecimal) -> BigDecimal'
+RDL.pre(:BigDecimal, :power) { |x| x!=BigDecimal::INFINITY && if(self<0) then x<=-1||x>=0 else true end}
+
+RDL.type :BigDecimal, :nonzero?, '() -> Object'
+
+RDL.type :BigDecimal, :exponent, '() -> Integer'
+
+RDL.type :BigDecimal, :sign, '() -> Integer'
+
+RDL.type :BigDecimal, :_dump, '() -> String'
+
+RDL.type :BigDecimal, :sqrt, '(Integer) -> BigDecimal'
+RDL.pre(:BigDecimal, :sqrt) { self>=0}
+
+RDL.type :BigDecimal, :add, '(%real, Integer) -> BigDecimal'
+RDL.pre(:BigDecimal, :add) { |x,y| if x.is_a?(Float) then !x.infinite? && !x.nan? else true end}
+
+RDL.type :BigDecimal, :sub, '(%real, Integer) -> BigDecimal'
+RDL.pre(:BigDecimal, :sub) { |x,y| if x.is_a?(Float) then !x.infinite? && !x.nan? else true end}
+
+RDL.type :BigDecimal, :mult, '(%real, Integer) -> BigDecimal'
+RDL.pre(:BigDecimal, :mult) { |x,y| if x.is_a?(Float) then !x.infinite? && !x.nan? else true end}
+
+RDL.type :BigDecimal, :coerce, '(%real) -> [BigDecimal, BigDecimal]'
+RDL.pre(:BigDecimal, :coerce) { |x| if x.is_a?(Float) then !x.nan? && !x.finite? else true end}