Package Name: java.lang.double

Return to: Package List

with java.lang.Number; use java.lang.Number;
with java.lang.String; use java.lang.String;
with java.lang; use java.lang;

package java.lang.Double is
    type Double_Obj is new Number_Obj with null record;

    type Double_Ptr is access all Double_Obj;
    POSITIVE_INFINITY : constant Long_Float;

    pragma Import(Java, POSITIVE_INFINITY);
    NEGATIVE_INFINITY : constant Long_Float;

    pragma Import(Java, NEGATIVE_INFINITY);
    NaN : constant Long_Float;

    pragma Import(Java, NaN);
    MAX_VALUE : constant Long_Float;

    pragma Import(Java, MAX_VALUE);
    MIN_VALUE : constant Long_Float;

    pragma Import(Java, MIN_VALUE);
    function toString(
        P1 : Long_Float)

      return String_Ptr;
    function valueOf(
        P1 : String_Ptr)

      return Double_Ptr;
    function isNaN(
        v : Long_Float)

      return Boolean;
    function isInfinite(
        v : Long_Float)

      return Boolean;
    function new_Double(
        value : Long_Float)

      return Double_Ptr;
    function new_Double(
        s : String_Ptr)

      return Double_Ptr;

    function isNaN(Obj : access Double_Obj) return Boolean;

    function isInfinite(Obj : access Double_Obj) return Boolean;

    function toString(Obj : access Double_Obj) return String_Ptr;

    function intValue(Obj : access Double_Obj) return Integer;

    function longValue(Obj : access Double_Obj) return Long_Integer;

    function floatValue(Obj : access Double_Obj) return Float;

    function doubleValue(Obj : access Double_Obj) return Long_Float;

    function hashCode(Obj : access Double_Obj) return Integer;
    function "="(Left, Right : Double_Obj) return Boolean;

    pragma Import(Ada, "=", "equals");
    function doubleToLongBits(
        P1 : Long_Float)

      return Long_Integer;
    function longBitsToDouble(
        P1 : Long_Integer)

      return Long_Float;
    pragma Import(Java, longValue);
    pragma Import(Java, valueOf);
    pragma Import(Java, floatValue);
    pragma Import(Java, doubleValue);
    pragma Import(Java, doubleToLongBits);
    pragma Import(Java, longBitsToDouble);
    pragma Import(Java, isInfinite);
    pragma Import(Java, intValue);
    pragma Import(Java, hashCode);
    pragma Import(Java, isNaN);

    pragma Import(Java, toString);

    pragma Import(Java_Constructor, new_Double);
end java.lang.Double;