ATSLIB/contrib/cairo/mybasis
Synopsis
absvtype
cairo_ref (l:addr) = ptr
Synopsis
vtypedef
cairo_ref1 = [l:addr | l > null] cairo_ref (l)
Synopsis
stadef xr = cairo_ref
Synopsis
stadef xr1 = cairo_ref1
Synopsis
absvtype
cairo_surface_ref (l:addr) = ptr
Synopsis
vtypedef
cairo_surface_ref1 = [l:addr | l > null] cairo_surface_ref (l)
Synopsis
stadef xrsf = cairo_surface_ref
Synopsis
stadef xrsf1 = cairo_surface_ref1
Synopsis
absvtype
cairo_device_ref (l:addr) = ptr
Synopsis
vtypedef
cairo_device_ref1 = [l:addr | l > null] cairo_device_ref (l)
Synopsis
stadef xrdev = cairo_device_ref
Synopsis
stadef xrdev1 = cairo_device_ref1
Synopsis
absvtype
cairo_pattern_ref (l:addr) = ptr
Synopsis
vtypedef
cairo_pattern_ref1 = [l:addr | l > null] cairo_pattern_ref (l)
Synopsis
stadef xrpat = cairo_pattern_ref
Synopsis
stadef xrpat1 = cairo_pattern_ref1
Synopsis
absvtype
cairo_font_face_ref (l:addr) = ptr
Synopsis
vtypedef
cairo_font_face_ref1 = [l:addr | l > null] cairo_font_face_ref (l)
Synopsis
stadef xrfontface = cairo_font_face_ref
Synopsis
stadef xrfontface1 = cairo_font_face_ref1
Synopsis
typedef cairo_bool_t = bool
Synopsis
typedef
cairo_read_func_t =
(voidptr0, charptr0, uint) -> cairo_status_t
Synopsis
typedef
cairo_write_func_t =
(voidptr0, constcharptr0, uint) -> cairo_status_t
Synopsis
typedef
cairo_destroy_func_t = ptr -> void
Synopsis
abst@ype
cairo_user_data_key_t = $extype"cairo_user_data_key_t"
Synopsis
typedef
cairo_glyph_t =
$extype_struct"cairo_glyph_t" of
{
index= ulint, x= double, y= double
}
Synopsis
typedef
cairo_path_t =
$extype_struct"cairo_path_t" of
{
status= cairo_status_t
, data= ptr
, num_data= int
}
Synopsis
abst@ype
cairo_path_data_t =
$extype"cairo_path_data_t"
Synopsis
typedef
cairo_rectangle_int_t =
$extype_struct"cairo_rectangle_int_t" of
{
x= int, y= int, width= int, height= int
}
Synopsis
typedef
cairo_matrix_t =
$extype_struct"cairo_matrix_t" of
{
xx= double, yx= double
, xy= double, yy= double
, x0= double, y0= double
}
Synopsis
abst@ype cairo_status_t = $extype"cairo_status_t"
Synopsis
macdef CAIRO_STATUS_SUCCESS = $extval (cairo_status_t, "CAIRO_STATUS_SUCCESS")
Synopsis
macdef CAIRO_STATUS_NO_MEMORY = $extval (cairo_status_t, "CAIRO_STATUS_NO_MEMORY")
Synopsis
macdef CAIRO_STATUS_INVALID_RESTORE = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_RESTORE")
Synopsis
macdef CAIRO_STATUS_INVALID_POP_GROUP = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_POP_GROUP")
Synopsis
macdef CAIRO_STATUS_NO_CURRENT_POINT = $extval (cairo_status_t, "CAIRO_STATUS_NO_CURRENT_POINT")
Synopsis
macdef CAIRO_STATUS_INVALID_MATRIX = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_MATRIX")
Synopsis
macdef CAIRO_STATUS_INVALID_STATUS = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_STATUS")
Synopsis
macdef CAIRO_STATUS_NULL_POINTER = $extval (cairo_status_t, "CAIRO_STATUS_NULL_POINTER")
Synopsis
macdef CAIRO_STATUS_INVALID_STRING = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_STRING")
Synopsis
macdef CAIRO_STATUS_INVALID_PATH_DATA = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_PATH_DATA")
Synopsis
macdef CAIRO_STATUS_READ_ERROR = $extval (cairo_status_t, "CAIRO_STATUS_READ_ERROR")
Synopsis
macdef CAIRO_STATUS_WRITE_ERROR = $extval (cairo_status_t, "CAIRO_STATUS_WRITE_ERROR")
Synopsis
macdef CAIRO_STATUS_SURFACE_FINISHED = $extval (cairo_status_t, "CAIRO_STATUS_SURFACE_FINISHED")
Synopsis
macdef CAIRO_STATUS_SURFACE_TYPE_MISMATCH = $extval (cairo_status_t, "CAIRO_STATUS_SURFACE_TYPE_MISMATCH")
Synopsis
macdef CAIRO_STATUS_PATTERN_TYPE_MISMATCH = $extval (cairo_status_t, "CAIRO_STATUS_PATTERN_TYPE_MISMATCH")
Synopsis
macdef CAIRO_STATUS_INVALID_CONTENT = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_CONTENT")
Synopsis
macdef CAIRO_STATUS_INVALID_FORMAT = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_FORMAT")
Synopsis
macdef CAIRO_STATUS_INVALID_VISUAL = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_VISUAL")
Synopsis
macdef CAIRO_STATUS_FILE_NOT_FOUND = $extval (cairo_status_t, "CAIRO_STATUS_FILE_NOT_FOUND")
Synopsis
macdef CAIRO_STATUS_INVALID_DASH = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_DASH")
Synopsis
macdef CAIRO_STATUS_INVALID_DSC_COMMENT = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_DSC_COMMENT")
Synopsis
macdef CAIRO_STATUS_INVALID_INDEX = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_INDEX")
Synopsis
macdef CAIRO_STATUS_CLIP_NOT_REPRESENTABLE = $extval (cairo_status_t, "CAIRO_STATUS_CLIP_NOT_REPRESENTABLE")
Synopsis
macdef CAIRO_STATUS_TEMP_FILE_ERROR = $extval (cairo_status_t, "CAIRO_STATUS_TEMP_FILE_ERROR")
Synopsis
macdef CAIRO_STATUS_INVALID_STRIDE = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_STRIDE")
Synopsis
macdef CAIRO_STATUS_FONT_TYPE_MISMATCH = $extval (cairo_status_t, "CAIRO_STATUS_FONT_TYPE_MISMATCH")
Synopsis
macdef CAIRO_STATUS_USER_FONT_IMMUTABLE = $extval (cairo_status_t, "CAIRO_STATUS_USER_FONT_IMMUTABLE")
Synopsis
macdef CAIRO_STATUS_USER_FONT_ERROR = $extval (cairo_status_t, "CAIRO_STATUS_USER_FONT_ERROR")
Synopsis
macdef CAIRO_STATUS_NEGATIVE_COUNT = $extval (cairo_status_t, "CAIRO_STATUS_NEGATIVE_COUNT")
Synopsis
macdef CAIRO_STATUS_INVALID_CLUSTERS = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_CLUSTERS")
Synopsis
macdef CAIRO_STATUS_INVALID_SLANT = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_SLANT")
Synopsis
macdef CAIRO_STATUS_INVALID_WEIGHT = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_WEIGHT")
Synopsis
macdef CAIRO_STATUS_INVALID_SIZE = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_SIZE")
Synopsis
macdef CAIRO_STATUS_USER_FONT_NOT_IMPLEMENTED = $extval (cairo_status_t, "CAIRO_STATUS_USER_FONT_NOT_IMPLEMENTED")
Synopsis
macdef CAIRO_STATUS_DEVICE_TYPE_MISMATCH = $extval (cairo_status_t, "CAIRO_STATUS_DEVICE_TYPE_MISMATCH")
Synopsis
macdef CAIRO_STATUS_DEVICE_ERROR = $extval (cairo_status_t, "CAIRO_STATUS_DEVICE_ERROR")
Synopsis
macdef CAIRO_STATUS_INVALID_MESH_CONSTRUCTION = $extval (cairo_status_t, "CAIRO_STATUS_INVALID_MESH_CONSTRUCTION")
Synopsis
macdef CAIRO_STATUS_DEVICE_FINISHED = $extval (cairo_status_t, "CAIRO_STATUS_DEVICE_FINISHED")
Synopsis
macdef CAIRO_STATUS_LAST_STATUS = $extval (cairo_status_t, "CAIRO_STATUS_LAST_STATUS")
Synopsis
abst@ype cairo_content_t = $extype"cairo_content_t"
Synopsis
macdef CAIRO_CONTENT_COLOR = $extval (cairo_content_t, "CAIRO_CONTENT_COLOR")
Synopsis
macdef CAIRO_CONTENT_ALPHA = $extval (cairo_content_t, "CAIRO_CONTENT_ALPHA")
Synopsis
macdef CAIRO_CONTENT_COLOR_ALPHA = $extval (cairo_content_t, "CAIRO_CONTENT_COLOR_ALPHA")
Synopsis
abst@ype cairo_format_t = $extype"cairo_format_t"
Synopsis
macdef CAIRO_FORMAT_INVALID = $extval (cairo_format_t, "CAIRO_FORMAT_INVALID")
Synopsis
macdef CAIRO_FORMAT_ARGB32 = $extval (cairo_format_t, "CAIRO_FORMAT_ARGB32")
Synopsis
macdef CAIRO_FORMAT_RGB24 = $extval (cairo_format_t, "CAIRO_FORMAT_RGB24")
Synopsis
macdef CAIRO_FORMAT_A8 = $extval (cairo_format_t, "CAIRO_FORMAT_A8")
Synopsis
macdef CAIRO_FORMAT_A1 = $extval (cairo_format_t, "CAIRO_FORMAT_A1")
Synopsis
macdef CAIRO_FORMAT_RGB16_565 = $extval (cairo_format_t, "CAIRO_FORMAT_RGB16_565")
Synopsis
macdef CAIRO_FORMAT_RGB30 = $extval (cairo_format_t, "CAIRO_FORMAT_RGB30")
Synopsis
abst@ype cairo_operator_t = $extype"cairo_operator_t"
Synopsis
Synopsis for [CAIRO_VERSION_MAJOR] is unavailable.
Synopsis
macdef CAIRO_OPERATOR_CLEAR = $extval (cairo_operator_t, "CAIRO_OPERATOR_CLEAR")
Synopsis
macdef CAIRO_OPERATOR_SOURCE = $extval (cairo_operator_t, "CAIRO_OPERATOR_SOURCE")
Synopsis
macdef CAIRO_OPERATOR_OVER = $extval (cairo_operator_t, "CAIRO_OPERATOR_OVER")
Synopsis
macdef CAIRO_OPERATOR_IN = $extval (cairo_operator_t, "CAIRO_OPERATOR_IN")
Synopsis
macdef CAIRO_OPERATOR_OUT = $extval (cairo_operator_t, "CAIRO_OPERATOR_OUT")
Synopsis
macdef CAIRO_OPERATOR_ATOP = $extval (cairo_operator_t, "CAIRO_OPERATOR_ATOP")
Synopsis
macdef CAIRO_OPERATOR_DEST = $extval (cairo_operator_t, "CAIRO_OPERATOR_DEST")
Synopsis
macdef CAIRO_OPERATOR_DEST_OVER = $extval (cairo_operator_t, "CAIRO_OPERATOR_DEST_OVER")
Synopsis
macdef CAIRO_OPERATOR_DEST_IN = $extval (cairo_operator_t, "CAIRO_OPERATOR_DEST_IN")
Synopsis
macdef CAIRO_OPERATOR_DEST_OUT = $extval (cairo_operator_t, "CAIRO_OPERATOR_DEST_OUT")
Synopsis
macdef CAIRO_OPERATOR_DEST_ATOP = $extval (cairo_operator_t, "CAIRO_OPERATOR_DEST_ATOP")
Synopsis
macdef CAIRO_OPERATOR_XOR = $extval (cairo_operator_t, "CAIRO_OPERATOR_XOR")
Synopsis
macdef CAIRO_OPERATOR_ADD = $extval (cairo_operator_t, "CAIRO_OPERATOR_ADD")
Synopsis
macdef CAIRO_OPERATOR_SATURATE = $extval (cairo_operator_t, "CAIRO_OPERATOR_SATURATE")
Synopsis
macdef CAIRO_OPERATOR_MULTIPLY = $extval (cairo_operator_t, "CAIRO_OPERATOR_MULTIPLY")
Synopsis
macdef CAIRO_OPERATOR_SCREEN = $extval (cairo_operator_t, "CAIRO_OPERATOR_SCREEN")
Synopsis
macdef CAIRO_OPERATOR_OVERLAY = $extval (cairo_operator_t, "CAIRO_OPERATOR_OVERLAY")
Synopsis
macdef CAIRO_OPERATOR_DARKEN = $extval (cairo_operator_t, "CAIRO_OPERATOR_DARKEN")
Synopsis
macdef CAIRO_OPERATOR_LIGHTEN = $extval (cairo_operator_t, "CAIRO_OPERATOR_LIGHTEN")
Synopsis
macdef CAIRO_OPERATOR_COLOR_DODGE = $extval (cairo_operator_t, "CAIRO_OPERATOR_COLOR_DODGE")
Synopsis
macdef CAIRO_OPERATOR_COLOR_BURN = $extval (cairo_operator_t, "CAIRO_OPERATOR_COLOR_BURN")
Synopsis
macdef CAIRO_OPERATOR_HARD_LIGHT = $extval (cairo_operator_t, "CAIRO_OPERATOR_HARD_LIGHT")
Synopsis
macdef CAIRO_OPERATOR_SOFT_LIGHT = $extval (cairo_operator_t, "CAIRO_OPERATOR_SOFT_LIGHT")
Synopsis
macdef CAIRO_OPERATOR_DIFFERENCE = $extval (cairo_operator_t, "CAIRO_OPERATOR_DIFFERENCE")
Synopsis
macdef CAIRO_OPERATOR_EXCLUSION = $extval (cairo_operator_t, "CAIRO_OPERATOR_EXCLUSION")
Synopsis
macdef CAIRO_OPERATOR_HSL_HUE = $extval (cairo_operator_t, "CAIRO_OPERATOR_HSL_HUE")
Synopsis
macdef CAIRO_OPERATOR_HSL_SATURATION = $extval (cairo_operator_t, "CAIRO_OPERATOR_HSL_SATURATION")
Synopsis
macdef CAIRO_OPERATOR_HSL_COLOR = $extval (cairo_operator_t, "CAIRO_OPERATOR_HSL_COLOR")
Synopsis
macdef CAIRO_OPERATOR_HSL_LUMINOSIT = $extval (cairo_operator_t, "CAIRO_OPERATOR_HSL_LUMINOSIT")
Synopsis
abst@ype cairo_antialias_t = $extype"cairo_antialias_t"
Synopsis
macdef CAIRO_ANTIALIAS_DEFAULT = $extval (cairo_antialias_t, "CAIRO_ANTIALIAS_DEFAULT")
Synopsis
macdef CAIRO_ANTIALIAS_NONE = $extval (cairo_antialias_t, "CAIRO_ANTIALIAS_NONE")
Synopsis
macdef CAIRO_ANTIALIAS_GRAY = $extval (cairo_antialias_t, "CAIRO_ANTIALIAS_GRAY")
Synopsis
macdef CAIRO_ANTIALIAS_SUBPIXEL = $extval (cairo_antialias_t, "CAIRO_ANTIALIAS_SUBPIXEL")
Synopsis
macdef CAIRO_ANTIALIAS_FAST = $extval (cairo_antialias_t, "CAIRO_ANTIALIAS_FAST")
Synopsis
macdef CAIRO_ANTIALIAS_GOOD = $extval (cairo_antialias_t, "CAIRO_ANTIALIAS_GOOD")
Synopsis
macdef CAIRO_ANTIALIAS_BES = $extval (cairo_antialias_t, "CAIRO_ANTIALIAS_BES")
Synopsis
abst@ype cairo_fill_rule_t = $extype"cairo_fill_rule_t"
Synopsis
macdef CAIRO_FILL_RULE_WINDING = $extval (cairo_fill_rule_t, "CAIRO_FILL_RULE_WINDING")
Synopsis
Synopsis for [CAIRO_FILL_RULE_EVEN_OD] is unavailable.
Synopsis
abst@ype cairo_line_cap_t = $extype"cairo_line_cap_t"
Synopsis
macdef CAIRO_LINE_CAP_BUTT = $extval (cairo_line_cap_t, "CAIRO_LINE_CAP_BUTT")
Synopsis
macdef CAIRO_LINE_CAP_ROUND = $extval (cairo_line_cap_t, "CAIRO_LINE_CAP_ROUND")
Synopsis
Synopsis for [CAIRO_LINE_CAP_SQUAR] is unavailable.
Synopsis
abst@ype cairo_line_join_t = $extype"cairo_line_join_t"
Synopsis
macdef CAIRO_LINE_JOIN_MITER = $extval (cairo_line_join_t, "CAIRO_LINE_JOIN_MITER")
Synopsis
macdef CAIRO_LINE_JOIN_ROUND = $extval (cairo_line_join_t, "CAIRO_LINE_JOIN_ROUND")
Synopsis
Synopsis for [CAIRO_LINE_JOIN_BEVE] is unavailable.
Synopsis
absview cairo_save_v (l:addr)
Description
This abstract view is introduced for ensuring that calls to cairo_save
and cairo_restore are properly balanced.
Synopsis
absview cairo_push_group_v (l:addr)
Description
This abstract view is introduced for ensuring that calls to
cairo_push_group and cairo_pop_group are properly
balanced.
Synopsis
absview cairo_device_acquire_v (l:addr, i:int)
Description
This abstract view is introduced for ensuring that calls to
cairo_device_acquire and cairo_device_release are
properly balance.
Synopsis
praxi
cairo_device_acquire_v_free_none
{l:addr}{i:int | i > 0} (pf: cairo_device_acquire_v (l, i)): void