doc/gobject.ref.texi

   1
   2 @menu
   3 * Introduction::
   4 * GType designator::
   5 * Type hierarchy and type relations::
   6 * Object types information::
   7 * Enum types information::
   8 * Using GValues::
   9 * Stable pointers::
  10 * Closures::
  11 * GObject low-level::
  12 * GObject high-level::
  13 * Creating GObjects classes and implementing GInterfaces::
  14 * GBoxed::
  15 * Generating type definitions by introspection::
  16 @end menu
  17
  18 @node Introduction
  19 @chapter Introduction
  20
  21 GObject is a part of GLib library that implements the type system. The CL-GTK2-GObject is a Common Lisp binding for relevant parts of GObject.
  22
  23 The purpose of CL-GTK2-GObject is to ease the creation of binding for libraries based on GObject.
  24
  25 Please bear in mind that this is the documentation for a work-in-progress library and is a snapshot of current situation. API and functionality may (and will) change. Largely unfinished parts are working with GBoxed types, subclassing GObjects and implementing GInterfaces.
  26
  27 CL-GTK2-GObject is logically split into several layers:
  28 @itemize
  29 @item FFI code. FFI (foreign functions interface) layer is a glue between Lisp code and @code{libglib}, @code{libgobject}, @code{libgthread}. This code includes basic wrapper around GType designator (it is used everywhere and should be defined first) and definitions of foreign structures and imports foreign functions.
  30 @item Low-level GObject integration. These are facilities provided by GObject that capture specific aspects of type system, object system and cross-language runtime. This includes types information, GValues (generic containers for value of any type supported by GObject type system), closures, means to create and use objects. This layer also includes some non-GObject facilities: stable pointers.
  31 @item High-level GObject integration. This layer includes support for interoperability between CLOS and GObject and automatic generation of corresponding definitions.
  32 @end itemize
  33
  34 Naturally, users of CL-GTK2-GObject should use the high-level GObject integration, but occasionaly it may be necessary to use lower-level functionality.
  35
  36 @node GType designator
  37 @chapter GType designator
  38
  39 @menu
  40 * g-type-string::
  41 * g-type-numeric::
  42 * g-type=::
  43 * g-type/=::
  44 @end menu
  45
  46 GObject is an object system based on GType type system. Types in it are identified by an integer value of type @code{GType}. In @code{cl-gtk2-gobject}, types are identified by GType designators. GType designator is an integer (equal to corresponding GType identifier) or a string (equal to the name of corresponding type). The important difference between GType and GType designator is that GType values may change between program runs (all GTypes except fundamental GTypes will change values), but string GType designators do not change (because names of types do not change). As such, if ever GType must be saved in a code, string GType designator should be preferred.
  47
  48 An example of GType designator is a string @code{"GObject"} and the numeric value 80 that corresponds to it.
  49
  50 Some of the types are fundamental and have constant integer values. They are identified by constants (strings in parentheses are corresponding type names):
  51 @itemize
  52 @item @code{+g-type-invalid+}. An invalid GType used as error return value in some functions which return a GType.
  53 @item @code{+g-type-void+} ("void"). A fundamental type which is used as a replacement for the C @code{void} return type.
  54 @item @code{+g-type-interface+} ("GInterface"). The fundamental type from which all interfaces are derived.
  55 @item @code{+g-type-char+} ("gchar"). The fundamental type corresponding to gchar. The type designated by @code{+g-type-char+} is unconditionally an 8-bit signed integer. This may or may not be the same type a the C type @code{gchar}.
  56 @item @code{+g-type-uchar+} ("guchar"). The fundamental type corresponding to @code{guchar}.
  57 @item @code{+g-type-boolean+} ("gboolean"). The fundamental type corresponding to @code{gboolean}.
  58 @item @code{+g-type-int+} ("gint"). The fundamental type corresponding to @code{gint}.
  59 @item @code{+g-type-uint+} ("guint"). The fundamental type corresponding to @code{guint}.
  60 @item @code{+g-type-long+} ("glong"). The fundamental type corresponding to @code{glong}.
  61 @item @code{+g-type-ulong+} ("gulong"). The fundamental type corresponding to @code{gulong}.
  62 @item @code{+g-type-int64+} ("gint64"). The fundamental type corresponding to @code{gint64}.
  63 @item @code{+g-type-uint64+} ("guint64"). The fundamental type corresponding to @code{guint64}.
  64 @item @code{+g-type-enum+} ("GEnum"). The fundamental type from which all enumeration types are derived.
  65 @item @code{+g-type-flags+} ("GFlags"). The fundamental type from which all flags types are derived.
  66 @item @code{+g-type-float+} ("gfloat"). The fundamental type corresponding to @code{gfloat}.
  67 @item @code{+g-type-double+} ("gdouble"). The fundamental type corresponding to @code{gdouble}.
  68 @item @code{+g-type-string+} ("gchararray"). The fundamental type corresponding to null-terminated C strings.
  69 @item @code{+g-type-pointer+} ("gpointer"). The fundamental type corresponding to @code{gpointer}.
  70 @item @code{+g-type-boxed+} ("GBoxed"). The fundamental type from which all boxed types are derived. Values of this type correspond to by-value structures.
  71 @item @code{+g-type-param+} ("GParam"). The fundamental type from which all GParamSpec types are derived. Values of this type correspond to instances of structure @code{g-class-property-definition}.
  72 @item @code{+g-type-object+} ("GObject"). The fundamental type for GObject.
  73 @end itemize
  74
  75 Functions @ref{g-type-string} and @ref{g-type-numeric} return the numeric and string representations of GType designators (given any of them). Functions @ref{g-type=} and @ref{g-type/=} check types for equality.
  76
  77 Invalid type (the GType that does not exist) is identified as a 0 or @code{NIL}.
  78
  79 @lisp
  80 (g-type-numeric "GObject") @result{} 80
  81 (g-type-numeric 80) @result{} 80
  82 (g-type-string "GObject") @result{} "GObject"
  83 (g-type-string 80) @result{} "GObject"
  84 (g-type-numeric "GtkWidget") @result{} 6905648 ;;Will be different on each run
  85 @end lisp
  86
  87 @node g-type-string
  88 @section g-type-string
  89
  90 @Function g-type-string
  91 @lisp
  92 (g-type-string g-type-designator) @result{} name
  93 @end lisp
  94
  95 @table @var
  96 @item @var{g-type-designator}
  97 The GType designator for the GType
  98 @item @var{name}
  99 The name of GType
 100 @end table
 101
 102 Returns the name of GType.
 103
 104 @node g-type-numeric
 105 @section g-type-numeric
 106
 107 @Function g-type-numeric
 108 @lisp
 109 (g-type-numeric g-type-designator) @result{} GType
 110 @end lisp
 111
 112 @table @var
 113 @item @var{g-type-designator}.
 114 The GType designator for the GType.
 115 @item @var{GType}
 116 The numeric identifier of GType
 117 @end table
 118
 119 Returns the numeric identifier of GType
 120
 121 @node g-type=
 122 @section g-type=
 123
 124 @Function g-type=
 125 @lisp
 126 (g-type= type-1 type-2) @result{} eq
 127 @end lisp
 128
 129 @table @var
 130 @item @var{type-1}
 131 A GType designator
 132 @item @var{type-2}
 133 A GType designator
 134 @item @var{eq}
 135 A boolean that is true if @code{type-1} and @code{type-2} designate the same type.
 136 @end table
 137
 138 @node g-type/=
 139 @section g-type/=
 140
 141 @Function g-type/=
 142 @lisp
 143 (g-type/= type-1 type-2) @result{} eq
 144 @end lisp
 145
 146 @table @var
 147 @item @var{type-1}
 148 A GType designator
 149 @item @var{type-2}
 150 A GType designator
 151 @item @var{eq}
 152 A boolean that is true if @code{type-1} and @code{type-2} designate different types.
 153 @end table
 154
 155 @node Type hierarchy and type relations
 156 @chapter Type hierarchy and type relations
 157
 158 @menu
 159 * g-type-children::
 160 * g-type-parent::
 161 * g-type-fundamental::
 162 * g-type-depth::
 163 * g-type-next-base::
 164 @end menu
 165
 166 GTypes are organized into hierarchy. Each GType (except fundamental types) has a parent type and zero or more children types. Parent of GType identified by @code{g-type-parent} function and its children are identified by @code{g-type-children} function.
 167
 168 There are functions to query some specific information:
 169 @itemize
 170 @item @code{g-type-fundamental} retrieves the fundamental type for given type
 171 @item @code{g-type-depth} calculates the depth of the type in type hierarchy
 172 @item @code{g-type-next-base} calculates the first step in the path from base type to descendent type
 173 @end itemize
 174
 175 @node g-type-children
 176 @section g-type-children
 177
 178 @Function g-type-children
 179 @lisp
 180 (g-type-children type) @result{} children
 181 @end lisp
 182
 183 @table @var
 184 @item @var{type}
 185 A GType designator
 186 @item @var{children}
 187 A list of GType designators
 188 @end table
 189
 190 Returns the list of descendent types.
 191
 192 Example:
 193 @lisp
 194 (g-type-children "GtkButton")
 195 @result{}
 196 ("GtkToggleButton" "GtkColorButton" "GtkFontButton" "GtkLinkButton" "GtkScaleButton")
 197 @end lisp
 198
 199 @node g-type-parent
 200 @section g-type-parent
 201
 202 @Function g-type-parent
 203 @lisp
 204 (g-type-parent type) @result{} parent
 205 @end lisp
 206
 207 @table @var
 208 @item @var{type}
 209 A GType designator
 210 @item @var{parent}
 211 A GType designator
 212 @end table
 213
 214 Returns the parent of @code{type}.
 215
 216 Example:
 217 @lisp
 218 (g-type-parent "GtkToggleButton")
 219 @result{}
 220 "GtkButton"
 221 @end lisp
 222
 223 @node g-type-fundamental
 224 @section g-type-fundamental
 225
 226 @Function g-type-fundamental
 227 @lisp
 228 (g-type-fundamental type) @result{} fundamental-type
 229 @end lisp
 230
 231 @table @var
 232 @item @var{type}
 233 A GType designator
 234 @item @var{fundamental-type}
 235 A GType designator for one of the fundamental types
 236 @end table
 237
 238 Returns the fundamental type that is the ancestor of @code{type}.
 239
 240 Example:
 241 @lisp
 242 (g-type-fundamental "GtkButton") @result{} "GObject"
 243
 244 (g-type-fundamental "GtkWindowType") @result{} "GEnum"
 245
 246 (g-type-fundamental "GdkEvent") @result{} "GBoxed"
 247 @end lisp
 248
 249 @node g-type-depth
 250 @section g-type-depth
 251
 252 @Function g-type-depth
 253 @lisp
 254 (g-type-depth type) @result{} depth
 255 @end lisp
 256
 257 @table @var
 258 @item @var{type}
 259 A GType designator
 260 @item @var{depth}
 261 An integer
 262 @end table
 263
 264 Returns the depth of the @code{type}. Depth is the number of types between the @code{type} and its fundamental types (including both @code{type} and its fundamental type). Depth of a fundamental type equals to 1.
 265
 266 Example:
 267 @lisp
 268 (g-type-depth "GObject") @result{} 1
 269 (g-type-depth "GInitiallyUnowned") @result{} 2
 270 @end lisp
 271
 272 @node g-type-next-base
 273 @section g-type-next-base
 274
 275 @Function g-type-next-base
 276 @lisp
 277 (g-type-next-base leaf-type root-type) @result{} base-type
 278 @end lisp
 279
 280 @table @var
 281 @item @var{leaf-type}
 282 A GType designator
 283 @item @var{root-type}
 284 A GType designator
 285 @item @var{base-type}
 286 A GType designator
 287 @end table
 288
 289 Returns the next type that should be traversed from @code{root-type} in order to reach @code{leaf-type}. E.g., given type hierarchy:
 290 @lisp
 291 + GObject
 292  \
 293   + GInitiallyUnowned
 294    \
 295     + GtkObject
 296     |\
 297     | + GtkAdjustment
 298      \
 299       + GtkWidget
 300        \
 301         + GtkContainer
 302          \
 303           + GtkTable
 304 @end lisp
 305
 306 the following will be returned:
 307
 308 @lisp
 309 (g-type-next-base "GtkTable" "GObject") @result{} "GInitiallyUnowned"
 310 (g-type-next-base "GtkTable" "GInitiallyUnowned") @result{} "GtkObject"
 311 (g-type-next-base "GtkTable" "GtkObject") @result{} "GtkWidget"
 312 (g-type-next-base "GtkTable" "GtkWidget") @result{} "GtkContainer"
 313 (g-type-next-base "GtkTable" "GtkContainer") @result{} "GtkTable"
 314 @end lisp
 315
 316 @node Object types information
 317 @chapter Object types information
 318 @menu
 319 * g-class-property-definition::
 320 * class-properties::
 321 * class-property-info::
 322 * interface-properties::
 323 * signal-info::
 324 * type-signals::
 325 * parse-signal-name::
 326 * query-signal-info::
 327 * g-type-interfaces::
 328 * g-type-interface-prerequisites::
 329 @end menu
 330
 331 GObject classes and interfaces have properties that can be queried with @code{class-properties}, @code{class-property-info} and @code{interface-properties}. These functions represent information about properties with instances of @code{g-class-property-definition} structure.
 332
 333 Information about signals can be queries with @code{type-signals}, @code{parse-signal-name} and @code{query-signal-info} functions. Information is returned within instances of @code{signal-info} structures.
 334
 335 @node g-class-property-definition
 336 @section g-class-property-definition
 337
 338 @Struct g-class-property-definition
 339 @lisp
 340 (defstruct g-class-property-definition
 341   name
 342   type
 343   readable
 344   writable
 345   constructor
 346   constructor-only
 347   owner-type)
 348 @end lisp
 349
 350 @table @var
 351 @item @var{name}
 352 A string that names the property
 353 @item @var{type}
 354 A GType designator. Identifies the type of the property
 355 @item @var{readable}
 356 A boolean. Identifies whether the property can be read
 357 @item @var{writable}
 358 A boolean. Identifies whether the property can be assigned
 359 @item @var{constructor}
 360 A boolean. Identifies whether constructor of object accepts this property
 361 @item @var{constructor-only}
 362 A boolean. Identifies whether this property may only be set in constructor, not in property setter
 363 @item @var{owner-type}
 364 A GType designator. Identifies the type on which the property was defined.
 365 @end table
 366
 367 This structure identifies a single property. Its field specify attributes of a property.
 368
 369 Structures of this type have shortened print syntax:
 370 @lisp
 371 #<PROPERTY gchararray GtkButton.label (flags: readable writable constructor)>
 372 @end lisp
 373
 374 (When @code{*print-readably*} is T, usual @code{defstruct} print syntax is used)
 375
 376 This syntax specifies:
 377 @itemize
 378 @item type of property
 379 @item the owner type of property
 380 @item name of property
 381 @item additional flags of property
 382 @end itemize
 383
 384 @node class-properties
 385 @section class-properties
 386
 387 @Function class-properties
 388 @lisp
 389 (class-properties type) @result{} properties
 390 @end lisp
 391
 392 @table @var
 393 @item @var{type}
 394 A GType designator. Specifies the object type (class)
 395 @item @var{properties}
 396 A list of @code{g-property-definition} structures.
 397 @end table
 398
 399 This function returns the list of properties that are available in class @code{type}.
 400
 401 Example:
 402 @lisp
 403 (class-properties "GtkWidget")
 404 @result{}
 405 (#<PROPERTY gpointer GtkObject.user-data (flags: readable writable)>
 406  #<PROPERTY gchararray GtkWidget.name (flags: readable writable)>
 407  #<PROPERTY GtkContainer GtkWidget.parent (flags: readable writable)>
 408  #<PROPERTY gint GtkWidget.width-request (flags: readable writable)>
 409  #<PROPERTY gint GtkWidget.height-request (flags: readable writable)>
 410  #<PROPERTY gboolean GtkWidget.visible (flags: readable writable)>
 411  #<PROPERTY gboolean GtkWidget.sensitive (flags: readable writable)>
 412  #<PROPERTY gboolean GtkWidget.app-paintable (flags: readable writable)>
 413  #<PROPERTY gboolean GtkWidget.can-focus (flags: readable writable)>
 414  #<PROPERTY gboolean GtkWidget.has-focus (flags: readable writable)>
 415  #<PROPERTY gboolean GtkWidget.is-focus (flags: readable writable)>
 416  #<PROPERTY gboolean GtkWidget.can-default (flags: readable writable)>
 417  #<PROPERTY gboolean GtkWidget.has-default (flags: readable writable)>
 418  #<PROPERTY gboolean GtkWidget.receives-default (flags: readable writable)>
 419  #<PROPERTY gboolean GtkWidget.composite-child (flags: readable)>
 420  #<PROPERTY GtkStyle GtkWidget.style (flags: readable writable)>
 421  #<PROPERTY GdkEventMask GtkWidget.events (flags: readable writable)>
 422  #<PROPERTY GdkExtensionMode GtkWidget.extension-events (flags: readable writable)>
 423  #<PROPERTY gboolean GtkWidget.no-show-all (flags: readable writable)>
 424  #<PROPERTY gboolean GtkWidget.has-tooltip (flags: readable writable)>
 425  #<PROPERTY gchararray GtkWidget.tooltip-markup (flags: readable writable)>
 426  #<PROPERTY gchararray GtkWidget.tooltip-text (flags: readable writable)>
 427  #<PROPERTY GdkWindow GtkWidget.window (flags: readable)>)
 428 @end lisp
 429
 430 @node class-property-info
 431 @section class-property-info
 432 @Function class-property-info
 433 @lisp
 434 (class-property-info type property-name) @result{} property
 435 @end lisp
 436
 437 @table @var
 438 @item @var{type}
 439 A GType designator
 440 @item @var{property-name}
 441 A string naming the property
 442 @item @var{property}
 443 An instance of @code{g-property-definition} structure
 444 @end table
 445
 446 Returns the property information for a single property.
 447
 448 Example:
 449 @lisp
 450 (class-property-info "GtkButton" "label")
 451 @result{}
 452 #<PROPERTY gchararray GtkButton.label (flags: readable writable constructor)>
 453 @end lisp
 454
 455 @node interface-properties
 456 @section interface-properties
 457
 458 @Function interface-properties
 459 @lisp
 460 (interface-properties type) @result{} properties
 461 @end lisp
 462
 463 @table @var
 464 @item @var{type}
 465 A GType designator
 466 @item @var{properties}
 467 A list of @code{g-property-definition} structures
 468 @end table
 469
 470 This function returns the list of properties that are available in interface @code{type}.
 471
 472 Example:
 473 @lisp
 474 (interface-properties "GtkFileChooser")
 475 @result{}
 476 (#<PROPERTY GtkWidget GtkFileChooser.extra-widget (flags: readable writable)>
 477  #<PROPERTY gboolean GtkFileChooser.use-preview-label (flags: readable writable)>
 478  #<PROPERTY gboolean GtkFileChooser.preview-widget-active (flags: readable writable)>
 479  #<PROPERTY gboolean GtkFileChooser.show-hidden (flags: readable writable)>
 480  #<PROPERTY gchararray GtkFileChooser.file-system-backend (flags: writable constructor-only)>
 481  #<PROPERTY GtkFileChooserAction GtkFileChooser.action (flags: readable writable)>
 482  #<PROPERTY GtkFileFilter GtkFileChooser.filter (flags: readable writable)>
 483  #<PROPERTY gboolean GtkFileChooser.select-multiple (flags: readable writable)>
 484  #<PROPERTY GtkWidget GtkFileChooser.preview-widget (flags: readable writable)>
 485  #<PROPERTY gboolean GtkFileChooser.local-only (flags: readable writable)>
 486  #<PROPERTY gboolean GtkFileChooser.do-overwrite-confirmation (flags: readable writable)>)
 487 @end lisp
 488
 489 @node signal-info
 490 @section signal-info
 491
 492 @Struct signal-info
 493 @lisp
 494 (defstruct signal-info
 495   id
 496   name
 497   owner-type
 498   flags
 499   return-type
 500   param-types
 501   detail)
 502 @end lisp
 503
 504 @table @var
 505 @item @var{id}
 506 An integer - the identifier of a signal
 507 @item @var{name}
 508 Name of a signal
 509 @item @var{owner-type}
 510 A GType designator identifying the type on which the signal was defined
 511 @item @var{flags}
 512 A list of keywords of type @code{'(member :run-first :run-last :run-cleanup :no-recurse :detailed :action :no-hooks)}. Specifies the attributes of a signals
 513 @item @var{return-type}
 514 The return type of a signal (and signal handlers)
 515 @item @var{param-types}
 516 A list of GType designators that specify the types of signal parameters
 517 @item @var{detail}
 518 A string. Specifies the "detail" part of a signal name. E.g., @code{"label"} for signal @code{"notify::label"}.
 519 @end table
 520
 521 When @code{*print-readably*} is nil, the following print syntax is used:
 522 @lisp
 523 #<Signal [#1] void GObject.notify::label(GParam) [RUN-FIRST, NO-RECURSE, DETAILED, ACTION, NO-HOOKS]>
 524 #<Signal [#54] gboolean GtkWidget.proximity-in-event(GdkEvent) [RUN-LAST]>
 525 #<Signal [#64] void GtkWidget.drag-data-received(GdkDragContext, gint, gint, GtkSelectionData, guint, guint) [RUN-LAST]>
 526 #<Signal [#8] void GtkObject.destroy() [RUN-CLEANUP, NO-RECURSE, NO-HOOKS]>
 527 @end lisp
 528
 529 This syntax specifies:
 530 @itemize
 531 @item the signal id
 532 @item signal return type
 533 @item owner type
 534 @item signal name
 535 @item detail
 536 @item list of types of parameters
 537 @item flags
 538 @end itemize
 539
 540 @node type-signals
 541 @section type-signals
 542 @Function type-signals
 543 @lisp
 544 (type-signals type &key (include-inherited t)) @result{} signals
 545 @end lisp
 546 @table @var
 547 @item @var{type}
 548 A GType designator
 549 @item @var{signals}
 550 A list of @code{signal-info} structures
 551 @item @var{include-inherited}
 552 A boolean that specifies whether to include signals defined on this type or also on ancestor types.
 553 @end table
 554
 555 Returns the list of signals that are available in type @code{type}.
 556
 557 Example:
 558 @lisp
 559 (type-signals "GtkLabel" :include-inherited nil)
 560 @result{}
 561 (#<Signal [#138] void GtkLabel.move-cursor(GtkMovementStep, gint, gboolean) [RUN-LAST, ACTION]>
 562  #<Signal [#139] void GtkLabel.copy-clipboard() [RUN-LAST, ACTION]>
 563  #<Signal [#140] void GtkLabel.populate-popup(GtkMenu) [RUN-LAST]>)
 564 @end lisp
 565
 566 @node parse-signal-name
 567 @section parse-signal-name
 568
 569 @Function parse-signal-name
 570 @lisp
 571 (parse-signal-name type signal-name) @result{} signal
 572 @end lisp
 573
 574 @table @var
 575 @item @var{type}
 576 A GType designator that has the signal.
 577 @item @var{signal-name}
 578 A string that identifies the signal.
 579 @item @var{signal}
 580 A list @code{signal-info} structures.
 581 @end table
 582
 583 Parses the signal name and returns the corresponding information. @code{signal-name} may include the detail part.
 584
 585 Example:
 586 @lisp
 587 (parse-signal-name "GObject" "notify::label")
 588 @result{}
 589 #<Signal [#1] void GObject.notify::label(GParam) [RUN-FIRST, NO-RECURSE, DETAILED, ACTION, NO-HOOKS]>
 590 @end lisp
 591
 592 @node query-signal-info
 593 @section query-signal-info
 594 @Function query-signal-info
 595 @lisp
 596 (query-signal-info signal-id) @result{} signal
 597 @end lisp
 598 @table @var
 599 @item @var{signal-id}
 600 An integer identifying the signal
 601 @item @var{signal}
 602 An instance of @code{signal-info} structure
 603 @end table
 604
 605 Retrieves the signal information by its id.
 606
 607 Example:
 608 @lisp
 609 (query-signal-info 73)
 610 @result{}
 611 #<Signal [#73] gboolean GtkWidget.show-help(GtkWidgetHelpType) [RUN-LAST, ACTION]>
 612 @end lisp
 613
 614 @node g-type-interfaces
 615 @section g-type-interfaces
 616
 617 @Function g-type-interfaces
 618 @lisp
 619 (g-type-interfaces type) @result{} interfaces
 620 @end lisp
 621
 622 @table @var
 623 @item @var{type}
 624 A GType designator
 625 @item @var{interfaces}
 626 A list of GType designators
 627 @end table
 628
 629 Returns the list of interfaces that @code{type} implements.
 630
 631 Example:
 632 @lisp
 633 (g-type-interfaces "GtkButton")
 634 @result{}
 635 ("AtkImplementorIface" "GtkBuildable" "GtkActivatable")
 636 @end lisp
 637
 638 @node g-type-interface-prerequisites
 639 @section g-type-interface-prerequisites
 640
 641 @Function g-type-interface-prerequisites
 642 @lisp
 643 (g-type-interface-prerequisites type) @result{} types
 644 @end lisp
 645
 646 @table @var
 647 @item @var{type}
 648 A GType designator of interface
 649 @item @var{types}
 650 A list of GType designators specifying the interface prerequisites
 651 @end table
 652
 653 Returns the prerequisites of an interface @code{type}. Prerequisite is a type that should be an ancestor of a type implementing interface @code{type}.
 654
 655 Example:
 656 @lisp
 657 (g-type-interface-prerequisites "GtkCellEditable")
 658 @result{}
 659 ("GtkObject" "GtkWidget")
 660 @end lisp
 661
 662 @node Enum types information
 663 @chapter Enum types information
 664 @menu
 665 * enum-item::
 666 * flags-item::
 667 * get-enum-items::
 668 * get-flags-items::
 669 @end menu
 670
 671 Enum types have items that can be listed with @code{get-enum-items} function. This information is exposed within instances of @code{enum-item} structure.
 672
 673 Flags types (flags is a kind of enum whose values can be combined) have items that can be queried with @code{get-flags-items} function. This information is exposed within instances of @code{flags-item} structure.
 674
 675 @node enum-item
 676 @section enum-item
 677 @Struct enum-item
 678 @lisp
 679 (defstruct enum-item
 680   name value nick)
 681 @end lisp
 682
 683 @table @var
 684 @item @var{name}
 685 A string - name of enum item
 686 @item @var{value}
 687 An integer - numeric value of enum item
 688 @item @var{nick}
 689 A string - short name of an enum item
 690 @end table
 691
 692 Structure @code{enum-item} represents a single item of an enumeration type.
 693
 694 Example:
 695 @lisp
 696 #S(ENUM-ITEM :NAME "GTK_WINDOW_TOPLEVEL" :VALUE 0 :NICK "toplevel")
 697 @end lisp
 698
 699 @node flags-item
 700 @section flags-item
 701 @Struct flags-item
 702 @lisp
 703 (defstruct flags-item
 704   name value nick)
 705 @end lisp
 706
 707 @table @var
 708 @item @var{name}
 709 A string - name of flags item
 710 @item @var{value}
 711 An integer - numeric value of flags item
 712 @item @var{nick}
 713 A string - short name of an flags item
 714 @end table
 715
 716 Structure @code{flags-item} represents a single item of an flags type.
 717
 718 Example:
 719 @lisp
 720 #S(FLAGS-ITEM
 721    :NAME "GDK_POINTER_MOTION_HINT_MASK"
 722    :VALUE 8
 723    :NICK "pointer-motion-hint-mask")
 724 @end lisp
 725
 726 @node get-enum-items
 727 @section get-enum-items
 728
 729 @Function get-enum-items
 730 @lisp
 731 (get-enum-items type) @result{} items
 732 @end lisp
 733
 734 @table @var
 735 @item @var{type}
 736 A GType designator of an enum type
 737 @item @var{items}
 738 A list of @code{enum-item} structures
 739 @end table
 740
 741 Returns a list of items in an enumeration
 742
 743 Example:
 744 @lisp
 745 (get-enum-items "GtkScrollType")
 746 @result{}
 747 (#S(ENUM-ITEM :NAME "GTK_SCROLL_NONE" :VALUE 0 :NICK "none")
 748  #S(ENUM-ITEM :NAME "GTK_SCROLL_JUMP" :VALUE 1 :NICK "jump")
 749  #S(ENUM-ITEM :NAME "GTK_SCROLL_STEP_BACKWARD" :VALUE 2 :NICK "step-backward")
 750  #S(ENUM-ITEM :NAME "GTK_SCROLL_STEP_FORWARD" :VALUE 3 :NICK "step-forward")
 751  #S(ENUM-ITEM :NAME "GTK_SCROLL_PAGE_BACKWARD" :VALUE 4 :NICK "page-backward")
 752  #S(ENUM-ITEM :NAME "GTK_SCROLL_PAGE_FORWARD" :VALUE 5 :NICK "page-forward")
 753  #S(ENUM-ITEM :NAME "GTK_SCROLL_STEP_UP" :VALUE 6 :NICK "step-up")
 754  #S(ENUM-ITEM :NAME "GTK_SCROLL_STEP_DOWN" :VALUE 7 :NICK "step-down")
 755  #S(ENUM-ITEM :NAME "GTK_SCROLL_PAGE_UP" :VALUE 8 :NICK "page-up")
 756  #S(ENUM-ITEM :NAME "GTK_SCROLL_PAGE_DOWN" :VALUE 9 :NICK "page-down")
 757  #S(ENUM-ITEM :NAME "GTK_SCROLL_STEP_LEFT" :VALUE 10 :NICK "step-left")
 758  #S(ENUM-ITEM :NAME "GTK_SCROLL_STEP_RIGHT" :VALUE 11 :NICK "step-right")
 759  #S(ENUM-ITEM :NAME "GTK_SCROLL_PAGE_LEFT" :VALUE 12 :NICK "page-left")
 760  #S(ENUM-ITEM :NAME "GTK_SCROLL_PAGE_RIGHT" :VALUE 13 :NICK "page-right")
 761  #S(ENUM-ITEM :NAME "GTK_SCROLL_START" :VALUE 14 :NICK "start")
 762  #S(ENUM-ITEM :NAME "GTK_SCROLL_END" :VALUE 15 :NICK "end"))
 763 @end lisp
 764
 765 @node get-flags-items
 766 @section get-flags-items
 767
 768 @Function get-flags-items
 769 @lisp
 770 (get-flags-items type) @result{} items
 771 @end lisp
 772
 773 @table @var
 774 @item @var{type}
 775 A GType designator of an flags type
 776 @item @var{items}
 777 A list of @code{flags-item} structures
 778 @end table
 779
 780 Returns a list of items in an flags type
 781
 782 Example:
 783 @lisp
 784 (get-flags-items "GtkAttachOptions")
 785 @result{}
 786 (#S(FLAGS-ITEM :NAME "GTK_EXPAND" :VALUE 1 :NICK "expand")
 787  #S(FLAGS-ITEM :NAME "GTK_SHRINK" :VALUE 2 :NICK "shrink")
 788  #S(FLAGS-ITEM :NAME "GTK_FILL" :VALUE 4 :NICK "fill"))
 789 @end lisp
 790
 791 @node Using GValues
 792 @chapter Using GValues
 793 @menu
 794 * g-value-zero::
 795 * g-value-init::
 796 * g-value-unset::
 797 * parse-g-value::
 798 * set-g-value::
 799 * Registering types::
 800 @end menu
 801
 802 GValue is a generic container for arbitrary value of type supported by GType system. Refer to GObject documentation for more detailed information.
 803
 804 CL-GTK2-GOBJECT works with GValue as a foreign type @code{g-value}. Functions @code{g-value-zero}, @code{g-value-type}, @code{g-value-init}, @code{parse-g-value}, @code{set-g-value} are used to inspect and assign GValues. @code{g-value} is a CFFI foreign type that is used by all these functions. Pointer to foreign instance of this type is passed to them.
 805
 806 GValue is used whenever a value of unkown type should be passed. It is used in:
 807 @itemize
 808 @item Closure marshal functions
 809 @item Property get and set functions
 810 @end itemize
 811
 812 Example of usage:
 813 @lisp
 814 (cffi:with-foreign-object (gval 'g-value)
 815   (set-g-value gval "Hello" "gchararray" :zero-g-value t)
 816   (format t "~S~%" (parse-g-value gval))
 817   (g-value-unset gval))
 818 @result{}
 819 "Hello"
 820 @end lisp
 821
 822 @node g-value-zero
 823 @section g-value-zero
 824 @Function g-value-zero
 825 @lisp
 826 (g-value-zero g-value)
 827 @end lisp
 828 @table @var
 829 @item @var{g-value}
 830 A foreign pointer to GValue structure.
 831 @end table
 832
 833 Initializes the GValue to "unset" state. Equivalent of the following initializer in C:
 834 @lisp
 835 GValue value = @{ 0 @};
 836 @end lisp
 837
 838 Must be called before other functions that work with GValue (except @code{set-g-value} with keyword argument @code{:zero-g-value} set to true).
 839
 840 @node g-value-init
 841 @section g-value-init
 842
 843 @Function g-value-init
 844 @lisp
 845 (g-value-init value type)
 846 @end lisp
 847 @table @var
 848 @item @var{value}
 849 A foreign pointer to GValue structure
 850 @item @var{type}
 851 A GType designator
 852 @end table
 853
 854 Initializes the GValue to store instances of type @code{type}. Must be called before other functions operate on GValue (except @code{g-value-zero} and @code{set-g-value} with keyword argument @code{:g-value-init} set to true).
 855
 856 @node g-value-unset
 857 @section g-value-unset
 858 @Function g-value-unset
 859 @lisp
 860 (g-value-unset value)
 861 @end lisp
 862 @table @var
 863 @item @var{value}
 864 A foreign pointer to GValue structure.
 865 @end table
 866
 867 Unsets the GValue. This frees all resources associated with GValue.
 868
 869 @node parse-g-value
 870 @section parse-g-value
 871 @Function parse-g-value
 872 @lisp
 873 (parse-g-value value) @result{} object
 874 @end lisp
 875 @table @var
 876 @item @var{value}
 877 A foreign pointer to GValue structure
 878 @item @var{object}
 879 A Lisp object
 880 @end table
 881
 882 Retrieves the object from GValue structure.
 883
 884 @node set-g-value
 885 @section set-g-value
 886 @Function set-g-value
 887 @lisp
 888 (set-g-value gvalue object type &key zero-g-value unset-g-value (g-value-init t))
 889 @end lisp
 890
 891 @table @var
 892 @item @var{gvalue}
 893 A foreign pointer to GValue structure
 894 @item @var{object}
 895 An object that is to be assigned to @code{gvalue}
 896 @item @var{type}
 897 A GType designator specifying what GType should be set
 898 @item @var{unset-g-value}
 899 A boolean specifying whether to call @code{g-value-unset} before assigment.
 900 @item @var{zero-g-value}
 901 A boolean specifying whether to call @code{g-value-zero} before assignment
 902 @item @var{g-value-init}
 903 A boolean specifying whether to call @code{g-value-init} before assignment
 904 @end table
 905
 906 Assigns the @code{object} to the @code{gvalue}. When GValue is not used, call @code{g-value-unset} to deinitialize the @code{GValue}.
 907
 908 @node Registering types
 909 @section Registering types
 910
 911 In order to be able to parse GValues and set them, it is necessary for GValue binding to know type mapping between GObject types and Lisp types. Type registration serves to this purpose.
 912
 913 GEnum and GFlags are mapped to CFFI @code{defcenum} and @code{defbitfield} types. Functions @code{register-enum-type} and @code{register-flags-type} add the type to the mapping.
 914
 915 @subsection register-enum-type
 916 @Function register-enum-type
 917 @lisp
 918 (register-enum-type name type)
 919 @end lisp
 920 @table @var
 921 @item @var{name}
 922 A string naming the GEnum type
 923 @item @var{type}
 924 A symbol - name of CFFI foreign enum type
 925 @end table
 926
 927 Registers the @code{type} to be used for passing value of GEnum type @code{name} between GObject and Lisp.
 928
 929 Example:
 930 @lisp
 931 (defcenum text-direction
 932   :none :ltr :rtl)
 933 (register-enum-type "GtkTextDirection" 'text-direction)
 934 @end lisp
 935
 936 @subsection register-flags-type
 937 @Function register-flags-type
 938 @lisp
 939 (register-flags-type name type)
 940 @end lisp
 941 @table @var
 942 @item @var{name}
 943 A string naming the GFlags type
 944 @item @var{type}
 945 A symbol - name of CFFI foreign flags type
 946 @end table
 947
 948 Registers the @code{type} to be used for passing value of GFlags type @code{name} between GObject and Lisp.
 949
 950 Example:
 951 @lisp
 952 (defcenum state-type
 953   :normal :active :prelight :selected :insensitive)
 954 (register-enum-type "GtkStateType" 'state-type)
 955 @end lisp
 956
 957 @node Stable pointers
 958 @chapter Stable pointers
 959 @menu
 960 * allocate-stable-pointer::
 961 * free-stable-pointer::
 962 * stable-pointer-value::
 963 * with-stable-pointer::
 964 @end menu
 965
 966 Sometimes it is necessary to pass arbitrary Lisp object to C code and then receive it back. Stable pointer serve to this purpose. Stable pointer is an integer (that is passed to C code as a @code{void*} pointer) that is created on Lisp side by call to @code{allocate-stable-pointer} and can be dereferenced by Lisp side at any time by calling @code{stable-pointer-value}. Stable pointer exists and does not change its value until explicitly freed by calling @code{free-stable-poitner}. Convenience macro @code{with-stable-pointer} binds the stable pointer for the duration of its body.
 967
 968 @node allocate-stable-pointer
 969 @section allocate-stable-pointer
 970
 971 @Function allocate-stable-pointer
 972 @lisp
 973 (allocate-stable-pointer thing) @result{} stable-pointer
 974 @end lisp
 975
 976 @table @var
 977 @item @var{thing}
 978 An arbitrary Lisp object
 979 @item @var{stable-pointer}
 980 A foreign pointer
 981 @end table
 982
 983 Allocates a stable pointer to @code{thing}.
 984
 985 (Note: @var{stable-pointer} should not be dereferenced with @code{cffi:mem-ref}. It should only be dereferenced with @code{stable-pointer-value})
 986
 987 Example:
 988 @lisp
 989 (allocate-stable-pointer (lambda (x) (+ x 10)))
 990 @result{}
 991 #.(SB-SYS:INT-SAP #X00000002)
 992
 993 (stable-pointer-value *)
 994 @result{}
 995 #<FUNCTION (LAMBDA (X)) @{1004D016F9@}>
 996
 997 (free-stable-pointer **)
 998 @result{}
 999 NIL
1000 @end lisp
1001
1002 @node free-stable-pointer
1003 @section free-stable-pointer
1004
1005 @Function free-stable-pointer
1006 @lisp
1007 (free-stable-pointer stable-pointer)
1008 @end lisp
1009
1010 @table @var
1011 @item @var{stable-pointer}
1012 A foreign pointer that was created with @code{allocate-stable-pointer}.
1013 @end table
1014
1015 Frees the stable pointer, enabling the garbage collector to reclaim the object.
1016
1017 Example:
1018 @lisp
1019 (allocate-stable-pointer (lambda (x) (+ x 10)))
1020 @result{}
1021 #.(SB-SYS:INT-SAP #X00000002)
1022
1023 (stable-pointer-value *)
1024 @result{}
1025 #<FUNCTION (LAMBDA (X)) @{1004D016F9@}>
1026
1027 (free-stable-pointer **)
1028 @result{}
1029 NIL
1030 @end lisp
1031
1032 @node stable-pointer-value
1033 @section stable-pointer-value
1034
1035 @Accessor stable-pointer-value
1036 @lisp
1037 (stable-pointer-value stable-pointer) @result{} thing
1038 (setf (stable-pointer-value stable-pointer) thing)
1039 @end lisp
1040
1041 @table @var
1042 @item @var{stable-pointer}
1043 A foreign pointer created by @code{allocate-stable-pointer}
1044 @item @var{thing}
1045 A Lisp object
1046 @end table
1047
1048 Dereferences a @code{stable-pointer}, returning the stable pointer value. @code{stable-pointer-value} is a SETFable form, SETFing it sets the stable pointer's value to new value.
1049
1050 @node with-stable-pointer
1051 @section with-stable-pointer
1052
1053 @Macro with-stable-pointer
1054 @lisp
1055 (with-stable-pointer (ptr expr) &body body)
1056 @end lisp
1057
1058 @table @var
1059 @item @var{ptr}
1060 A variable that will be bound to the stable pointer
1061 @item @var{expr}
1062 An expression that will be evaluated once and its value will be bound to stable pointer's value
1063 @end table
1064
1065 Executes the body with the @code{ptr} variable being bound to a stable pointer whose value is determined by @code{expr}.
1066
1067 Example:
1068 @lisp
1069 (with-stable-pointer (ptr (lambda (x) (+ x 10)))
1070   (print (stable-pointer-value ptr)))
1071 ;;Prints:
1072 #<FUNCTION (LAMBDA (X)) @{1004807E79@}>
1073 @end lisp
1074
1075 @node Closures
1076 @chapter Closures
1077
1078 Closure are anonymous functions that capture their lexical environment.
1079
1080 GObject supports using closures (as instances of type GClosure) as signal handlers and in some other places where a function is expected. Function @code{create-signal-handler-closure} create closure from lisp function that can be used a signal handler. The GClosure is finalized automatically when GObject no longer needs it (e.g., when GClosure is disconnected from signal).
1081
1082 @section create-signal-handler-closure
1083 @Function create-signal-handler-closure
1084 @lisp
1085 (create-signal-handler-closure object fn) @result{} closure
1086 @end lisp
1087
1088 @table @var
1089 @item @var{object}
1090 An object for which the closure is created
1091 @item @var{fn}
1092 A function that will be called by closure invokation
1093 @item @var{closure}
1094 A foreign pointer to allocated closure
1095 @end table
1096
1097 Allocates the closure. The closure is destroyed automatically by GObject.
1098
1099 Example:
1100 @lisp
1101 (create-signal-handler-closure obj (lambda (x) (+ x 10)))
1102 @result{}
1103 #.(SB-SYS:INT-SAP #X006D7B20)
1104 @end lisp
1105
1106 Example of usage from GObject binding code:
1107 @lisp
1108 (defun connect-signal (object signal handler &key after)
1109   (g-signal-connect-closure (ensure-object-pointer object)
1110                             signal
1111                             (create-signal-handler-closure object handler)
1112                             after))
1113 @end lisp
1114
1115 (TODO: GObject defines finer closure API: g_closure_ref, g_closure_unref, g_closure_invoke. It should be bound.)
1116
1117 @node GObject low-level
1118 @chapter GObject low-level
1119 @menu
1120 * g-object-call-constructor::
1121 * g-type-from-object::
1122 * g-object-call-get-property::
1123 * g-object-call-set-property::
1124 @end menu
1125
1126 GObject low-level support includes facilities for working with objects as foreign pointers and using explicit function to get and set properties. This low-level support does not deal with integration of GObject with CLOS; GObject high-level support does that.
1127
1128 Function @code{g-type-from-object} identifies the type of the object. Function @code{g-object-call-get-property} retrieves the value of the property and function @code{g-object-call-set-property} sets the value of the property. Function @code{g-object-call-constructor} calls the constructor of the GObject type.
1129
1130 @node g-object-call-constructor
1131 @section g-object-call-constructor
1132
1133 @Function g-object-call-constructor
1134 @lisp
1135 (g-object-call-constructor object-type args-names args-values &optional args-types) @result{} object-ptr
1136 @end lisp
1137
1138 @table @var
1139 @item @var{object-type}
1140 A GType designator that specifies the object type that is to be created
1141 @item @var{args-names}
1142 A list of strings naming the arguments to constructor
1143 @item @var{args-value}
1144 A list of arguments values (in the same order as args-names)
1145 @item @var{args-types}
1146 Optional list of arguments types (in the same order as args-names). If not specified, it is detected automatically
1147 @item @var{object-ptr}
1148 A foreign pointer to newly created instance
1149 @end table
1150
1151 Creates the object of type @code{object-type} by calling its constructors with arguments specified by @code{args-names}, @code{args-values}, @code{args-types}.
1152
1153 Example:
1154 @lisp
1155 (g-object-call-constructor "GtkButton" '("label" "use-underline") '("Hello" t) '("gchararray" "gboolean"))
1156 @result{}
1157 #.(SB-SYS:INT-SAP #X006D8900)
1158
1159 (g-object-call-get-property * "label")
1160 @result{}
1161 "Hello"
1162
1163 (g-object-call-get-property ** "use-underline")
1164 @result{}
1165 T
1166 @end lisp
1167
1168 @node g-type-from-object
1169 @section g-type-from-object
1170
1171 @Function g-type-from-object
1172 @lisp
1173 (g-type-from-object object-ptr) @result{} type
1174 @end lisp
1175
1176 @table @var
1177 @item @var{object-ptr}
1178 A foreign pointer to a GObject instance
1179 @item @var{type}
1180 A GType designator
1181 @end table
1182
1183 Returns the type of an object by a pointer to its instance
1184
1185 Example:
1186 @lisp
1187 (g-type-from-object (g-object-call-constructor "GtkButton" nil nil))
1188 @result{}
1189 "GtkButton"
1190 @end lisp
1191
1192 @node g-object-call-get-property
1193 @section g-object-call-get-property
1194
1195 @Function g-object-call-get-property
1196 @lisp
1197 (g-object-call-get-property object-ptr property-name &optional property-type) @result{} property-value
1198 @end lisp
1199
1200 @table @var
1201 @item @var{object-ptr}
1202 A foreign pointer to a GObject instance
1203 @item @var{property-name}
1204 A string naming the property
1205 @item @var{property-type}
1206 Optional GType designator specifying the type of a property
1207 @item @var{property-value}
1208 The value of a property
1209 @end table
1210
1211 Retrieves the value of a property @code{property-name} of object pointed to by @code{object-ptr}. @code{property-type} specifies the type of a property; it may be omitted.
1212
1213 Example:
1214 @lisp
1215 (g-object-call-constructor "GtkButton" '("label" "use-underline") '("Hello" t) '("gchararray" "gboolean"))
1216 @result{}
1217 #.(SB-SYS:INT-SAP #X006D8900)
1218
1219 (g-object-call-get-property * "label")
1220 @result{}
1221 "Hello"
1222
1223 (g-object-call-get-property ** "use-underline")
1224 @result{}
1225 T
1226 @end lisp
1227
1228 @node g-object-call-set-property
1229 @section g-object-call-set-property
1230
1231 @Function g-object-call-set-property
1232 @lisp
1233 (g-object-call-set-property object-ptr property-name new-value &optional property-type)
1234 @end lisp
1235
1236 @table @var
1237 @item @var{object-ptr}
1238 A foreign pointer to a GObject instance
1239 @item @var{property-name}
1240 A string naming the property
1241 @item @var{new-value}
1242 A new value of a property
1243 @item @var{property-type}
1244 Optional GType designator specifying the type of a property
1245 @end table
1246
1247 Sets the property value of property @code{property-name} of object @code{object-ptr} to @code{new-value}.
1248
1249 Example:
1250 @lisp
1251 (g-object-call-constructor "GtkButton" nil nil)
1252 @result{}
1253 #.(SB-SYS:INT-SAP #X006D8B40)
1254
1255 (g-object-call-set-property * "label" "Hello")
1256 @result{}
1257 ; No value
1258
1259 (g-object-call-get-property ** "label")
1260 @result{}
1261 "Hello"
1262 @end lisp
1263
1264 @node GObject high-level
1265 @chapter GObject high-level
1266 @menu
1267 * g-object::
1268 * g-initially-unowned::
1269 * GObject metaclass::
1270 * Using objects::
1271 * Signals::
1272 * GObject foreign class::
1273 @end menu
1274
1275 GObject high-level support includes integration of GObject and CLOS systems. This enables to use GObjects classes as CLOS classes (with support from @code{gobject-class} metaclass):
1276 @itemize
1277 @item objects are created with @code{make-instance}
1278 @item properties are used as regular slots
1279 @end itemize
1280
1281 GObjects are reference counted, and CL-GTK2-GOBJECT manages its own reference to GObjects. This enables to have transparent garbage collection of unreferenced GObjects.
1282
1283 To be able to use particular GObject class with CLOS, it should be defined and registered. This is accomplished by @code{defclass}'ing it with @code{gobject-class} metaclass. After GObject class is defined, it may be used as CLOS class.
1284
1285 Example GObject class of definition:
1286 @lisp
1287 (defclass dialog (gtk-window atk-implementor-iface buildable)
1288   ((has-separator :accessor dialog-has-separator
1289                   :initarg :has-separator
1290                   :allocation :gobject-property
1291                   :g-property-type "gboolean"
1292                   :g-property-name "has-separator"))
1293   (:metaclass gobject-class)
1294   (:g-type-name . "GtkDialog")
1295   (:g-type-initializer . "gtk_dialog_get_type"))
1296 @end lisp
1297
1298 This example defines the CLOS class @code{dialog} that corresponds to GObject class @code{GtkDialog}. Whenever object of GObject type @code{GtkDialog} are to be received from foreign functions or passed to foreign functions, it will be mapped to CLOS class @code{dialog}. Properties that have @code{:allocation} of @code{:gobject-property} are mapped to GObject properties, and reading or writing this slot reads or writes corresponding GObject class property.
1299
1300 GObject does not expose objects methods. Because of this, methods are not automatically mapped to CLOS generic functions and methods. Methods should be manually wrapped with CFFI as foreign functions. Foreign type @code{g-object} aids in it. This type automatically wraps (and unwraps) the GObject class instances and handles the reference counting.
1301
1302 GObject high-level support enables connect signals to signal handlers. Any function may be connected as a signal handler, and GObject will release the reference on signal handler whenever it become unneded (e.g., when object is destroyed or handler is disconnected).
1303
1304 @node g-object
1305 @section g-object
1306
1307 @Class g-object
1308
1309 A base class for all GObject classes.
1310
1311 @Accessor pointer g-object
1312
1313 An accessor that accesses the foreign pointer to object.
1314
1315 @Function release
1316 @lisp
1317 (release object)
1318 @end lisp
1319
1320 Releases the @var{object} by dropping the reference from it in advance before GC reclaims it. Use this function as an optimization measure when you know that some object will not be needed. All access to the object's properties will be invalid after this function is called.
1321
1322 @Macro using
1323 @lisp
1324 (using (object expr) &body body)
1325 @end lisp
1326
1327 Evaluates and returns the result of evaluation of the @var{body} with @var{object} being bound to the result of evaluating @var{expr}. Ensures that @code{release} is called on @var{object} after the @var{body} is evaluated.
1328
1329 @Macro using
1330 @lisp
1331 (using ((var1 expr1) (var2 expr2) ... (varn exprn)) &body body)
1332 @end lisp
1333
1334 Evaluates and returns the result of evaluation of the @var{body} with @var{var}s being bound to the results of evaluating @var{expr}s. Ensures that @code{release} is called on every @var{var} after the @var{body} is evaluated.
1335
1336 @node g-initially-unowned
1337 @section g-initially-unowned
1338
1339 @Class g-initially-unowned
1340
1341 Superclass: @ref{g-object}
1342
1343 A base class for all GObject classes whose initial reference is floating.
1344
1345 @node GObject metaclass
1346 @section GObject metaclass
1347
1348 See MOP for information what metaclass is and why is it useful.
1349
1350 GObject metaclass @code{gobject-class} bridges two object systems: GObject and CLOS.
1351
1352 Classes that correspond to GObject classes are instances of this class. Each CLOS class of @code{gobject-class} metaclass is mapped to one GObject class. Two or more CLOS classes may map into one GObject class. GObject and CLOS inheritance must be consistent: if class @code{X} is a subclass or the same class as @code{Y} in CLOS, then this relation must hold for @code{X'} and @code{Y'}, where @code{X'} is a GObject class to which @code{X} class maps to.
1353
1354 For each instance of GObject-related CLOS class there is a corresponding instance of GObject class (of a GObject class to which the CLOS class maps). Whenever the GObject class instance reference enters the Lisp memory (by creating instance with @code{make-instance}, as the return value of foreign function or as a slot value of GObject class instance), an instance of CLOS class is created.
1355
1356 Defining the class with metaclass @code{gobject-class} registers the type @code{:g-type-name} for conversions using GValue and CFFI foreign type @code{g-object}.
1357
1358 This class has the following slots:
1359 @itemize
1360 @item @var{g-type-name} (accessor @code{gobject-class-g-type-name}, initarg @code{:g-type-name})
1361
1362 Specifies the name of corresponding GObject class. String or NIL is allowed. If the name is NIL, then the same GObject class as its parent. Only one class may have specified a given @code{:g-type-name}.
1363 @item @var{g-type-initializer} (accessor @code{gobject-class-g-type-initializer}, initarg @code{:g-type-initializer})
1364
1365 Name of foreign type initializer function. This function initializes the class and returns its GType. Typically it is named @code{class_get_type}. String or NIL is allowed.
1366 @item @var{interface-p} (accessor @code{gobject-class-interface-p}, initarg @code{:interface-p})
1367
1368 A boolean specifying whether this CLOS class corresponds to GInterface. It is NIL by default.
1369 @end itemize
1370
1371 This metaclass defines the GObject classes.
1372
1373 Slots which have @code{:allocation} of @code{:gobject-property} are mapped to GObject properties. Such slots have following attributes:
1374 @itemize
1375 @item @var{:g-property-type}
1376
1377 A string naming GType of property
1378 @item @var{:g-property-name}
1379
1380 A name of a property
1381 @end itemize
1382
1383 Slots which have @code{:allocation} of @code{:gobject-fn} are mapped to a pair of accessor functions (usually named @code{class_get_property} and @code{class_set_property}). This is included because some properties are not exposed as GObject properties. Such slots have following attributes:
1384 @itemize
1385 @item @var{:g-property-type}
1386 A CFFI foreign type of property
1387 @item @var{:g-getter}
1388 A string naming foreign getter function of a property or a symbol designating Lisp getter function. Foreign getter function should have signature @code{type class_get_property(object *)}. Lisp function should be of type @code{(function (class) type)}.
1389 @item @var{:g-setter}
1390 A string naming foreign setter function of a property or a symbol designating Lisp setter function. Foreign setter function should have signature @code{void class_set_property(object *, type)}. Lisp function should be of type @code{(function (class type))}.
1391 @end itemize
1392
1393 Initargs of a slot are used to construct the GObject class.
1394
1395 Example:
1396 @lisp
1397 (defclass container (widget atk-implementor-iface buildable)
1398     ((border-width :allocation :gobject-property
1399                    :g-property-type "guint"
1400                    :accessor container-border-width
1401                    :initarg :border-width
1402                    :g-property-name "border-width")
1403      (resize-mode :allocation :gobject-property
1404                   :g-property-type "GtkResizeMode"
1405                   :accessor container-resize-mode
1406                   :initarg :resize-mode
1407                   :g-property-name "resize-mode")
1408      (child :allocation :gobject-property
1409             :g-property-type "GtkWidget"
1410             :accessor container-child
1411             :initarg :child
1412             :g-property-name "child")
1413      (focus-child :allocation :gobject-fn
1414                   :g-property-type g-object
1415                   :accessor container-focus-child
1416                   :initarg :focus-child
1417                   :g-getter "gtk_container_get_focus_child"
1418                   :g-setter "gtk_container_set_focus_child")
1419      (focus-vadjustment :allocation :gobject-fn
1420                         :g-property-type (g-object adjustment)
1421                         :accessor container-focus-vadjustment
1422                         :initarg :focus-vadjustment
1423                         :g-getter "gtk_container_get_focus_vadjustment"
1424                         :g-setter "gtk_container_set_focus_vadjustment")
1425      (focus-hadjustment :allocation :gobject-fn
1426                         :g-property-type (g-object adjustment)
1427                         :accessor container-focus-hadjustment
1428                         :initarg :focus-hadjustment
1429                         :g-getter "gtk_container_get_focus_hadjustment"
1430                         :g-setter "gtk_container_set_focus_hadjustment"))
1431     (:metaclass gobject-class)
1432     (:g-type-name . "GtkContainer")
1433     (:g-type-initializer . "gtk_container_get_type"))
1434 @end lisp
1435 (note the dot in @code{(:g-type-name . "GtkContainer")} and in @code{(:g-type-initializer . "gtk_container_get_type")}. It should be present)
1436
1437 @node Using objects
1438 @section Using objects
1439 Instances are created with @code{make-instance}. If initargs of GObject properties are supplied, they are passed to constructor. Some slots (properties) may only be set at construction time (e.g., @code{type} property of @code{GtkWindow}). Properties may be accessed (read or assigned) with defined @code{:accessor}, @code{:reader} or @code{:writer} functions.
1440
1441 Example:
1442 @lisp
1443 (make-instance 'gtk:dialog :has-separator t)
1444 @result{}
1445 #<GTK:DIALOG @{10036C5A71@}>
1446
1447 (defvar *d* (make-instance 'gtk:dialog :has-separator t))
1448 @result{}
1449 *D*
1450
1451 (gtk:dialog-has-separator *d*)
1452 @result{}
1453 T
1454
1455 (setf (gtk:dialog-has-separator *d*) nil)
1456 @result{}
1457 NIL
1458
1459 (gtk:dialog-has-separator *d*)
1460 @result{}
1461 NIL
1462 @end lisp
1463
1464 @node Signals
1465 @section Signals
1466
1467 To connect handler to a signal, @code{connect-signal} function is used. Function @code{disconnect-signal} removes the connected signal.
1468
1469 @Function connect-signal
1470 @lisp
1471 (connect-signal object signal handler &key after) @result{} handler-id
1472 @end lisp
1473
1474 @table @var
1475 @item @var{object}
1476 An instance of GObject object
1477 @item @var{signal}
1478 A signal name
1479 @item @var{handler}
1480 A function
1481 @item @var{after}
1482 A boolean specifying whether the handler should be called after the default handler
1483 @item @var{handler-id}
1484 An integer - identifier of signal handler; can be used to disconnect the signal handler with @code{disconnect-signal}
1485 @end table
1486
1487 Connects the @code{handler} to signal @code{signal} on object @code{object}. Signature of @code{handler} should comply with signature of a signal. @code{handler} will be called with arguments of type specified by signal with the object (on which the signal was emitted) prepended to them and it should return the value of the signal's return type.
1488
1489 @Function disconnect-signal
1490 @lisp
1491 (disconnect-signal object handler-id)
1492 @end lisp
1493
1494 Disconnects the signal handler identified by @var{handler-id} from the corresponding signal for @var{object}. @var{handler-id} is the integer identifying the signal handler; @code{connect-signal} returns handler identifiers.
1495
1496 Example:
1497 @lisp
1498 (defvar *d* (make-instance 'gtk:dialog))
1499 @result{}
1500 *D*
1501
1502 *d*
1503 @result{}
1504 #<GTK:DIALOG @{1002D866F1@}>
1505
1506 (parse-signal-name "GtkDialog" "response")
1507 @result{}
1508 #<Signal [#86] void GtkDialog.response(gint) [RUN-LAST]>
1509
1510 (connect-signal *d* "response" (lambda (dialog response-value) (print dialog) (print response-value)))
1511
1512 (emit-signal *d* "response" 14)
1513 @result{}
1514 ;; Prints:
1515 #<GTK:DIALOG @{1002D866F1@}>
1516 14
1517 @end lisp
1518
1519 Function @code{emit-signal} is used to emit signals on objects.
1520
1521 @Function emit-signal
1522 @code{(emit-signal object signal-name &rest args) @result{} return-value}
1523
1524 @table @var
1525 @item @var{object}
1526 An object on which the signal should be emitted
1527 @item @var{signal-name}
1528 A string naming the signal
1529 @item @var{args}
1530 Arguments for a signal
1531 @item @var{return-value}
1532 Return value of a signal
1533 @end table
1534
1535 Emits the signal and calls all handlers of the signal. If signal returns a value, it is returned from @code{emit-signal}.
1536
1537 Example:
1538 @lisp
1539 (defvar *d* (make-instance 'gtk:dialog))
1540 @result{}
1541 *D*
1542
1543 *d*
1544 @result{}
1545 #<GTK:DIALOG @{1002D866F1@}>
1546
1547 (parse-signal-name "GtkDialog" "response")
1548 @result{}
1549 #<Signal [#86] void GtkDialog.response(gint) [RUN-LAST]>
1550
1551 (connect-signal *d* "response" (lambda (dialog response-value) (print dialog) (print response-value)))
1552
1553 (emit-signal *d* "response" 14)
1554 @result{}
1555 ;; Prints:
1556 #<GTK:DIALOG @{1002D866F1@}>
1557 14
1558 @end lisp
1559
1560 @node GObject foreign class
1561 @section GObject foreign class
1562
1563 To enable passing GObject instance between Lisp code and foreign code, @code{g-object} foreign type is introduced.
1564
1565 This type has the following syntax:
1566 @code{(g-object [type] [:already-referenced])} or @code{g-object}. (Brackets indicate optional arguments)
1567
1568 When the @code{g-object} foreign type is specified as a return type of a function, the value is converted to instance of corresponding CLOS class. If @code{type} is specified then it is checked that object is of this type. If @code{:already-referenced} is included then it is assumed that the function returns already referenced object (so that it is not needed to call @code{g-object-ref} on returned object).
1569
1570 When the @code{g-object} foreign type is specified as a type of function's argument, the value is converted to pointer to GObject. If @code{type} is specified then it is checked that the object is of this type.
1571
1572 This defines the function that may be called with instances of types @code{container} and @code{widget}:
1573 @lisp
1574 (defcfun (container-add "gtk_container_add") :void
1575   (container (g-object container))
1576   (widget (g-object widget)))
1577
1578 (let ((window (make-instance 'gtk-window))
1579       (widget (make-instance 'button)))
1580   (container-add window widget))
1581 @end lisp
1582 (@code{gtk-window} is a subclass of @code{container}; @code{button} is a subclass of @code{widget})
1583
1584 This defines the function that returns an instance of GObject class:
1585 @lisp
1586 (defcfun (bin-child "gtk_bin_get_child") (g-object widget)
1587   (bin (g-object bin)))
1588
1589 (let ((window (make-instance 'gtk-window))
1590       (widget (make-instance 'button)))
1591   (container-add window widget)
1592   (bin-child window))
1593 @result{}
1594 #<GTK:BUTTON @{1002DE74B1@}>
1595 @end lisp
1596
1597 This example shows the use of @code{:already-referenced} option:
1598 @lisp
1599 (defcfun (widget-create-pango-layout "gtk_widget_create_pango_layout") (g-object gdk::pango-layout :already-referenced)
1600   (widget (g-object widget))
1601   (text :string))
1602
1603 (defcfun gdk-gc-new (g-object graphics-context :already-referenced)
1604   (drawable (g-object drawable)))
1605 @end lisp
1606
1607 @node Creating GObjects classes and implementing GInterfaces
1608 @chapter Creating GObjects classes and implementing GInterfaces
1609
1610 @menu
1611 * define-vtable::
1612 * register-object-type-implementation::
1613 @end menu
1614
1615 Creating GObject classes from Lisp is the most complex part of GObject binding.
1616
1617 GObject binding at the moment provides only limited scenarios of creating GObject classes. It lets register GObject class (as a subclass of another class or of GObject), specify its properties and implemented interfaces. Each property is associated with Lisp getter and setter functions. Each interface is associated wth vtable (table of virtual function pointers, see @uref{http://en.wikipedia.org/wiki/Vtable}) that specifies a list of methods and their signatures. If class is ever created from GObject side (not from Lisp side, must be constructable with no parameters).
1618
1619 Each virtual function is mapped to a generic function for which class should provide a specialized method. This function should not be called by user. Rather, user code should call corresponding foreign function.
1620
1621 Practically speaking, creating GObject class requires defining CLOS class that correspond to GObject class and calling @code{register-object-type-implementation} with information about the class (its GType name, superclass, interfaces and properties).
1622
1623 Interface that is implemented by a class should have its vtable defined by @code{define-vtable}. Vtable definitions consists of a list of functions's names and signatures and their locations in vtable.
1624
1625 Unfortunately, GObject does not provide information about vtables, and does not support using GClosures to implement virtual functions. Therefore, implementation for all interface's functions are defined as CFFI foreign callbacks. These callbacks in turn call corresponding generic functions that should be specialized on required objects.
1626
1627 @node define-vtable
1628 @section define-vtable
1629
1630 @Macro define-vtable
1631 @lisp
1632 (define-vtable (type-name cstruct-name)
1633   &body item*)
1634
1635 item ::= (name callback-name return-type &rest arg*)
1636 item ::= (:skip cffi-structure-item)
1637 arg ::= (arg-name arg-type)
1638 @end lisp
1639
1640 @table @var
1641 @item @var{type-name}
1642 A string naming the GObject type of interface
1643 @item @var{cstruct-name}
1644 A name for a generated CFFI foreign structure
1645 @item @var{name}
1646 A name for implementation generic function
1647 @item @var{callback-name}
1648 A name for generated callback function
1649 @item @var{return-type}
1650 A CFFI specifier for foreign function return type
1651 @item @var{arg-name}
1652 A symbol naming the argument of interface method
1653 @item @var{arg-type}
1654 A CFFI specifier for foreign function argument type
1655 @end table
1656
1657 Macro that specifies the vtable for an interface. This macro defines generic functions (named by @code{name}) that correspond to methods of an interface. On these generic functions methods should be defined that implement the interface method. @code{item}s specify the CFFI foreign structure for vtable. Vtable contains not only function pointers, but other slots. Such slots should be specified here with @code{:skip} prepended to them. This is needed to be able to correctly calculate offsets to function pointers in vtable.
1658
1659 Example:
1660 @lisp
1661 (define-vtable ("GtkTreeModel" c-gtk-tree-model)
1662   (:skip parent-instance g-type-interface)
1663   ;;some signals
1664   (:skip tree-model-row-changed :pointer)
1665   (:skip tree-model-row-inserted :pointer)
1666   (:skip tree-model-row-has-child-toggled :pointer)
1667   (:skip tree-model-row-deleted :pointer)
1668   (:skip tree-model-rows-reordered :pointer)
1669   ;;methods
1670   (tree-model-get-flags-impl tree-model-get-flags-cb
1671     tree-model-flags
1672     (tree-model g-object))
1673   (tree-model-get-n-columns-impl tree-model-get-n-columns-cb
1674     :int
1675     (tree-model g-object))
1676   (tree-model-get-column-type-impl tree-model-get-column-type-cb
1677     g-type-designator
1678     (tree-model g-object) (index :int))
1679   (tree-model-get-iter-impl tree-model-get-iter-cb
1680     :boolean
1681     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (path (g-boxed-foreign tree-path)))
1682   (tree-model-get-path-impl tree-model-get-path-cb
1683     (g-boxed-foreign tree-path :return)
1684     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1685   (tree-model-get-value-impl tree-model-get-value-cb
1686     :void
1687     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (n :int) (value (:pointer g-value)))
1688   (tree-model-iter-next-impl tree-model-iter-next-cb
1689     :boolean
1690     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1691   (tree-model-iter-children-impl tree-model-iter-children-cb
1692     :boolean
1693     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (parent (g-boxed-foreign tree-iter)))
1694   (tree-model-iter-has-child-impl tree-model-iter-has-child-cb
1695     :boolean
1696     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1697   (tree-model-iter-n-children-impl tree-model-iter-n-children-cb
1698     :int
1699     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1700   (tree-model-iter-nth-child-impl tree-model-iter-nth-child-cb
1701     :boolean
1702     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (parent (g-boxed-foreign tree-iter)) (n :int))
1703   (tree-model-iter-parent-impl tree-model-iter-parent-cb
1704     :boolean
1705     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (child (g-boxed-foreign tree-iter)))
1706   (tree-model-ref-node-impl tree-model-ref-node-cb
1707     :void
1708     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1709   (tree-model-unref-node-impl tree-model-unref-node-cb
1710     :void
1711     (tree-model g-object) (iter (g-boxed-foreign tree-iter))))
1712 @end lisp
1713
1714 @node register-object-type-implementation
1715 @section register-object-type-implementation
1716
1717 @Macro register-object-type-implementation
1718 @lisp
1719 (register-object-type-implementation name class parent interfaces properties)
1720 @end lisp
1721
1722 @table @var
1723 @item @var{name}
1724 A string naming the new GObject class.
1725 @item @var{class}
1726 A class name of corresponding CLOS class. It should be inherited from @code{g-object} or its descendants.
1727 @item @var{parent}
1728 A string naming the GObject superclass
1729 @item @var{interfaces}
1730 A list of names of interfaces that this class implements.
1731 @item @var{properties}
1732 A list of properties that this class provides.
1733 Each property is defined as
1734 @lisp
1735 property ::= (property-name property-type accessor property-get-fn property-set-fn)
1736 @end lisp
1737 @end table
1738
1739 A macro that creates a new GObject type and registers the Lisp implementation for it.
1740
1741 Example:
1742 @lisp
1743 (register-object-type-implementation "LispArrayListStore" array-list-store "GObject" ("GtkTreeModel") nil)
1744 @end lisp
1745
1746 @node GBoxed
1747 @chapter GBoxed
1748 @menu
1749 * define-g-boxed-cstruct::
1750 * define-g-boxed-variant-cstruct::
1751 * define-g-boxed-opaque::
1752 * g-boxed-opaque::
1753 * define-boxed-opaque-accessor::
1754 * boxed-related-symbols::
1755 * GBoxed foreign type::
1756 @end menu
1757
1758 GObject manual defines this type in the following way:
1759
1760 ``GBoxed is a generic wrapper mechanism for arbitrary C structures. The only thing the type system needs to know about the structures is how to copy and free them, beyond that they are treated as opaque chunks of memory.
1761
1762 Boxed types are useful for simple value-holder structures like rectangles or points. They can also be used for wrapping structures defined in non-GObject based libraries.''
1763
1764 Naturally, it is hard to provide support for ``arbitrary C structures''. We support a few useful use cases of GBoxed types:
1765 @itemize
1766 @item Simple C structures. A Lisp structure is a one-to-one correspondence to C structure and is passes to and from foreign code by copying the data it contains. Examples of simple structures are GdkPoint, GdkRectangle.
1767 @item ``Variant'' C structures. A one common idiom of C is to define a union of structures sharing the same parts in order to implement the polymorphism of structures. These structures are mapped to a hierarchy of Lisp structures (where one structure subclasses another via the @code{:include} @code{defstruct} option).
1768
1769 For example, Gdk has structure GdkEvent which is a union of GdkEventAny, GdkEventExpose and other structures. These structures have common slots: ``type'', ``window'', ``send_event''. By dispatching on ``type'', user or GdkEvent structure knows which of GdkEvent* structures it has and can access other fields.
1770 @item Opaque C structures. A C structure the has ``hidden'' fields and should only created/destroyed with specific functions and be accessed only with specific accessors. Example of such structures is GtkTreePath.
1771 @end itemize
1772
1773 @node define-g-boxed-cstruct
1774 @section define-g-boxed-cstruct
1775 @Macro define-g-boxed-cstruct
1776 @lisp
1777 (define-g-boxed-cstruct name g-type-name
1778   &body slot*)
1779
1780 slot ::= (slot-name slot-type &key count initform inline)
1781 @end lisp
1782
1783 @table @var
1784 @item @var{name}
1785 A symbol naming the type being defined
1786 @item @var{g-type-name}
1787 A string specifying the GType name of this GBoxed. This may be nil if this type is not registered with GObject type system.
1788 @item @var{slot-name}
1789 A symbol naming the slot of a structure
1790 @item @var{slot-type}
1791 A foreign type of a slot
1792 @item @var{count}
1793 An integer. Corresponds to @code{:count} option of slot in CFFI @code{defcstruct}. If @code{count} is not NIL, then the slot is mapped to Lisp array.
1794 @item @var{initform}
1795 A form that is the initform of Lisp structure slot
1796 @item @var{inline}
1797 A boolean. If it is true, then the slot contains GBoxed structure whose name is @code{slot-type}.
1798 @end table
1799
1800 Defines the ``simple'' GBoxed structure corresponding to C structure. The slot specification is analogous to CFFI @code{defstruct} slot specification with the addition of @code{inline} option.
1801
1802 Example of usage:
1803 @lisp
1804 (define-g-boxed-cstruct rectangle "GdkRectangle"
1805   (left :int :initform 0)
1806   (top :int :initform 0)
1807   (width :int :initform 0)
1808   (height :int :initform 0))
1809
1810 (define-g-boxed-cstruct point nil
1811   (x :int :initform 0)
1812   (y :int :initform 0))
1813
1814 (define-g-boxed-cstruct vector4 nil
1815   (coords :double :count 4 :initform (vector 0d0 0d0 0d0 0d0)))
1816
1817 (define-g-boxed-cstruct segment nil
1818   (a point :inline t :initform (make-point))
1819   (b point :inline t :initform (make-point)))
1820 @end lisp
1821
1822 @node define-g-boxed-variant-cstruct
1823 @section define-g-boxed-variant-cstruct
1824
1825 @Macro define-g-boxed-variant-cstruct
1826 @lisp
1827 (define-g-boxed-variant-cstruct name g-type-name
1828   &body slot-or-variant-specification*)
1829
1830 slot ::= (slot-name slot-type &key count initform inline)
1831 variant-specification ::= (:variant dispatching-slot-name structure-variant*)
1832 structure-variant ::= (dispatching-slot-values structure-name &body slot-or-variant-specification*)
1833 @end lisp
1834
1835 @table @var
1836 @item @var{name}
1837 A symbol naming the type being defined
1838 @item @var{g-type-name}
1839 A string specifying the GType name of this GBoxed. This may be nil if this type is not registered with GObject type system.
1840 @item @var{slot-name}
1841 A symbol naming the slot of a structure
1842 @item @var{slot-type}
1843 A foreign type of a slot
1844 @item @var{count}
1845 An integer. Corresponds to @code{:count} option of slot in CFFI @code{defcstruct}. If @code{count} is not NIL, then the slot is mapped to Lisp array.
1846 @item @var{initform}
1847 A form that is the initform of Lisp structure slot
1848 @item @var{inline}
1849 A boolean. If it is true, then the slot contains GBoxed structure whose name is @code{slot-type}.
1850 @item @var{dispatching-slot-name}
1851 A name of the dispatching slot
1852 @item @var{dispatching-slot-values}
1853 A single value or a list of values.
1854 @item @var{structure-name}
1855 A symbol naming the structure
1856 @end table
1857
1858 Defines the variant GBoxed structure. Slots of variant structures are defined the same way as the slots of ``simple'' cstructs. After the last slot, @code{variant-specification} may be used to specify the variants of the structure. For this, dispatching slot is specified. The value of this slot specifies which variant of structure is used. Each variant is specified by values of the dispatching slot, by its slots and its variants.
1859
1860 Variant structure is represented in Lisp via a hierarchy on structures. For example, @code{GdkEvent} structure has variants @code{GdkEventAny}, @code{GdkEventButton}, @code{GdkEventMotion}. In Lisp, @code{event} structure is defined with all common fields of these structures and @code{event-button}, @code{event-motion} structures inherit from @code{event} structure.
1861
1862 It is assumed that the variant of structures can be represented as C structures with fields of their ``parent'' structures prepended to them. This assumption breaks when structures include their ``parent'' structure as a first field (this changes the memory alignment and changes offsets of fields).
1863
1864 For example, for these structures this assumption holds:
1865 @example
1866 union GdkEvent
1867 @{
1868   GdkEventType   type;
1869   GdkEventKey    key;
1870   GdkEventButton button;
1871 @};
1872
1873 struct GdkEventKey @{
1874   GdkEventType type; //
1875   GdkWindow *window; // These fields are common
1876   gint8 send_event;  //
1877   guint32 time;
1878   guint state;
1879   guint keyval;
1880   ...
1881 @};
1882
1883 struct GdkEventButton @{
1884   GdkEventType type; //
1885   GdkWindow *window; // These fields are common
1886   gint8 send_event;  //
1887   guint32 time;
1888   gdouble x;
1889   gdouble y;
1890   ...
1891 @};
1892 @end example
1893
1894 Example:
1895 @lisp
1896 (define-g-boxed-variant-cstruct event "GdkEvent"
1897   (type event-type)
1898   (window (g-object gdk-window))
1899   (send-event (:boolean :int8))
1900   (:variant type
1901             ((:key-press :key-release) event-key
1902              (time :uint32)
1903              (state modifier-type)
1904              (keyval :uint)
1905              (length :int)
1906              (string (:string :free-from-foreign nil
1907                               :free-to-foreign nil))
1908              (hardware-keycode :uint16)
1909              (group :uint8)
1910              (is-modifier :uint))
1911             ((:button-press :2button-press :3button-press
1912               :button-release) event-button
1913              (time :uint32)
1914              (x :double)
1915              (y :double)
1916              (axes (fixed-array :double 2))
1917              (state :uint)
1918              (button :uint)
1919              (device (g-object device))
1920              (x-root :double)
1921              (y-root :double))
1922              ...))
1923 @end lisp
1924
1925 This code defines following structures:
1926 @lisp
1927 (defstruct event
1928   type window send-event)
1929
1930 (defstruct (event-key (:include event))
1931   time state keyval length string
1932   hardware-keycode group is-modifier)
1933
1934 (defstruct (event-button (:include event))
1935   time x y axes state button device x-root y-root)
1936 @end lisp
1937
1938 @node define-g-boxed-opaque
1939 @section define-g-boxed-opaque
1940
1941 @Macro define-g-boxed-opaque
1942 @lisp
1943 (define-g-boxed-opaque name g-type-name &key alloc)
1944 @end lisp
1945
1946 @table @var
1947 @item @var{name}
1948 A name of boxed type
1949 @item @var{g-type-name}
1950 A string; the name of GType
1951 @item @var{alloc}
1952 A form that when evaluated produces a pointer to newly allocated structure. This pointer should be copiable with @code{g_boxed_copy} and freeable with @code{g_boxed_free} function.
1953 @end table
1954
1955 Defines a opaque boxed structure. A class named @var{name} is defined as a subclass of @code{g-boxed-opaque} class. Instances of this class contain pointers to corresponding structures. An @code{:after} method for @code{initialize-instance} generic function is defined that speciales on class @var{name}. This method either accepts a @code{:pointer} initarg or evaluates @var{alloc} form if @code{:pointer} is not specified; the resulting pointer is saved in instance; finalizer is registered to free the pointer when the garbage collectors deletes this object.
1956
1957 Example:
1958 @lisp
1959 (defcfun gtk-tree-path-new :pointer)
1960
1961 (define-g-boxed-opaque tree-path "GtkTreePath"
1962   :alloc (gtk-tree-path-new))
1963 @end lisp
1964 @node g-boxed-opaque
1965 @section g-boxed-opaque
1966 @Class g-boxed-opaque
1967 @lisp
1968 (defclass g-boxed-opaque ()
1969   ((pointer :initarg :pointer
1970             :initform nil
1971             :accessor g-boxed-opaque-pointer)))
1972 @end lisp
1973
1974 A class that is the base class for wrappers of opaque structures. Contains a pointer to the wrapped opaque structure.
1975
1976 Accessor function @code{g-boxed-opaque-pointer} is used to access the pointer. Pointer should not be modified directly, only read.
1977 @node define-boxed-opaque-accessor
1978 @section define-boxed-opaque-accessor
1979 @Macro define-boxed-opaque-accessor
1980 @lisp
1981 (define-boxed-opaque-accessor
1982   boxed-name accessor-name &key type reader writer)
1983 @end lisp
1984
1985 @table @var
1986 @item @var{boxed-name}
1987 A symbol naming the opaque structure type for which the accessor is being defined
1988 @item @var{accessor-name}
1989 A symbol naming the accessor
1990 @item @var{type}
1991 A CFFI foreign type of the property for which the accessor is being defined
1992 @item @var{reader}
1993 A @code{NIL} or a string or a function designator for the reader function
1994 @item @var{writer}
1995 A @code{NIL} or a string or a function designator for the writer function
1996 @end table
1997
1998 Defines the accessor named @var{accessor-name} for property of opaque structure named @var{boxed-name} of type specified by CFFI foreign-type @var{type}.
1999
2000 @var{reader} is a string naming a foreign function of one argument of CFFI foreign-type @code{(g-boxed-foreign @var{boxed-name})} that returns a value of CFFI foreign-type @var{type}; or a function designator for a function that accepts a single argument - an instance of @code{g-boxed-opaque} class and returns the value of a property; or a @code{NIL} if the property is not readable.
2001
2002 @var{writer} is a string naming a foreign function of two arguments: of types @var{type} and @code{(g-boxed-foreign @var{boxed-name})} (with the first argument being the new value and the second being the object); or a function designator for a function of two arguments: a new value and an instance of @code{g-boxed-opaque} class; or a @code{NIL} if the property is not writable.
2003
2004 Example:
2005 @lisp
2006 (define-boxed-opaque-accessor text-iter text-iter-child-anchor
2007   :reader "gtk_text_iter_get_child_anchor" :type (g-object text-child-anchor))
2008
2009 (define-boxed-opaque-accessor text-iter text-iter-tags
2010   :reader "gtk_text_iter_get_tags" :type (gslist (g-object text-tag) :free-from-foreign t))
2011
2012 (define-boxed-opaque-accessor text-iter text-iter-chars-in-line
2013   :reader "gtk_text_iter_get_chars_in_line" :type :int)
2014
2015 (define-boxed-opaque-accessor text-iter text-iter-offset
2016   :reader "gtk_text_iter_get_offset" :writer "gtk_text_iter_set_offset" :type :int)
2017 @end lisp
2018
2019 @node boxed-related-symbols
2020 @section boxed-related-symbols
2021
2022 @Function boxed-related-symbols
2023 @lisp
2024 (boxed-related-symbols name) @result{} symbols
2025 @end lisp
2026
2027 @table @var
2028 @item @var{name}
2029 A symbol naming the boxed type
2030 @item @var{symbols}
2031 A list of symbols
2032 @end table
2033
2034 This function returns the list of symbols that are related to GBoxed type @var{name}. These symbols are returned:
2035 @itemize
2036 @item name of boxed type
2037 @item name of all accessors of cstruct and variant-cstruct boxed types
2038 @item names of all variants of variant-cstruct boxed types
2039 @item names of constructors and copiers of cstruct and variant-cstruct boxed-types
2040 @end itemize
2041
2042 Typical usage of this function is to export the symbols related to given boxed type.
2043
2044 Example:
2045 @lisp
2046 (define-g-boxed-cstruct rectangle "GdkRectangle"
2047   (x :int :initform 0)
2048   (y :int :initform 0)
2049   (width :int :initform 0)
2050   (height :int :initform 0))
2051
2052 (boxed-related-symbols 'rectangle)
2053 @result{}
2054 (RECTANGLE MAKE-RECTANGLE COPY-RECTANGLE RECTANGLE-X RECTANGLE-Y
2055  RECTANGLE-WIDTH RECTANGLE-HEIGHT)
2056 @end lisp
2057
2058 @node GBoxed foreign type
2059 @section GBoxed foreign type
2060
2061 @ForeignType g-boxed-foreign
2062 @lisp
2063 (g-boxed-foreign name &rest option*)
2064
2065 option ::= :return
2066 @end lisp
2067
2068 @table @var
2069 @item @var{name}
2070 Name of GBoxed type
2071 @item @var{option}
2072 Option of foreign type
2073 @item @code{:return}
2074 An option that identifies the foreign type which is used at return position (as foreign function return type or as a callback return type)
2075 @end table
2076
2077 @code{g-boxed-foreign} type deals with marshaling data between Lisp code and foreign code. The marshaling follows the following principles:
2078 @itemize
2079 @item All operations on Lisp objects corresponding to GBoxed types are type-safe and should never lead to any form of memory corruption (if some operation is impossible due to e.g., pointer in opaque pointer wrapper being invalidated, error should be signalled)
2080 @item Lisp objects should not be manually managed and are properly reclaimed by garbage collector, leaving no memory leaks
2081 @item Foreign code can change objects that are passed to them as arguments. This is required for functions that operate by modifying their arguments
2082 @item Lisp code in callbacks can change objects that are passed as arguments. This is required to be able to implement interfaces that have functions that operate by modifying their arguments
2083 @end itemize
2084
2085 The @code{:return} option is required to be able to properly manage memory of opaque pointer wrappers and propagate changes to foreign and lisp structures.
2086
2087 In order to be able to correctly use @code{g-boxed-foreign} foreign type in callbacks, you should use @code{glib-defcallback}. This macro is a thin wrapper around @code{cffi:defcallback} that adds proper handling of @code{g-boxed-foreign} foreign types.
2088
2089 Examples of usage:
2090 @lisp
2091 (define-vtable ("GtkTreeModel" c-gtk-tree-model)
2092   ...
2093   (tree-model-get-path-impl tree-model-get-path-cb
2094     (g-boxed-foreign tree-path :return) (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
2095   (tree-model-get-value-impl tree-model-get-value-cb
2096     :void (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (n :int) (value (:pointer g-value)))
2097   (tree-model-iter-next-impl tree-model-iter-next-cb
2098     :boolean (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
2099   ...)
2100
2101 (defcfun gtk-text-iter-forward-search :boolean
2102   (iter (g-boxed-foreign text-iter))
2103   (str (:string :free-to-foreign t))
2104   (flags text-search-flags)
2105   (match-start (g-boxed-foreign text-iter))
2106   (match-end (g-boxed-foreign text-iter))
2107   (limit (g-boxed-foreign text-iter)))
2108 @end lisp
2109
2110 @node Generating type definitions by introspection
2111 @chapter Generating type definitions by introspection
2112 @menu
2113 * define-g-object-class::
2114 * define-g-interface::
2115 * define-g-enum::
2116 * define-g-flags::
2117 * get-g-enum-definition::
2118 * get-g-flags-definition::
2119 * get-g-interface-definition::
2120 * get-g-class-definition::
2121 * Specifying additional properties for CLOS classes::
2122 * Generating names for CLOS classes and accessors::
2123 * generate-types-hierarchy-to-file::
2124 @end menu
2125
2126 CL-GTK2-GOBJECT includes facilities for automatically generating parts of bindings for libraries that use GObject type system.
2127
2128 @node define-g-object-class
2129 @section define-g-object-class
2130
2131 @Macro define-g-object-class
2132 @lisp
2133 (define-g-object-class g-type-name name
2134   (&key (superclass 'g-object) (export t) interfaces type-initializer)
2135   (&rest property*))
2136
2137 property ::= (name accessor gname type readable writable)
2138 property ::= (:cffi name acessor type reader writer)
2139 @end lisp
2140
2141 Parameters of @code{define-g-object-class}
2142 @table @var
2143 @item @var{superclass}
2144 A symbol naming the superclass of this class
2145 @item @var{export}
2146 Whether to export the name of the class and names of autogenerated properties names from the current package.
2147 @item @var{interfaces}
2148 A list of interfaces the this class implements
2149 @item @var{type-initializer}
2150 A string naming the type initiliazer function. It is usually named @code{class_get_type}.
2151 @item @var{properties}
2152 A list of slots of a class
2153 @end table
2154
2155 Parameters of @code{property}:
2156 @table @var
2157 @item @var{name}
2158 A symbol naming the slot
2159 @item @var{accessor}
2160 A symbol naming the accessor function for this slot
2161 @item @var{gname}
2162 A string naming the property of GObject
2163 @item @var{type}
2164 A string naming the type of property of GObject (for GObject properties); or a symbol naming CFFI foreign type (for slots mapped to foreign accessors)
2165 @item @var{readable}
2166 A boolean specifying whether the slot can be read
2167 @item @var{writable}
2168 A boolean specifying whether the slot can be assigned to
2169 @item @var{reader}
2170 A string or a symbol naming getter function. See description of @code{gobject-class} metaclass for information.
2171 @item @var{writter}
2172 A string or a symbol naming setter function. See description of @code{gobject-class} metaclass for information.
2173 @end table
2174
2175 Macro that expands to @code{defclass} for specified class. Additionally, if @code{export} is true, it exports accessor names and name of a class.
2176
2177 Example:
2178 @lisp
2179 (define-g-object-class "GtkContainer" container
2180   (:superclass widget :export t :interfaces
2181                ("AtkImplementorIface" "GtkBuildable")
2182                :type-initializer "gtk_container_get_type")
2183   ((border-width container-border-width "border-width" "guint" t t)
2184    (resize-mode container-resize-mode "resize-mode" "GtkResizeMode" t t)
2185    (child container-child "child" "GtkWidget" nil t)
2186    (:cffi focus-child container-focus-child g-object "gtk_container_get_focus_child" "gtk_container_set_focus_child")
2187    (:cffi focus-vadjustment container-focus-vadjustment (g-object adjustment) "gtk_container_get_focus_vadjustment" "gtk_container_set_focus_vadjustment")
2188    (:cffi focus-hadjustment container-focus-hadjustment (g-object adjustment) "gtk_container_get_focus_hadjustment" "gtk_container_set_focus_hadjustment")))
2189 @end lisp
2190
2191 @node define-g-interface
2192 @section define-g-interface
2193
2194 @Macro define-g-interface
2195 @lisp
2196 (define-g-interface g-type-name name (&key (export t) type-initializer)
2197   &body property*)
2198
2199 property ::= (name accessor gname type readable writable)
2200 property ::= (:cffi name acessor type reader writer)
2201 @end lisp
2202
2203 Parameters of @code{define-g-interface}
2204 @table @var
2205 @item @var{export}
2206 Whether to export the name of the interface and names of autogenerated properties names from the current package.
2207 @item @var{type-initializer}
2208 A string naming the type initiliazer function. It is usually named @code{interface_get_type}.
2209 @item @var{properties}
2210 A list of slots of a interface
2211 @end table
2212
2213 Parameters of @code{property}:
2214 @table @var
2215 @item @var{name}
2216 A symbol naming the slot
2217 @item @var{accessor}
2218 A symbol naming the accessor function for this slot
2219 @item @var{gname}
2220 A string naming the property of GObject
2221 @item @var{type}
2222 A string naming the type of property of GObject (for GObject properties); or a symbol naming CFFI foreign type (for slots mapped to foreign accessors)
2223 @item @var{readable}
2224 A boolean specifying whether the slot can be read
2225 @item @var{writable}
2226 A boolean specifying whether the slot can be assigned to
2227 @item @var{reader}
2228 A string or a symbol naming getter function. See description of @code{gobject-class} metaclass for information.
2229 @item @var{writter}
2230 A string or a symbol naming setter function. See description of @code{gobject-class} metaclass for information.
2231 @end table
2232
2233 Macro that expands to @code{defclass} for specified interface. Additionally, if @code{export} is true, it exports accessor names and name of a interface.
2234
2235 Example:
2236 @lisp
2237 (define-g-interface "GtkFileChooser" file-chooser
2238   (:export t :type-initializer "gtk_file_chooser_get_type")
2239   (do-overwrite-confirmation file-chooser-do-overwrite-confirmation "do-overwrite-confirmation" "gboolean" t t)
2240   (select-multiple file-chooser-select-multiple "select-multiple" "gboolean" t t)
2241   (filter file-chooser-filter "filter" "GtkFileFilter" t t)
2242   (local-only file-chooser-local-only "local-only" "gboolean" t t)
2243   (preview-widget file-chooser-preview-widget "preview-widget" "GtkWidget" t t)
2244   (use-preview-label file-chooser-use-preview-label "use-preview-label" "gboolean" t t)
2245   (preview-widget-active file-chooser-preview-widget-active "preview-widget-active" "gboolean" t t)
2246   (file-system-backend file-chooser-file-system-backend "file-system-backend" "gchararray" nil nil)
2247   (extra-widget file-chooser-extra-widget "extra-widget" "GtkWidget" t t)
2248   (show-hidden file-chooser-show-hidden "show-hidden" "gboolean" t t)
2249   (action file-chooser-action "action" "GtkFileChooserAction" t t)
2250   (:cffi current-name file-chooser-current-name
2251    (:string :free-to-foreign t :encoding :utf-8) nil "gtk_file_chooser_set_current_name")
2252   (:cffi filename file-chooser-filename
2253    (g-string :free-from-foreign t :free-to-foreign t)
2254    "gtk_file_chooser_get_filename" "gtk_file_chooser_set_filename")
2255   (:cffi current-folder file-chooser-current-folder
2256    (g-string :free-from-foreign t :free-to-foreign t)
2257    "gtk_file_chooser_get_current_folder"
2258    "gtk_file_chooser_set_current_folder")
2259   (:cffi uri file-chooser-uri
2260    (g-string :free-from-foreign t :free-to-foreign t)
2261    "gtk_file_chooser_get_uri" "gtk_file_chooser_set_uri")
2262   (:cffi current-folder-uri file-chooser-current-folder-uri
2263    (g-string :free-from-foreign t :free-to-foreign t)
2264    "gtk_file_chooser_get_current_folder_uri"
2265    "gtk_file_chooser_set_current_folder_uri")
2266   (:cffi preview-filename file-chooser-preview-filename
2267    (g-string :free-from-foreign t :free-to-foreign t)
2268    "gtk_file_chooser_get_preview_filename" nil)
2269   (:cffi preview-uri file-chooser-preview-uri
2270    (g-string :free-from-foreign t :free-to-foreign t)
2271    "gtk_file_chooser_get_preview_uri" nil))
2272 @end lisp
2273
2274 @node define-g-enum
2275 @section define-g-enum
2276
2277 @Macro define-g-enum
2278 @lisp
2279 (define-g-enum g-name name (&key (export t) type-initializer) &body value*)
2280
2281 value ::= :keyword
2282 value ::= (:keyword integer)
2283 @end lisp
2284
2285 @table @var
2286 @item @var{g-name}
2287 A string naming the GEnum type
2288 @item @var{name}
2289 A symbol naming the CFFI enumeration type
2290 @item @var{export}
2291 A boolean indicating whether to export @code{name}
2292 @item @var{type-initializer}
2293 A string naming the foreign type initializer function. Usually named @code{enum_get_type}.
2294 @end table
2295
2296 Macro that defines CFFI enumeration, registers it with GValue, and calls the type initializer.
2297
2298 Example:
2299 @lisp
2300 (define-g-enum "GtkTextDirection" text-direction
2301   (:export t :type-initializer "gtk_text_direction_get_type")
2302   (:none 0) (:ltr 1) (:rtl 2))
2303
2304 (define-g-enum "GtkSizeGroupMode" size-group-mode
2305  (:export t :type-initializer "gtk_size_group_mode_get_type")
2306  :none :horizontal :vertical :both)
2307 @end lisp
2308
2309 @node define-g-flags
2310 @section define-g-flags
2311
2312 @Macro define-g-flags
2313 @lisp
2314 (define-g-flags g-name name (&key (export t) type-initializer) &body value*)
2315
2316 value ::= :keyword
2317 value ::= (:keyword integer)
2318 @end lisp
2319
2320 @table @var
2321 @item @var{g-name}
2322 A string naming the GFlags type
2323 @item @var{name}
2324 A symbol naming the CFFI flags type
2325 @item @var{export}
2326 A boolean indicating whether to export @code{name}
2327 @item @var{type-initializer}
2328 A string naming the foreign type initializer function. Usually named @code{flags_get_type}.
2329 @end table
2330
2331 Macro that defines CFFI bitfield, registers it with GValue, and calls the type initializer.
2332
2333 Example:
2334 @lisp
2335 (define-g-flags "GtkAttachOptions" attach-options
2336   (:export t :type-initializer "gtk_attach_options_get_type")
2337   (:expand 1) (:shrink 2) (:fill 4))
2338
2339 (define-g-flags "GtkButtonAction" button-action
2340   (:export t :type-initializer "gtk_button_action_get_type")
2341   :ignored :selects :drags :expands)
2342 @end lisp
2343
2344 @node get-g-enum-definition
2345 @section get-g-enum-definition
2346
2347 @Function get-g-enum-definition
2348 @lisp
2349 (get-g-enum-definition type &optional lisp-name-package) @result{} definition
2350 @end lisp
2351
2352 @table @var
2353 @item @var{type}
2354 A string naming the GEnum type
2355 @item @var{lisp-name-package}
2356 A package that will be used as a package for generated symbols (enum name). If not specified, symbols are interned in @code{*package*}
2357 @item @var{definition}
2358 A Lisp form that when evaluated defines the GEnum.
2359 @end table
2360
2361 Uses GObject introspection capabilities to automatically produce the definition of GEnum. The foreign library that defines the enum type should be loaded.
2362
2363 See @ref{Generating names for CLOS classes and accessors} for information about used method for generating names.
2364
2365 Example:
2366 @lisp
2367 (get-g-enum-definition "GtkDirectionType")
2368 @result{}
2369 (DEFINE-G-ENUM "GtkDirectionType" GTK-DIRECTION-TYPE
2370                (:EXPORT T :TYPE-INITIALIZER "gtk_direction_type_get_type")
2371                (:TAB-FORWARD 0) (:TAB-BACKWARD 1) (:UP 2) (:DOWN 3) (:LEFT 4)
2372                (:RIGHT 5))
2373 @end lisp
2374
2375 @node get-g-flags-definition
2376 @section get-g-flags-definition
2377
2378 @Function get-g-flags-definition
2379 @lisp
2380 (get-g-flags-definition type &optional lisp-name-package) @result{} definition
2381 @end lisp
2382
2383 @table @var
2384 @item @var{type}
2385 A string naming the GFlags type
2386 @item @var{lisp-name-package}
2387 A package that will be used as a package for generated symbols (flags name). If not specified, symbols are interned in @code{*package*}
2388 @item @var{definition}
2389 A Lisp form that when evaluated defines the GFlags.
2390 @end table
2391
2392 Uses GObject introspection capabilities to automatically produce the definition of GFlags. The foreign library that defines the flags type should be loaded.
2393
2394 See @ref{Generating names for CLOS classes and accessors} for information about used method for generating names.
2395
2396 Example:
2397 @lisp
2398 (get-g-flags-definition "GtkCalendarDisplayOptions")
2399 @result{}
2400 (DEFINE-G-FLAGS "GtkCalendarDisplayOptions" GTK-CALENDAR-DISPLAY-OPTIONS
2401                 (:EXPORT T :TYPE-INITIALIZER
2402                  "gtk_calendar_display_options_get_type")
2403                 (:SHOW-HEADING 1) (:SHOW-DAY-NAMES 2) (:NO-MONTH-CHANGE 4)
2404                 (:SHOW-WEEK-NUMBERS 8) (:WEEK-START-MONDAY 16)
2405                 (:SHOW-DETAILS 32))
2406 @end lisp
2407
2408 @node get-g-interface-definition
2409 @section get-g-interface-definition
2410
2411 @Function get-g-interface-definition
2412 @lisp
2413 get-g-interface-definition type &optional lisp-name-package) @result{} definition
2414 @end lisp
2415
2416 @table @var
2417 @item @var{type}
2418 A string naming the GInterface type
2419 @item @var{lisp-name-package}
2420 A package that will be used as a package for generated symbols (type name, accessor names). If not specified, symbols are interned in @code{*package*}
2421 @item @var{definition}
2422 A Lisp form that when evaluated defines the GInterface.
2423 @end table
2424
2425 Uses GObject introspection capabilities to automatically produce the definition of GInterface. The foreign library that defines the GInterface type should be loaded.
2426
2427 See @ref{Generating names for CLOS classes and accessors} for information about used method for generating names.
2428
2429 Example:
2430 @lisp
2431 (get-g-interface-definition "GtkActivatable")
2432 @result{}
2433 (DEFINE-G-INTERFACE "GtkActivatable" GTK-ACTIVATABLE
2434                     (:EXPORT T :TYPE-INITIALIZER "gtk_activatable_get_type")
2435                     (USE-ACTION-APPEARANCE
2436                      GTK-ACTIVATABLE-USE-ACTION-APPEARANCE
2437                      "use-action-appearance" "gboolean" T T)
2438                     (RELATED-ACTION GTK-ACTIVATABLE-RELATED-ACTION
2439                      "related-action" "GtkAction" T T))
2440 @end lisp
2441
2442 @node get-g-class-definition
2443 @section get-g-class-definition
2444
2445 @Function get-g-class-definition
2446 @lisp
2447 (get-g-class-definition type &optional lisp-name-package) @result{} definition
2448 @end lisp
2449
2450 @table @var
2451 @item @var{type}
2452 A string naming the GObject type
2453 @item @var{lisp-name-package}
2454 A package that will be used as a package for generated symbols (type name, accessor names). If not specified, symbols are interned in @code{*package*}
2455 @item @var{definition}
2456 A Lisp form that when evaluated defines the GObject.
2457 @end table
2458
2459 Uses GObject introspection capabilities to automatically produce the definition of GClass. The foreign library that defines the GObject type should be loaded.
2460
2461 See @ref{Generating names for CLOS classes and accessors} for information about used method for generating names.
2462
2463 Example:
2464 @lisp
2465 (get-g-class-definition "GtkButton")
2466 @result{}
2467 (DEFINE-G-OBJECT-CLASS "GtkButton" GTK-BUTTON
2468                        (:SUPERCLASS GTK-BIN :EXPORT T :INTERFACES
2469                         ("AtkImplementorIface" "GtkActivatable" "GtkBuildable")
2470                         :TYPE-INITIALIZER "gtk_button_get_type")
2471                        ((LABEL GTK-BUTTON-LABEL "label" "gchararray" T T)
2472                         (IMAGE GTK-BUTTON-IMAGE "image" "GtkWidget" T T)
2473                         (RELIEF GTK-BUTTON-RELIEF "relief" "GtkReliefStyle" T
2474                          T)
2475                         (USE-UNDERLINE GTK-BUTTON-USE-UNDERLINE "use-underline"
2476                          "gboolean" T T)
2477                         (USE-STOCK GTK-BUTTON-USE-STOCK "use-stock" "gboolean"
2478                          T T)
2479                         (FOCUS-ON-CLICK GTK-BUTTON-FOCUS-ON-CLICK
2480                          "focus-on-click" "gboolean" T T)
2481                         (XALIGN GTK-BUTTON-XALIGN "xalign" "gfloat" T T)
2482                         (YALIGN GTK-BUTTON-YALIGN "yalign" "gfloat" T T)
2483                         (IMAGE-POSITION GTK-BUTTON-IMAGE-POSITION
2484                          "image-position" "GtkPositionType" T T)))
2485 @end lisp
2486
2487 @node Specifying additional properties for CLOS classes
2488 @section Specifying additional properties for CLOS classes
2489
2490 Some properties are not exposed through GObject introspection facilities, but are rather present as a pair of functions (@code{class_get_property}, @code{class_set_property}). @code{gobject-class} metaclass supports such properties. For these properties to be included in automatically generated class definitions, they should be made known to the generator.
2491
2492 Definitions generator uses variable @code{*additional-properties*} to get this information.
2493
2494 Variable @code{*additional-properties*} contains a plist that maps GType names to a list of properties definitions (See @ref{define-g-object-class} for syntax of properties definitions).
2495
2496 To supply the bindings generator with this information, bind @code{*additional-properties*} to such list when the generator is run.
2497
2498 Example:
2499 @lisp
2500 (("GtkTreeViewColumn"
2501   (:cffi gtk::tree-view
2502          gtk::tree-view-column-tree-view
2503          g-object "gtk_tree_view_column_get_tree_view" nil)
2504   (:cffi gtk::sort-column-id
2505          gtk::tree-view-column-sort-column-id
2506          :int "gtk_tree_view_column_get_sort_column_id" "gtk_tree_view_column_set_sort_column_id")
2507   (:cffi gtk::cell-renderers
2508          gtk::tree-view-column-cell-renderers
2509          (glist g-object  :free-from-foreign t) "gtk_tree_view_column_get_cell_renderers" nil))
2510  ("GtkTreeSelection"
2511   (:cffi gtk::mode
2512          gtk::tree-selection-mode
2513          gtk::selection-mode "gtk_tree_selection_get_mode" "gtk_tree_selection_set_mode")
2514   (:cffi gtk::select-function
2515          gtk::tree-selection-select-function
2516          nil gtk::tree-selection-get-selection-function gtk::tree-selection-set-select-function)))
2517 @end lisp
2518
2519 @node Generating names for CLOS classes and accessors
2520 @section Generating names for CLOS classes and accessors
2521
2522 Names of types are generated by mapping @code{CamelCaseNames} to @code{dash-separated-names} and interning them in specified package. Additionally, prefix from beginning of the name may be stripped (@code{"GtkWidget"} has prefix @code{"Gtk"}, after stripping it maps to @code{widget}). Some names may require special processing (e.g., @code{"GObject"}, @code{"GInitiallyUnowned"} should map to class names in @code{gobject} package; @code{"GtkWindow"} and @code{"GdkWindow"} should receive different @code{symbol-name}s so that they can both be imported in one package).
2523
2524 Accessors for slots are generated by concatenating class name, dash and slot name, producing names like @code{class-slot}: @code{container-child}, @code{button-label}, etc.
2525
2526 Name generation affected by following variables:
2527 @itemize
2528 @item @var{*strip-prefix*}
2529 A string variable specifying the prefix that should to be stripped from the names to generate symbols (e.g., if @code{(equal "Gtk" *strip-prefix*)}, then type named @code{"GtkWidget"} will map to class named @code{widget}.
2530 @item @var{*lisp-name-exceptions*}
2531 A plist mapping from strings (type names) to symbols (class names) that have special name processing.
2532 Example:
2533 @lisp
2534 `(("GObject" gobject:g-object)
2535   ("GtkObject" ,(intern "GTK-OBJECT" (find-package :gtk)))
2536   ("GInitiallyUnowned" gobject::g-initially-unowned)
2537   ("GtkWindow" ,(intern "GTK-WINDOW" (find-package :gtk)))
2538   ("GtkUIManager" ,(intern "UI-MANAGER" (find-package :gtk)))
2539   ("GtkUIManagerItemType" ,(intern "UI-MANAGER-ITEM-TYPE" (find-package :gtk))))
2540 @end lisp
2541 @end itemize
2542
2543 @node generate-types-hierarchy-to-file
2544 @section generate-types-hierarchy-to-file
2545
2546 @Function generate-types-hierarchy-to-file
2547 @lisp
2548 (generate-types-hierarchy-to-file file
2549                                   root-type
2550                                   &key include-referenced
2551                                   prefix
2552                                   package
2553                                   exceptions
2554                                   prologue
2555                                   interfaces
2556                                   enums
2557                                   flags
2558                                   objects
2559                                   exclusions
2560                                   additional-properties)
2561 @end lisp
2562
2563 @table @var
2564 @item @var{file}
2565 A string or pathname naming the file, or a stream.
2566 @item @var{root-type}
2567 A GType designator for a root type. All types that inherit from this type will be defined.
2568 @item @var{&key include-referenced}
2569 A boolean. Specifies whether referenced types should be included. Type is referenced if it is an interface or a type of property of type included in generation
2570 @item @var{prefix}
2571 A string naming the prefix that should be removed from the beginning of names
2572 @item @var{package}
2573 A package which will contain generated names of types, slots and accessors. It will also be the current package when the definitions are written to file
2574 @item @var{exceptions}
2575 A plist that maps GType names to their Lisp names.
2576 See @ref{Generating names for CLOS classes and accessors} for more info on exceptions from name generation mechanism
2577 @item @var{prologue}
2578 A string that will be included verbatim in generated code file
2579 @item @var{interfaces}
2580 Additional list of interfaces that will also be included in generation
2581 @item @var{enums}
2582 Additional list of enums that will also be included in generation
2583 @item @var{flags}
2584 Additional list of flags that will also be included in generation
2585 @item @var{objects}
2586 Additional list of object types that will also be included in generation
2587 @item @var{exclusions}
2588 A list of GType names that will be excluded from generation
2589 @item @var{additional-properties}
2590 A plist of properties definitions that will be added to generated classes.
2591 See @ref{Specifying additional properties for CLOS classes} for more information.
2592 @end table
2593
2594 Generates definitions for all types in a type hierarchy. Recursively scan types hierarchy (starting from @code{root} and @code{objects} and @code{interfaces}) (except types that were specifically excluded) and generate defintion for every mentioned type. Parameters control various aspects of definition generation.
2595
2596 Example of usage:
2597 @lisp
2598 (generate-types-hierarchy-to-file
2599  "gtk.generated-classes.lisp"
2600  "GtkObject"
2601  :include-referenced t
2602  :prefix "Gtk"
2603  :package (or (find-package :gtk) (make-package :gtk))
2604  :exceptions `(("GObject" gobject:g-object)
2605                ("GtkObject" ,(intern "GTK-OBJECT" (find-package :gtk)))
2606                ("GInitiallyUnowned" gobject::g-initially-unowned)
2607                ("GtkWindow" ,(intern "GTK-WINDOW" (find-package :gtk)))
2608                ("GtkUIManager" ,(intern "UI-MANAGER" (find-package :gtk)))
2609                ("GtkUIManagerItemType" ,(intern "UI-MANAGER-ITEM-TYPE" (find-package :gtk))))
2610  :prologue (format nil "(in-package :gtk)")
2611  :interfaces '("GtkBuildable" "GtkCellEditable" ...)
2612  :objects '("GtkSettings" "GtkRcStyle" ...)
2613  :flags '("GtkTextSearchFlags" "GtkAccelFlags" ...)
2614  :enums '("GtkTextDirection" "GtkSizeGroupMode" ...)
2615  :exclusions '("PangoStretch" "PangoVariant" ...)
2616  :additional-properties
2617  '(("GtkTreeViewColumn"
2618     (:cffi
2619      gtk::tree-view
2620      gtk::tree-view-column-tree-view
2621      g-object
2622      "gtk_tree_view_column_get_tree_view"
2623      nil)
2624     ...)
2625    ...))
2626 @end lisp