laser 0.7.0.pre1

data/lib/laser/standard_library/exceptions.rb

@@ -0,0 +1,135 @@
+class Exception < Object
+  def initialize(msg=nil)
+    @__mesg__ = msg
+    @__bt__ = nil
+  end
+  def backtrace
+    @__bt__
+  end
+  def to_s
+    @__mesg__ ? (@__mesg__.to_str) : self.class.name
+    #@__mesg__ ? (@__mesg__.to_s rescue @__mesg__) : self.class.name
+  end
+  alias message to_s
+  BT_FAILURE_MESSAGE = "backtrace must be Array of String"
+  def __check_backtrace__(bt)
+    return bt if NilClass === bt
+    if String === bt
+      [bt]
+    elsif Array === bt
+      unless bt.all? { |x| String === x }
+        raise TypeError.new(BT_FAILURE_MESSAGE)
+      end
+    else
+      raise TypeError.new(BT_FAILURE_MESSAGE)
+    end
+  end
+  private :__check_backtrace__
+  def set_backtrace(new_bt)
+    @__bt__ = __check_backtrace__(new_bt)
+  end
+end
+class SystemExit < Exception
+  EXIT_SUCCESS = 0
+  def initialize(val=nil, msg=nil)
+    if Fixnum === val
+      @__status__ = val
+      super(msg)
+    else
+      super(val)
+    end
+  end
+  def status
+    @__status__
+  end
+  def success?
+    @__status__.nil? || @__status__ == EXIT_SUCCESS
+  end
+end
+# class fatal < Exception
+# end
+class SignalException < Exception
+end
+class Interrupt < SignalException
+end
+class StandardError < Exception
+end
+class TypeError < StandardError
+end
+# Since TypeErrors often have specific semantic meanings, I'd rather
+# use a class for each. But I have to make sure user code isn't impacted
+# by this choice, so we must override #class. TypeError#=== and rescues
+# will still work.
+class LaserTypeErrorWrapper < TypeError
+  def class
+    TypeError
+  end
+end
+class LaserReopenedClassAsModuleError < LaserTypeErrorWrapper
+end
+class LaserReopenedModuleAsClassError < LaserTypeErrorWrapper
+end
+class LaserSuperclassMismatchError < LaserTypeErrorWrapper
+end
+class ArgumentError < StandardError
+end
+class IndexError < StandardError
+end
+class KeyError < IndexError
+end
+class RangeError < StandardError
+end
+class ScriptError < Exception
+end
+class SyntaxError < ScriptError
+end
+class LoadError < ScriptError
+end
+class NotImplementedError < ScriptError
+end
+class NameError < StandardError
+  def initialize(msg=nil, name=nil)
+    @__name__ = name
+    @__mesg__ = msg
+    @__bt__ = nil
+  end
+  def name
+    @__name__
+  end
+end
+class NoMethodError < NameError
+end
+class RuntimeError < StandardError
+end
+class SecurityError < Exception
+end
+class NoMemoryError < Exception
+end
+class EncodingError < StandardError
+end
+class SystemCallError < StandardError
+end
+class ZeroDivisionError < StandardError
+end
+class FloatDomainError < RangeError
+end
+class RegexpError < StandardError
+end
+class IOError < StandardError
+end
+class EOFError < IOError
+end
+class LocalJumpError < StandardError
+end
+class SystemStackError < Exception
+end
+module Math
+  class DomainError < StandardError
+  end
+end
+class StopIteration < IndexError
+end
+class ThreadError < StandardError
+end
+class FiberError < StandardError
+end

data/lib/laser/standard_library/fixnum.rb

