class interface P_SYSTEM

feature(s) from P_SYSTEM
   floor (in: DOUBLE): INTEGER
      --  DOUBLE > INTEGER.


   double_to_real (in: DOUBLE): REAL
      --  DOUBLE > REAL.


   code_to_char (code: INTEGER): CHARACTER
      --  CHARACTER from code.


feature(s) from P_SYSTEM
   --  Exceptions

   raise_exception (nm: STRING)
      -- 

      require
         ok: nm /= Void
      ensure
         pseudo_exception: false


end of P_SYSTEM