GdkFrameClock.def 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. DEFINITION MODULE FOR "C" GdkFrameClock ;
  2. (* Generated by tools/gir2def.py from Gdk 4.0. *)
  3. FROM SYSTEM IMPORT ADDRESS;
  4. EXPORT UNQUALIFIED
  5. GdkFrameClock,
  6. gdk_frame_clock_begin_updating,
  7. gdk_frame_clock_end_updating,
  8. gdk_frame_clock_get_current_timings,
  9. gdk_frame_clock_get_fps,
  10. gdk_frame_clock_get_frame_counter,
  11. gdk_frame_clock_get_frame_time,
  12. gdk_frame_clock_get_history_start,
  13. gdk_frame_clock_get_refresh_info,
  14. gdk_frame_clock_get_timings,
  15. gdk_frame_clock_request_phase;
  16. TYPE
  17. GdkFrameClock = ADDRESS;
  18. (* gdk_frame_clock_begin_updating *)
  19. PROCEDURE gdk_frame_clock_begin_updating (frame_clock: GdkFrameClock);
  20. (* gdk_frame_clock_end_updating *)
  21. PROCEDURE gdk_frame_clock_end_updating (frame_clock: GdkFrameClock);
  22. (* gdk_frame_clock_get_current_timings *)
  23. PROCEDURE gdk_frame_clock_get_current_timings (frame_clock: GdkFrameClock) : [ ADDRESS ];
  24. (* gdk_frame_clock_get_fps *)
  25. PROCEDURE gdk_frame_clock_get_fps (frame_clock: GdkFrameClock) : [ REAL ];
  26. (* gdk_frame_clock_get_frame_counter *)
  27. PROCEDURE gdk_frame_clock_get_frame_counter (frame_clock: GdkFrameClock) : [ LONGINT ];
  28. (* gdk_frame_clock_get_frame_time *)
  29. PROCEDURE gdk_frame_clock_get_frame_time (frame_clock: GdkFrameClock) : [ LONGINT ];
  30. (* gdk_frame_clock_get_history_start *)
  31. PROCEDURE gdk_frame_clock_get_history_start (frame_clock: GdkFrameClock) : [ LONGINT ];
  32. (* gdk_frame_clock_get_refresh_info *)
  33. PROCEDURE gdk_frame_clock_get_refresh_info (frame_clock: GdkFrameClock; base_time: LONGINT; VAR refresh_interval_return: LONGINT; VAR presentation_time_return: LONGINT);
  34. (* gdk_frame_clock_get_timings *)
  35. PROCEDURE gdk_frame_clock_get_timings (frame_clock: GdkFrameClock; frame_counter: LONGINT) : [ ADDRESS ];
  36. (* gdk_frame_clock_request_phase *)
  37. PROCEDURE gdk_frame_clock_request_phase (frame_clock: GdkFrameClock; phase: CARDINAL);
  38. END GdkFrameClock.