GdkFrameClock.def 2.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. DEFINITION MODULE FOR "C" GdkFrameClock ;
  2. (*
  3. m2-GTK4 - GdkFrameClock: a clock that drives frame updates for a
  4. surface. Mapped onto <gdk/gdkframeclock.h>.
  5. Obtain one from a surface with gdk_surface_get_frame_clock().
  6. *)
  7. FROM SYSTEM IMPORT ADDRESS;
  8. EXPORT UNQUALIFIED
  9. GdkFrameClock,
  10. gdk_frame_clock_begin_updating,
  11. gdk_frame_clock_end_updating,
  12. gdk_frame_clock_get_current_timings,
  13. gdk_frame_clock_get_fps,
  14. gdk_frame_clock_get_frame_counter,
  15. gdk_frame_clock_get_frame_time,
  16. gdk_frame_clock_get_history_start,
  17. gdk_frame_clock_get_refresh_info,
  18. gdk_frame_clock_get_timings,
  19. gdk_frame_clock_request_phase;
  20. TYPE
  21. GdkFrameClock = ADDRESS;
  22. (* void gdk_frame_clock_begin_updating(GdkFrameClock *frame_clock) *)
  23. PROCEDURE gdk_frame_clock_begin_updating (frame_clock: GdkFrameClock);
  24. (* void gdk_frame_clock_end_updating(GdkFrameClock *frame_clock) *)
  25. PROCEDURE gdk_frame_clock_end_updating (frame_clock: GdkFrameClock);
  26. (* GdkFrameTimings *gdk_frame_clock_get_current_timings(GdkFrameClock *frame_clock) *)
  27. PROCEDURE gdk_frame_clock_get_current_timings (frame_clock: GdkFrameClock) : ADDRESS;
  28. (* double gdk_frame_clock_get_fps(GdkFrameClock *frame_clock) *)
  29. PROCEDURE gdk_frame_clock_get_fps (frame_clock: GdkFrameClock) : REAL;
  30. (* gint64 gdk_frame_clock_get_frame_counter(GdkFrameClock *frame_clock) *)
  31. PROCEDURE gdk_frame_clock_get_frame_counter (frame_clock: GdkFrameClock) : LONGINT;
  32. (* gint64 gdk_frame_clock_get_frame_time(GdkFrameClock *frame_clock) *)
  33. PROCEDURE gdk_frame_clock_get_frame_time (frame_clock: GdkFrameClock) : LONGINT;
  34. (* gint64 gdk_frame_clock_get_history_start(GdkFrameClock *frame_clock) *)
  35. PROCEDURE gdk_frame_clock_get_history_start (frame_clock: GdkFrameClock) : LONGINT;
  36. (* void gdk_frame_clock_get_refresh_info(GdkFrameClock *frame_clock, gint64 base_time, gint64 *refresh_interval_return, gint64 *presentation_time_return) *)
  37. PROCEDURE gdk_frame_clock_get_refresh_info (frame_clock: GdkFrameClock; base_time: LONGINT; VAR refresh_interval_return: LONGINT; VAR presentation_time_return: LONGINT);
  38. (* GdkFrameTimings *gdk_frame_clock_get_timings(GdkFrameClock *frame_clock, gint64 frame_counter) *)
  39. PROCEDURE gdk_frame_clock_get_timings (frame_clock: GdkFrameClock; frame_counter: LONGINT) : ADDRESS;
  40. (* void gdk_frame_clock_request_phase(GdkFrameClock *frame_clock, GdkFrameClockPhase phase) *)
  41. PROCEDURE gdk_frame_clock_request_phase (frame_clock: GdkFrameClock; phase: CARDINAL);
  42. END GdkFrameClock.