home *** CD-ROM | disk | FTP | other *** search
/ Best Tools for JAVA / Best Tools for JAVA.iso / JAVA_ALL / KAFFE-0.2 / LIB / NATIVE / JAVA.LAN / JAVA.028 < prev    next >
Encoding:
Text File  |  1996-07-30  |  1.2 KB  |  40 lines
  1. /* DO NOT EDIT THIS FILE - it is machine generated */
  2. #include <stubPreamble.h>
  3. /* Stubs for class java_lang_Double */
  4.  
  5. /* SYMBOL: java_lang_Double toString(D)Ljava/lang/String; */
  6. void*
  7. Kaffe_java_lang_Double_toString_stub(int _S_)
  8. {
  9.     extern struct Hjava_lang_String* java_lang_Double_toString();
  10.     stack_item* _P_ = (stack_item*)&_S_;
  11.     return java_lang_Double_toString(_P_[0].i, _P_[1].i);
  12. }
  13.  
  14. /* SYMBOL: java_lang_Double valueOf(Ljava/lang/String;)Ljava/lang/Double; */
  15. void*
  16. Kaffe_java_lang_Double_valueOf_stub(int _S_)
  17. {
  18.     extern struct Hjava_lang_Double* java_lang_Double_valueOf();
  19.     stack_item* _P_ = (stack_item*)&_S_;
  20.     return java_lang_Double_valueOf(_P_[0].p);
  21. }
  22.  
  23. /* SYMBOL: java_lang_Double doubleToLongBits(D)J */
  24. long long
  25. Kaffe_java_lang_Double_doubleToLongBits_stub(int _S_)
  26. {
  27.     extern long long java_lang_Double_doubleToLongBits();
  28.     stack_item* _P_ = (stack_item*)&_S_;
  29.     return java_lang_Double_doubleToLongBits(_P_[0].i, _P_[1].i);
  30. }
  31.  
  32. /* SYMBOL: java_lang_Double longBitsToDouble(J)D */
  33. double
  34. Kaffe_java_lang_Double_longBitsToDouble_stub(int _S_)
  35. {
  36.     extern double java_lang_Double_longBitsToDouble();
  37.     stack_item* _P_ = (stack_item*)&_S_;
  38.     return java_lang_Double_longBitsToDouble(_P_[0].i, _P_[1].i);
  39. }
  40.