lib: add Float::is_approx to compare floats

[nit.git] / lib / standard / kernel.nit

diff --git a/lib/standard/kernel.nit b/lib/standard/kernel.nit
index 9dbdc25..2f2df4b 100644 (file)
--- a/lib/standard/kernel.nit
+++ b/lib/standard/kernel.nit
@@ -17,6 +17,10 @@ module kernel
 
 import end # Mark this module is a top level one. (must be only one)
 
+`{
+#include <errno.h>
+`}
+
 ###############################################################################
 # System Classes                                                              #
 ###############################################################################
@@ -65,12 +69,6 @@ interface Object
        # only and can be removed without any notice
        fun output_class_name is intern 
 
-       # Quit the program with a specific return code
-       protected fun exit(exit_value: Int) is intern
-
-       # Return the global sys object, the only instance of the `Sys` class.
-       protected fun sys: Sys is intern
-
        # The hash code of the object.
        # Assuming that a == b -> a.hash == b.hash
        ##
@@ -84,8 +82,25 @@ end
 class Sys
        # Instructions outside classes implicitly redefine this method.
        fun main do end
+
+       # The entry point for the execution of the whole program.
+       # Its job is to call `main` but some modules may want to refine it
+       # and inject specific work before or after the main part.
+       fun run do main
+
+       # Number of the last error
+       fun errno: Int is extern `{
+               return errno;
+       `}
 end
 
+# Quit the program with a specific return code
+fun exit(exit_value: Int) is intern
+
+# Return the global sys object, the only instance of the `Sys` class.
+fun sys: Sys is intern
+
+
 ###############################################################################
 # Abstract Classes                                                            #
 ###############################################################################
@@ -224,6 +239,20 @@ interface Numeric
        #     assert 5.to_f         == 5.0
        #     assert 5.to_f         != 5 # Float and Int are not equals
        fun to_f: Float is abstract
+
+       # Is this the value of zero in its domain?
+       fun is_zero: Bool do return self == zero
+
+       # The value of zero in the domain of `self`
+       fun zero: OTHER is abstract
+
+       # The value of `val` in the domain of `self`
+       #
+       #     assert 1.0.value_of(2) == 2.0
+       #     assert 1.0.value_of(2.0) == 2.0
+       #     assert 1.value_of(2) == 2
+       #     assert 1.value_of(2.0) == 2
+       fun value_of(val: Numeric): OTHER is abstract
 end
 
 ###############################################################################
@@ -240,7 +269,10 @@ universal Bool
        redef fun ==(b) is intern
        redef fun !=(b) is intern
        redef fun output is intern
-       redef fun hash
+       redef fun hash do return to_i
+
+       # 1 if true and 0 if false
+       fun to_i: Int
        do
                if self then
                        return 1
@@ -258,6 +290,8 @@ universal Float
        redef type OTHER: Float
 
        redef fun object_id is intern
+       redef fun ==(i) is intern
+       redef fun !=(i) is intern
        redef fun output is intern
 
        redef fun <=(i): Bool is intern
@@ -273,6 +307,62 @@ universal Float
 
        redef fun to_i is intern
        redef fun to_f do return self
+
+       redef fun zero do return 0.0
+       redef fun value_of(val) do return val.to_f
+
+       redef fun <=>(other)
+       do
+               if self < other then
+                       return -1
+               else if other < self then
+                       return 1
+               else
+                       return 0
+               end
+       end
+
+       redef fun is_between(c, d)
+       do
+               if self < c or d < self then
+                       return false
+               else
+                       return true
+               end
+       end
+
+       # Compare float numbers with a given precision.
+       #
+       # Because of the loss of precision in floating numbers,
+       # the `==` method is often not the best way to compare them.
+       #
+       # ~~~
+       # assert 0.01.is_approx(0.02, 0.1)   == true
+       # assert 0.01.is_approx(0.02, 0.001) == false
+       # ~~~
+       fun is_approx(other, precision: Float): Bool
+       do
+               assert precision >= 0.0
+               return self <= other + precision and self >= other - precision
+       end
+
+       redef fun max(other)
+       do
+               if self < other then
+                       return other
+               else
+                       return self
+               end
+       end
+
+       redef fun min(c)
+       do
+               if c < self then
+                       return c
+               else
+                       return self
+               end
+       end
 end
 
 # Native integer numbers.
@@ -304,6 +394,9 @@ universal Int
        redef fun /(i) is intern
        fun %(i: Int): Int is intern
 
+       redef fun zero do return 0
+       redef fun value_of(val) do return val.to_i
+
        # `i` bits shift fo the left (aka <<)
        #
        #     assert 5.lshift(1)    == 10
@@ -578,7 +671,10 @@ universal Char
 end
 
 # Pointer classes are used to manipulate extern C structures.
-extern Pointer
+extern class Pointer
        # Is the address behind this Object at NULL?
-       fun address_is_null: Bool `{ return recv == NULL; `}
+       fun address_is_null: Bool is extern "address_is_null"
+
+       # Free the memory pointed by this pointer
+       fun free `{ free(recv); `}
 end