ATSLIB/contrib/cairo/Surfaces/cairo-cairo-device-t

cairo_device_reference

Synopsis

fun
cairo_device_reference
  {l:agz} (dev: !xrdev (l)) : xrdev (l) = "mac#%"

cairo_device_destroy

Synopsis

fun cairo_device_destroy (dev: xrdev1): void = "mac#%"

cairo_device_status

Synopsis

fun cairo_device_status (dev: !xrdev1): cairo_status_t = "mac#%"

cairo_device_finish

Synopsis

fun cairo_device_finish (dev: !xrdev1): void = "mac#%"

cairo_device_flush

Synopsis

fun cairo_device_flush (dev: !xrdev1): void = "mac#%"

cairo_device_get_type

Synopsis

fun cairo_device_get_type
  {l:agz} (dev: !xrdev (l)) : cairo_device_type_t = "mac#%"

cairo_device_get_reference_count

Synopsis

fun
cairo_device_get_reference_count (dev: xrdev1) : uint = "mac#%"

cairo_device_acquire

Synopsis

fun cairo_device_acquire
  {l:agz}
(
  dev: !xrdev (l)
) : [i:nat]
(
//
// HX: i=0/i>0 : succ/fail
//
  cairo_device_acquire_v (l, i) | int i
) = "mac#%" // endfun

cairo_device_release

Synopsis

fun cairo_device_release
  {l:agz} (
  pf: cairo_device_acquire_v (l, 0) | dev: !xrdev (l)
) : void = "mac#%" // endfun

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.