@@ -0,0 +1,188 @@
+class Fixnum < Integer
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def %(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def &(num)
+  end
+  # pure: true
+  # builtin: true
+  # overload: (Float) -> Float=
+  # overload: (Fixnum) -> Fixnum= | Bignum=
+  # overload: (Bignum) -> Fixnum= | Bignum=
+  # raises: never
+  def *(num)
+  end
+  # pure: true
+  # builtin: true
+  # overload: (Float) -> Float=
+  # overload: (Fixnum) -> Fixnum= | Bignum=
+  # overload: (Bignum) -> Fixnum= | Bignum=
+  def **(num)
+  end
+  # pure: true
+  # builtin: true
+  def +(num)
+  end
+  # pure: true
+  # builtin: true
+  # overload: (Float) -> Float=
+  # overload: (Fixnum) -> Fixnum= | Bignum=
+  # overload: (Bignum) -> Fixnum= | Bignum=
+  def -(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  # raises: never
+  def -@
+  end
+  # pure: true
+  # builtin: true
+  def /(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  # num: Numeric
+  # raises: never
+  def <(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def <<(amt)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  def <=(num)
+  end
+  # pure: true
+  # builtin: true
+  def <=>(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  def ==(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  def ===(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  # num: Numeric
+  # raises: never
+  def >(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  def >=(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def >>(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def [](bit)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def ^(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  # raises: never
+  def abs
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def div(other)
+  end
+  # pure: true
+  # builtin: true
+  def divmod(other)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  # raises: never
+  def even?
+  end
+  # pure: true
+  # builtin: true
+  def fdiv(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  # raises: never
+  def magnitude
+  end
+  # pure: true
+  # builtin: true
+  def modulo(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  # raises: never
+  def odd?
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  # raises: never
+  def size
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  # raises: never
+  def succ
+  end
+  # pure: true
+  # builtin: true
+  # returns: Float
+  # raises: never
+  def to_f
+  end
+  # pure: true
+  # builtin: true
+  # returns: String
+  # raises: never
+  def to_s
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  # raises: never
+  def zero?
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  def |(num)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Fixnum= | Bignum=
+  # raises: never
+  def ~
+  end
+end

data/lib/laser/standard_library/float.rb

@@ -0,0 +1,180 @@
+class Float < Numeric
+  # pure: true
+  # builtin: true
+  def %(other)
+  end
+  # pure: true
+  # builtin: true
+  # overload: (Float) -> Float=
+  # overload: (Fixnum) -> Float=
+  # overload: (Bignum) -> Float=
+  def *(other)
+  end
+  # pure: true
+  # builtin: true
+  def **(other)
+  end
+  # pure: true
+  # builtin: true
+  def +(other)
+  end
+  # pure: true
+  # builtin: true
+  def -(other)
+  end
+  # pure: true
+  # builtin: true
+  def -@
+  end
+  # pure: true
+  # builtin: true
+  def /(other)
+  end
+  # pure: true
+  # builtin: true
+  def <(other)
+  end
+  # pure: true
+  # builtin: true
+  def <=(other)
+  end
+  # pure: true
+  # builtin: true
+  def <=>(other)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  def ==(other)
+  end
+  # pure: true
+  # builtin: true
+  # returns: Boolean
+  def ===(other)
+  end
+  # pure: true
+  # builtin: true
+  def >(other)
+  end
+  # pure: true
+  # builtin: true
+  def >=(other)
+  end
+  # pure: true
+  # builtin: true
+  def abs
+  end
+  # pure: true
+  # builtin: true
+  def angle
+  end
+  # pure: true
+  # builtin: true
+  def arg
+  end
+  # pure: true
+  # builtin: true
+  def ceil
+  end
+  # pure: true
+  # builtin: true
+  def coerce(other)
+  end
+  # pure: true
+  # builtin: true
+  def denominator
+  end
+  # pure: true
+  # builtin: true
+  def divmod(other)
+  end
+  # pure: true
+  # builtin: true
+  def eql?(other)
+  end
+  # pure: true
+  # builtin: true
+  def fdiv
+  end
+  # pure: true
+  # builtin: true
+  def finite?
+  end
+  # pure: true
+  # builtin: true
+  def floor
+  end
+  # pure: true
+  # builtin: true
+  def hash
+  end
+  # pure: true
+  # builtin: true
+  def infinite?
+  end
+  # pure: true
+  # builtin: true
+  def magnitude
+  end
+  # pure: true
+  # builtin: true
+  def modulo(other)
+  end
+  # pure: true
+  # builtin: true
+  def nan?
+  end
+  # pure: true
+  # builtin: true
+  def numerator
+  end
+  # pure: true
+  # builtin: true
+  def phase
+  end
+  # pure: true
+  # builtin: true
+  def quo(other)
+  end
+  # pure: true
+  # builtin: true
+  def rationalize(eps = :__unset__)
+  end
+  # pure: true
+  # builtin: true
+  def round(ndigits=0)
+  end
+  # pure: true
+  # builtin: true
+  def to_f
+  end
+  # pure: true
+  # builtin: true
+  def to_i
+  end
+  # pure: true
+  # builtin: true
+  def to_int
+  end
+  # pure: true
+  # builtin: true
+  def to_r
+  end
+  # pure: true
+  # builtin: true
+  # returns: String=
+  def to_s
+  end
+  # pure: true
+  # builtin: true
+  def to_yaml
+  end
+  # pure: true
+  # builtin: true
+  def truncate
+  end
+  # pure: true
+  # builtin: true
+  def zero?
+  end
+end