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-g-closure} create closure from lisp function. The GClosure is finalized automatically when GObject no longer needs it (e.g., when GClosure is disconnected from signal).
1081
1082 @section create-g-closure
1083 @Function create-g-closure
1084 @lisp
1085 (create-g-closure fn) @result{} closure
1086 @end lisp
1087
1088 @table @var
1089 @item @var{fn}
1090 A function that will be called by closure invokation
1091 @item @var{closure}
1092 A foreign pointer to allocated closure
1093 @end table
1094
1095 Allocates the closure. The closure is destroyed automatically by GObject.
1096
1097 Example:
1098 @lisp
1099 (create-g-closure (lambda (x) (+ x 10)))
1100 @result{}
1101 #.(SB-SYS:INT-SAP #X006D7B20)
1102 @end lisp
1103
1104 Example of usage from GObject binding code:
1105 @lisp
1106 (defun connect-signal (object signal handler &key after)
1107   (g-signal-connect-closure (ensure-object-pointer object)
1108                             signal
1109                             (create-g-closure handler)
1110                             after))
1111 @end lisp
1112
1113 (TODO: GObject defines finer closure API: g_closure_ref, g_closure_unref, g_closure_invoke. It should be bound.)
1114
1115 @node GObject low-level
1116 @chapter GObject low-level
1117 @menu
1118 * g-object-call-constructor::
1119 * g-type-from-object::
1120 * g-object-call-get-property::
1121 * g-object-call-set-property::
1122 @end menu
1123
1124 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.
1125
1126 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.
1127
1128 @node g-object-call-constructor
1129 @section g-object-call-constructor
1130
1131 @Function g-object-call-constructor
1132 @lisp
1133 (g-object-call-constructor object-type args-names args-values &optional args-types) @result{} object-ptr
1134 @end lisp
1135
1136 @table @var
1137 @item @var{object-type}
1138 A GType designator that specifies the object type that is to be created
1139 @item @var{args-names}
1140 A list of strings naming the arguments to constructor
1141 @item @var{args-value}
1142 A list of arguments values (in the same order as args-names)
1143 @item @var{args-types}
1144 Optional list of arguments types (in the same order as args-names). If not specified, it is detected automatically
1145 @item @var{object-ptr}
1146 A foreign pointer to newly created instance
1147 @end table
1148
1149 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}.
1150
1151 Example:
1152 @lisp
1153 (g-object-call-constructor "GtkButton" '("label" "use-underline") '("Hello" t) '("gchararray" "gboolean"))
1154 @result{}
1155 #.(SB-SYS:INT-SAP #X006D8900)
1156
1157 (g-object-call-get-property * "label")
1158 @result{}
1159 "Hello"
1160
1161 (g-object-call-get-property ** "use-underline")
1162 @result{}
1163 T
1164 @end lisp
1165
1166 @node g-type-from-object
1167 @section g-type-from-object
1168
1169 @Function g-type-from-object
1170 @lisp
1171 (g-type-from-object object-ptr) @result{} type
1172 @end lisp
1173
1174 @table @var
1175 @item @var{object-ptr}
1176 A foreign pointer to a GObject instance
1177 @item @var{type}
1178 A GType designator
1179 @end table
1180
1181 Returns the type of an object by a pointer to its instance
1182
1183 Example:
1184 @lisp
1185 (g-type-from-object (g-object-call-constructor "GtkButton" nil nil))
1186 @result{}
1187 "GtkButton"
1188 @end lisp
1189
1190 @node g-object-call-get-property
1191 @section g-object-call-get-property
1192
1193 @Function g-object-call-get-property
1194 @lisp
1195 (g-object-call-get-property object-ptr property-name &optional property-type) @result{} property-value
1196 @end lisp
1197
1198 @table @var
1199 @item @var{object-ptr}
1200 A foreign pointer to a GObject instance
1201 @item @var{property-name}
1202 A string naming the property
1203 @item @var{property-type}
1204 Optional GType designator specifying the type of a property
1205 @item @var{property-value}
1206 The value of a property
1207 @end table
1208
1209 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.
1210
1211 Example:
1212 @lisp
1213 (g-object-call-constructor "GtkButton" '("label" "use-underline") '("Hello" t) '("gchararray" "gboolean"))
1214 @result{}
1215 #.(SB-SYS:INT-SAP #X006D8900)
1216
1217 (g-object-call-get-property * "label")
1218 @result{}
1219 "Hello"
1220
1221 (g-object-call-get-property ** "use-underline")
1222 @result{}
1223 T
1224 @end lisp
1225
1226 @node g-object-call-set-property
1227 @section g-object-call-set-property
1228
1229 @Function g-object-call-set-property
1230 @lisp
1231 (g-object-call-set-property object-ptr property-name new-value &optional property-type)
1232 @end lisp
1233
1234 @table @var
1235 @item @var{object-ptr}
1236 A foreign pointer to a GObject instance
1237 @item @var{property-name}
1238 A string naming the property
1239 @item @var{new-value}
1240 A new value of a property
1241 @item @var{property-type}
1242 Optional GType designator specifying the type of a property
1243 @end table
1244
1245 Sets the property value of property @code{property-name} of object @code{object-ptr} to @code{new-value}.
1246
1247 Example:
1248 @lisp
1249 (g-object-call-constructor "GtkButton" nil nil)
1250 @result{}
1251 #.(SB-SYS:INT-SAP #X006D8B40)
1252
1253 (g-object-call-set-property * "label" "Hello")
1254 @result{}
1255 ; No value
1256
1257 (g-object-call-get-property ** "label")
1258 @result{}
1259 "Hello"
1260 @end lisp
1261
1262 @node GObject high-level
1263 @chapter GObject high-level
1264 @menu
1265 * g-object::
1266 * g-initially-unowned::
1267 * GObject metaclass::
1268 * Using objects::
1269 * Signals::
1270 * GObject foreign class::
1271 @end menu
1272
1273 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):
1274 @itemize
1275 @item objects are created with @code{make-instance}
1276 @item properties are used as regular slots
1277 @end itemize
1278
1279 GObjects are reference counted, and CL-GTK2-GOBJECT manages its own reference to GObjects. This enables to have transparent garbage collection of unreferenced GObjects.
1280
1281 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.
1282
1283 Example GObject class of definition:
1284 @lisp
1285 (defclass dialog (gtk-window atk-implementor-iface buildable)
1286   ((has-separator :accessor dialog-has-separator
1287                   :initarg :has-separator
1288                   :allocation :gobject-property
1289                   :g-property-type "gboolean"
1290                   :g-property-name "has-separator"))
1291   (:metaclass gobject-class)
1292   (:g-type-name . "GtkDialog")
1293   (:g-type-initializer . "gtk_dialog_get_type"))
1294 @end lisp
1295
1296 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.
1297
1298 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.
1299
1300 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).
1301
1302 @node g-object
1303 @section g-object
1304
1305 @Class g-object
1306
1307 A base class for all GObject classes.
1308
1309 @Accessor pointer g-object
1310
1311 An accessor that accesses the foreign pointer to object.
1312
1313 @node g-initially-unowned
1314 @section g-initially-unowned
1315
1316 @Class g-initially-unowned
1317
1318 Superclass: @ref{g-object}
1319
1320 A base class for all GObject classes whose initial reference is floating.
1321
1322 @node GObject metaclass
1323 @section GObject metaclass
1324
1325 See MOP for information what metaclass is and why is it useful.
1326
1327 GObject metaclass @code{gobject-class} bridges two object systems: GObject and CLOS.
1328
1329 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.
1330
1331 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.
1332
1333 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}.
1334
1335 This class has the following slots:
1336 @itemize
1337 @item @var{g-type-name} (accessor @code{gobject-class-g-type-name}, initarg @code{:g-type-name})
1338
1339 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}.
1340 @item @var{g-type-initializer} (accessor @code{gobject-class-g-type-initializer}, initarg @code{:g-type-initializer})
1341
1342 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.
1343 @item @var{interface-p} (accessor @code{gobject-class-interface-p}, initarg @code{:interface-p})
1344
1345 A boolean specifying whether this CLOS class corresponds to GInterface. It is NIL by default.
1346 @end itemize
1347
1348 This metaclass defines the GObject classes.
1349
1350 Slots which have @code{:allocation} of @code{:gobject-property} are mapped to GObject properties. Such slots have following attributes:
1351 @itemize
1352 @item @var{:g-property-type}
1353
1354 A string naming GType of property
1355 @item @var{:g-property-name}
1356
1357 A name of a property
1358 @end itemize
1359
1360 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:
1361 @itemize
1362 @item @var{:g-property-type}
1363 A CFFI foreign type of property
1364 @item @var{:g-getter}
1365 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)}.
1366 @item @var{:g-setter}
1367 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))}.
1368 @end itemize
1369
1370 Initargs of a slot are used to construct the GObject class.
1371
1372 Example:
1373 @lisp
1374 (defclass container (widget atk-implementor-iface buildable)
1375     ((border-width :allocation :gobject-property
1376                    :g-property-type "guint"
1377                    :accessor container-border-width
1378                    :initarg :border-width
1379                    :g-property-name "border-width")
1380      (resize-mode :allocation :gobject-property
1381                   :g-property-type "GtkResizeMode"
1382                   :accessor container-resize-mode
1383                   :initarg :resize-mode
1384                   :g-property-name "resize-mode")
1385      (child :allocation :gobject-property
1386             :g-property-type "GtkWidget"
1387             :accessor container-child
1388             :initarg :child
1389             :g-property-name "child")
1390      (focus-child :allocation :gobject-fn
1391                   :g-property-type g-object
1392                   :accessor container-focus-child
1393                   :initarg :focus-child
1394                   :g-getter "gtk_container_get_focus_child"
1395                   :g-setter "gtk_container_set_focus_child")
1396      (focus-vadjustment :allocation :gobject-fn
1397                         :g-property-type (g-object adjustment)
1398                         :accessor container-focus-vadjustment
1399                         :initarg :focus-vadjustment
1400                         :g-getter "gtk_container_get_focus_vadjustment"
1401                         :g-setter "gtk_container_set_focus_vadjustment")
1402      (focus-hadjustment :allocation :gobject-fn
1403                         :g-property-type (g-object adjustment)
1404                         :accessor container-focus-hadjustment
1405                         :initarg :focus-hadjustment
1406                         :g-getter "gtk_container_get_focus_hadjustment"
1407                         :g-setter "gtk_container_set_focus_hadjustment"))
1408     (:metaclass gobject-class)
1409     (:g-type-name . "GtkContainer")
1410     (:g-type-initializer . "gtk_container_get_type"))
1411 @end lisp
1412 (note the dot in @code{(:g-type-name . "GtkContainer")} and in @code{(:g-type-initializer . "gtk_container_get_type")}. It should be present)
1413
1414 @node Using objects
1415 @section Using objects
1416 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.
1417
1418 Example:
1419 @lisp
1420 (make-instance 'gtk:dialog :has-separator t)
1421 @result{}
1422 #<GTK:DIALOG @{10036C5A71@}>
1423
1424 (defvar *d* (make-instance 'gtk:dialog :has-separator t))
1425 @result{}
1426 *D*
1427
1428 (gtk:dialog-has-separator *d*)
1429 @result{}
1430 T
1431
1432 (setf (gtk:dialog-has-separator *d*) nil)
1433 @result{}
1434 NIL
1435
1436 (gtk:dialog-has-separator *d*)
1437 @result{}
1438 NIL
1439 @end lisp
1440
1441 @node Signals
1442 @section Signals
1443
1444 To connect handler to a signal, @code{connect-signal} function is used.
1445
1446 @Function connect-signals
1447 @lisp
1448 (connect-signal object signal handler &key after)
1449 @end lisp
1450
1451 @table @var
1452 @item @var{object}
1453 An instance of GObject object
1454 @item @var{signal}
1455 A signal name
1456 @item @var{handler}
1457 A function
1458 @item @var{after}
1459 A boolean specifying whether the handler should be called after the default handler
1460 @end table
1461
1462 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.
1463
1464 Example:
1465 @lisp
1466 (defvar *d* (make-instance 'gtk:dialog))
1467 @result{}
1468 *D*
1469
1470 *d*
1471 @result{}
1472 #<GTK:DIALOG @{1002D866F1@}>
1473
1474 (parse-signal-name "GtkDialog" "response")
1475 @result{}
1476 #<Signal [#86] void GtkDialog.response(gint) [RUN-LAST]>
1477
1478 (connect-signal *d* "response" (lambda (dialog response-value) (print dialog) (print response-value)))
1479
1480 (emit-signal *d* "response" 14)
1481 @result{}
1482 ;; Prints:
1483 #<GTK:DIALOG @{1002D866F1@}>
1484 14
1485 @end lisp
1486
1487 Function @code{emit-signal} is used to emit signals on objects.
1488
1489 @code{(emit-signal object signal-name &rest args) @result{} return-value}
1490
1491 @table @var
1492 @item @var{object}
1493 An object on which the signal should be emitted
1494 @item @var{signal-name}
1495 A string naming the signal
1496 @item @var{args}
1497 Arguments for a signal
1498 @item @var{return-value}
1499 Return value of a signal
1500 @end table
1501
1502 Emits the signal and calls all handlers of the signal. If signal returns a value, it is returned from @code{emit-signal}.
1503
1504 Example:
1505 @lisp
1506 (defvar *d* (make-instance 'gtk:dialog))
1507 @result{}
1508 *D*
1509
1510 *d*
1511 @result{}
1512 #<GTK:DIALOG @{1002D866F1@}>
1513
1514 (parse-signal-name "GtkDialog" "response")
1515 @result{}
1516 #<Signal [#86] void GtkDialog.response(gint) [RUN-LAST]>
1517
1518 (connect-signal *d* "response" (lambda (dialog response-value) (print dialog) (print response-value)))
1519
1520 (emit-signal *d* "response" 14)
1521 @result{}
1522 ;; Prints:
1523 #<GTK:DIALOG @{1002D866F1@}>
1524 14
1525 @end lisp
1526
1527 @node GObject foreign class
1528 @section GObject foreign class
1529
1530 To enable passing GObject instance between Lisp code and foreign code, @code{g-object} foreign type is introduced.
1531
1532 This type has the following syntax:
1533 @code{(g-object [type] [:already-referenced])} or @code{g-object}. (Brackets indicate optional arguments)
1534
1535 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).
1536
1537 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.
1538
1539 This defines the function that may be called with instances of types @code{container} and @code{widget}:
1540 @lisp
1541 (defcfun (container-add "gtk_container_add") :void
1542   (container (g-object container))
1543   (widget (g-object widget)))
1544
1545 (let ((window (make-instance 'gtk-window))
1546       (widget (make-instance 'button)))
1547   (container-add window widget))
1548 @end lisp
1549 (@code{gtk-window} is a subclass of @code{container}; @code{button} is a subclass of @code{widget})
1550
1551 This defines the function that returns an instance of GObject class:
1552 @lisp
1553 (defcfun (bin-child "gtk_bin_get_child") (g-object widget)
1554   (bin (g-object bin)))
1555
1556 (let ((window (make-instance 'gtk-window))
1557       (widget (make-instance 'button)))
1558   (container-add window widget)
1559   (bin-child window))
1560 @result{}
1561 #<GTK:BUTTON @{1002DE74B1@}>
1562 @end lisp
1563
1564 This example shows the use of @code{:already-referenced} option:
1565 @lisp
1566 (defcfun (widget-create-pango-layout "gtk_widget_create_pango_layout") (g-object gdk::pango-layout :already-referenced)
1567   (widget (g-object widget))
1568   (text :string))
1569
1570 (defcfun gdk-gc-new (g-object graphics-context :already-referenced)
1571   (drawable (g-object drawable)))
1572 @end lisp
1573
1574 @node Creating GObjects classes and implementing GInterfaces
1575 @chapter Creating GObjects classes and implementing GInterfaces
1576
1577 @menu
1578 * define-vtable::
1579 * register-object-type-implementation::
1580 @end menu
1581
1582 Creating GObject classes from Lisp is the most complex part of GObject binding.
1583
1584 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).
1585
1586 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.
1587
1588 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).
1589
1590 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.
1591
1592 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.
1593
1594 @node define-vtable
1595 @section define-vtable
1596
1597 @Macro define-vtable
1598 @lisp
1599 (define-vtable (type-name cstruct-name)
1600   &body item*)
1601
1602 item ::= (name callback-name return-type &rest arg*)
1603 item ::= (:skip cffi-structure-item)
1604 arg ::= (arg-name arg-type)
1605 @end lisp
1606
1607 @table @var
1608 @item @var{type-name}
1609 A string naming the GObject type of interface
1610 @item @var{cstruct-name}
1611 A name for a generated CFFI foreign structure
1612 @item @var{name}
1613 A name for implementation generic function
1614 @item @var{callback-name}
1615 A name for generated callback function
1616 @item @var{return-type}
1617 A CFFI specifier for foreign function return type
1618 @item @var{arg-name}
1619 A symbol naming the argument of interface method
1620 @item @var{arg-type}
1621 A CFFI specifier for foreign function argument type
1622 @end table
1623
1624 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.
1625
1626 Example:
1627 @lisp
1628 (define-vtable ("GtkTreeModel" c-gtk-tree-model)
1629   (:skip parent-instance g-type-interface)
1630   ;;some signals
1631   (:skip tree-model-row-changed :pointer)
1632   (:skip tree-model-row-inserted :pointer)
1633   (:skip tree-model-row-has-child-toggled :pointer)
1634   (:skip tree-model-row-deleted :pointer)
1635   (:skip tree-model-rows-reordered :pointer)
1636   ;;methods
1637   (tree-model-get-flags-impl tree-model-get-flags-cb
1638     tree-model-flags
1639     (tree-model g-object))
1640   (tree-model-get-n-columns-impl tree-model-get-n-columns-cb
1641     :int
1642     (tree-model g-object))
1643   (tree-model-get-column-type-impl tree-model-get-column-type-cb
1644     g-type-designator
1645     (tree-model g-object) (index :int))
1646   (tree-model-get-iter-impl tree-model-get-iter-cb
1647     :boolean
1648     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (path (g-boxed-foreign tree-path)))
1649   (tree-model-get-path-impl tree-model-get-path-cb
1650     (g-boxed-foreign tree-path :return)
1651     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1652   (tree-model-get-value-impl tree-model-get-value-cb
1653     :void
1654     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (n :int) (value (:pointer g-value)))
1655   (tree-model-iter-next-impl tree-model-iter-next-cb
1656     :boolean
1657     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1658   (tree-model-iter-children-impl tree-model-iter-children-cb
1659     :boolean
1660     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (parent (g-boxed-foreign tree-iter)))
1661   (tree-model-iter-has-child-impl tree-model-iter-has-child-cb
1662     :boolean
1663     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1664   (tree-model-iter-n-children-impl tree-model-iter-n-children-cb
1665     :int
1666     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1667   (tree-model-iter-nth-child-impl tree-model-iter-nth-child-cb
1668     :boolean
1669     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (parent (g-boxed-foreign tree-iter)) (n :int))
1670   (tree-model-iter-parent-impl tree-model-iter-parent-cb
1671     :boolean
1672     (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (child (g-boxed-foreign tree-iter)))
1673   (tree-model-ref-node-impl tree-model-ref-node-cb
1674     :void
1675     (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
1676   (tree-model-unref-node-impl tree-model-unref-node-cb
1677     :void
1678     (tree-model g-object) (iter (g-boxed-foreign tree-iter))))
1679 @end lisp
1680
1681 @node register-object-type-implementation
1682 @section register-object-type-implementation
1683
1684 @Macro register-object-type-implementation
1685 @lisp
1686 (register-object-type-implementation name class parent interfaces properties)
1687 @end lisp
1688
1689 @table @var
1690 @item @var{name}
1691 A string naming the new GObject class.
1692 @item @var{class}
1693 A class name of corresponding CLOS class. It should be inherited from @code{g-object} or its descendants.
1694 @item @var{parent}
1695 A string naming the GObject superclass
1696 @item @var{interfaces}
1697 A list of names of interfaces that this class implements.
1698 @item @var{properties}
1699 A list of properties that this class provides.
1700 Each property is defined as
1701 @lisp
1702 property ::= (property-name property-type accessor property-get-fn property-set-fn)
1703 @end lisp
1704 @end table
1705
1706 A macro that creates a new GObject type and registers the Lisp implementation for it.
1707
1708 Example:
1709 @lisp
1710 (register-object-type-implementation "LispArrayListStore" array-list-store "GObject" ("GtkTreeModel") nil)
1711 @end lisp
1712
1713 @node GBoxed
1714 @chapter GBoxed
1715 @menu
1716 * define-g-boxed-cstruct::
1717 * define-g-boxed-variant-cstruct::
1718 * define-g-boxed-opaque::
1719 * g-boxed-opaque::
1720 * define-boxed-opaque-accessor::
1721 * boxed-related-symbols::
1722 * GBoxed foreign type::
1723 @end menu
1724
1725 GObject manual defines this type in the following way:
1726
1727 ``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.
1728
1729 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.''
1730
1731 Naturally, it is hard to provide support for ``arbitrary C structures''. We support a few useful use cases of GBoxed types:
1732 @itemize
1733 @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.
1734 @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).
1735
1736 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.
1737 @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.
1738 @end itemize
1739
1740 @node define-g-boxed-cstruct
1741 @section define-g-boxed-cstruct
1742 @Macro define-g-boxed-cstruct
1743 @lisp
1744 (define-g-boxed-cstruct name g-type-name
1745   &body slot*)
1746
1747 slot ::= (slot-name slot-type &key count initform inline)
1748 @end lisp
1749
1750 @table @var
1751 @item @var{name}
1752 A symbol naming the type being defined
1753 @item @var{g-type-name}
1754 A string specifying the GType name of this GBoxed. This may be nil if this type is not registered with GObject type system.
1755 @item @var{slot-name}
1756 A symbol naming the slot of a structure
1757 @item @var{slot-type}
1758 A foreign type of a slot
1759 @item @var{count}
1760 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.
1761 @item @var{initform}
1762 A form that is the initform of Lisp structure slot
1763 @item @var{inline}
1764 A boolean. If it is true, then the slot contains GBoxed structure whose name is @code{slot-type}.
1765 @end table
1766
1767 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.
1768
1769 Example of usage:
1770 @lisp
1771 (define-g-boxed-cstruct rectangle "GdkRectangle"
1772   (left :int :initform 0)
1773   (top :int :initform 0)
1774   (width :int :initform 0)
1775   (height :int :initform 0))
1776
1777 (define-g-boxed-cstruct point nil
1778   (x :int :initform 0)
1779   (y :int :initform 0))
1780
1781 (define-g-boxed-cstruct vector4 nil
1782   (coords :double :count 4 :initform (vector 0d0 0d0 0d0 0d0)))
1783
1784 (define-g-boxed-cstruct segment nil
1785   (a point :inline t :initform (make-point))
1786   (b point :inline t :initform (make-point)))
1787 @end lisp
1788
1789 @node define-g-boxed-variant-cstruct
1790 @section define-g-boxed-variant-cstruct
1791
1792 @Macro define-g-boxed-variant-cstruct
1793 @lisp
1794 (define-g-boxed-variant-cstruct name g-type-name
1795   &body slot-or-variant-specification*)
1796
1797 slot ::= (slot-name slot-type &key count initform inline)
1798 variant-specification ::= (:variant dispatching-slot-name structure-variant*)
1799 structure-variant ::= (dispatching-slot-values structure-name &body slot-or-variant-specification*)
1800 @end lisp
1801
1802 @table @var
1803 @item @var{name}
1804 A symbol naming the type being defined
1805 @item @var{g-type-name}
1806 A string specifying the GType name of this GBoxed. This may be nil if this type is not registered with GObject type system.
1807 @item @var{slot-name}
1808 A symbol naming the slot of a structure
1809 @item @var{slot-type}
1810 A foreign type of a slot
1811 @item @var{count}
1812 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.
1813 @item @var{initform}
1814 A form that is the initform of Lisp structure slot
1815 @item @var{inline}
1816 A boolean. If it is true, then the slot contains GBoxed structure whose name is @code{slot-type}.
1817 @item @var{dispatching-slot-name}
1818 A name of the dispatching slot
1819 @item @var{dispatching-slot-values}
1820 A single value or a list of values.
1821 @item @var{structure-name}
1822 A symbol naming the structure
1823 @end table
1824
1825 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.
1826
1827 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.
1828
1829 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).
1830
1831 For example, for these structures this assumption holds:
1832 @example
1833 union GdkEvent
1834 @{
1835   GdkEventType   type;
1836   GdkEventKey    key;
1837   GdkEventButton button;
1838 @};
1839
1840 struct GdkEventKey @{
1841   GdkEventType type; //
1842   GdkWindow *window; // These fields are common
1843   gint8 send_event;  //
1844   guint32 time;
1845   guint state;
1846   guint keyval;
1847   ...
1848 @};
1849
1850 struct GdkEventButton @{
1851   GdkEventType type; //
1852   GdkWindow *window; // These fields are common
1853   gint8 send_event;  //
1854   guint32 time;
1855   gdouble x;
1856   gdouble y;
1857   ...
1858 @};
1859 @end example
1860
1861 Example:
1862 @lisp
1863 (define-g-boxed-variant-cstruct event "GdkEvent"
1864   (type event-type)
1865   (window (g-object gdk-window))
1866   (send-event (:boolean :int8))
1867   (:variant type
1868             ((:key-press :key-release) event-key
1869              (time :uint32)
1870              (state modifier-type)
1871              (keyval :uint)
1872              (length :int)
1873              (string (:string :free-from-foreign nil
1874                               :free-to-foreign nil))
1875              (hardware-keycode :uint16)
1876              (group :uint8)
1877              (is-modifier :uint))
1878             ((:button-press :2button-press :3button-press
1879               :button-release) event-button
1880              (time :uint32)
1881              (x :double)
1882              (y :double)
1883              (axes (fixed-array :double 2))
1884              (state :uint)
1885              (button :uint)
1886              (device (g-object device))
1887              (x-root :double)
1888              (y-root :double))
1889              ...))
1890 @end lisp
1891
1892 This code defines following structures:
1893 @lisp
1894 (defstruct event
1895   type window send-event)
1896
1897 (defstruct (event-key (:include event))
1898   time state keyval length string
1899   hardware-keycode group is-modifier)
1900
1901 (defstruct (event-button (:include event))
1902   time x y axes state button device x-root y-root)
1903 @end lisp
1904
1905 @node define-g-boxed-opaque
1906 @section define-g-boxed-opaque
1907
1908 @Macro define-g-boxed-opaque
1909 @lisp
1910 (define-g-boxed-opaque name g-type-name &key alloc)
1911 @end lisp
1912
1913 @table @var
1914 @item @var{name}
1915 A name of boxed type
1916 @item @var{g-type-name}
1917 A string; the name of GType
1918 @item @var{alloc}
1919 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.
1920 @end table
1921
1922 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.
1923
1924 Example:
1925 @lisp
1926 (defcfun gtk-tree-path-new :pointer)
1927
1928 (define-g-boxed-opaque tree-path "GtkTreePath"
1929   :alloc (gtk-tree-path-new))
1930 @end lisp
1931 @node g-boxed-opaque
1932 @section g-boxed-opaque
1933 @Class g-boxed-opaque
1934 @lisp
1935 (defclass g-boxed-opaque ()
1936   ((pointer :initarg :pointer
1937             :initform nil
1938             :accessor g-boxed-opaque-pointer)))
1939 @end lisp
1940
1941 A class that is the base class for wrappers of opaque structures. Contains a pointer to the wrapped opaque structure.
1942
1943 Accessor function @code{g-boxed-opaque-pointer} is used to access the pointer. Pointer should not be modified directly, only read.
1944 @node define-boxed-opaque-accessor
1945 @section define-boxed-opaque-accessor
1946 @Macro define-boxed-opaque-accessor
1947 @lisp
1948 (define-boxed-opaque-accessor
1949   boxed-name accessor-name &key type reader writer)
1950 @end lisp
1951
1952 @table @var
1953 @item @var{boxed-name}
1954 A symbol naming the opaque structure type for which the accessor is being defined
1955 @item @var{accessor-name}
1956 A symbol naming the accessor
1957 @item @var{type}
1958 A CFFI foreign type of the property for which the accessor is being defined
1959 @item @var{reader}
1960 A @code{NIL} or a string or a function designator for the reader function
1961 @item @var{writer}
1962 A @code{NIL} or a string or a function designator for the writer function
1963 @end table
1964
1965 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}.
1966
1967 @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.
1968
1969 @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.
1970
1971 Example:
1972 @lisp
1973 (define-boxed-opaque-accessor text-iter text-iter-child-anchor
1974   :reader "gtk_text_iter_get_child_anchor" :type (g-object text-child-anchor))
1975
1976 (define-boxed-opaque-accessor text-iter text-iter-tags
1977   :reader "gtk_text_iter_get_tags" :type (gslist (g-object text-tag) :free-from-foreign t))
1978
1979 (define-boxed-opaque-accessor text-iter text-iter-chars-in-line
1980   :reader "gtk_text_iter_get_chars_in_line" :type :int)
1981
1982 (define-boxed-opaque-accessor text-iter text-iter-offset
1983   :reader "gtk_text_iter_get_offset" :writer "gtk_text_iter_set_offset" :type :int)
1984 @end lisp
1985
1986 @node boxed-related-symbols
1987 @section boxed-related-symbols
1988
1989 @Function boxed-related-symbols
1990 @lisp
1991 (boxed-related-symbols name) @result{} symbols
1992 @end lisp
1993
1994 @table @var
1995 @item @var{name}
1996 A symbol naming the boxed type
1997 @item @var{symbols}
1998 A list of symbols
1999 @end table
2000
2001 This function returns the list of symbols that are related to GBoxed type @var{name}. These symbols are returned:
2002 @itemize
2003 @item name of boxed type
2004 @item name of all accessors of cstruct and variant-cstruct boxed types
2005 @item names of all variants of variant-cstruct boxed types
2006 @item names of constructors and copiers of cstruct and variant-cstruct boxed-types
2007 @end itemize
2008
2009 Typical usage of this function is to export the symbols related to given boxed type.
2010
2011 Example:
2012 @lisp
2013 (define-g-boxed-cstruct rectangle "GdkRectangle"
2014   (x :int :initform 0)
2015   (y :int :initform 0)
2016   (width :int :initform 0)
2017   (height :int :initform 0))
2018
2019 (boxed-related-symbols 'rectangle)
2020 @result{}
2021 (RECTANGLE MAKE-RECTANGLE COPY-RECTANGLE RECTANGLE-X RECTANGLE-Y
2022  RECTANGLE-WIDTH RECTANGLE-HEIGHT)
2023 @end lisp
2024
2025 @node GBoxed foreign type
2026 @section GBoxed foreign type
2027
2028 @ForeignType g-boxed-foreign
2029 @lisp
2030 (g-boxed-foreign name &rest option*)
2031
2032 option ::= :return
2033 @end lisp
2034
2035 @table @var
2036 @item @var{name}
2037 Name of GBoxed type
2038 @item @var{option}
2039 Option of foreign type
2040 @item @code{:return}
2041 An option that identifies the foreign type which is used at return position (as foreign function return type or as a callback return type)
2042 @end table
2043
2044 @code{g-boxed-foreign} type deals with marshaling data between Lisp code and foreign code. The marshaling follows the following principles:
2045 @itemize
2046 @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)
2047 @item Lisp objects should not be manually managed and are properly reclaimed by garbage collector, leaving no memory leaks
2048 @item Foreign code can change objects that are passed to them as arguments. This is required for functions that operate by modifying their arguments
2049 @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
2050 @end itemize
2051
2052 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.
2053
2054 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.
2055
2056 Examples of usage:
2057 @lisp
2058 (define-vtable ("GtkTreeModel" c-gtk-tree-model)
2059   ...
2060   (tree-model-get-path-impl tree-model-get-path-cb
2061     (g-boxed-foreign tree-path :return) (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
2062   (tree-model-get-value-impl tree-model-get-value-cb
2063     :void (tree-model g-object) (iter (g-boxed-foreign tree-iter)) (n :int) (value (:pointer g-value)))
2064   (tree-model-iter-next-impl tree-model-iter-next-cb
2065     :boolean (tree-model g-object) (iter (g-boxed-foreign tree-iter)))
2066   ...)
2067
2068 (defcfun gtk-text-iter-forward-search :boolean
2069   (iter (g-boxed-foreign text-iter))
2070   (str (:string :free-to-foreign t))
2071   (flags text-search-flags)
2072   (match-start (g-boxed-foreign text-iter))
2073   (match-end (g-boxed-foreign text-iter))
2074   (limit (g-boxed-foreign text-iter)))
2075 @end lisp
2076
2077 @node Generating type definitions by introspection
2078 @chapter Generating type definitions by introspection
2079 @menu
2080 * define-g-object-class::
2081 * define-g-interface::
2082 * define-g-enum::
2083 * define-g-flags::
2084 * get-g-enum-definition::
2085 * get-g-flags-definition::
2086 * get-g-interface-definition::
2087 * get-g-class-definition::
2088 * Specifying additional properties for CLOS classes::
2089 * Generating names for CLOS classes and accessors::
2090 * generate-types-hierarchy-to-file::
2091 @end menu
2092
2093 CL-GTK2-GOBJECT includes facilities for automatically generating parts of bindings for libraries that use GObject type system.
2094
2095 @node define-g-object-class
2096 @section define-g-object-class
2097
2098 @Macro define-g-object-class
2099 @lisp
2100 (define-g-object-class g-type-name name
2101   (&key (superclass 'g-object) (export t) interfaces type-initializer)
2102   (&rest property*))
2103
2104 property ::= (name accessor gname type readable writable)
2105 property ::= (:cffi name acessor type reader writer)
2106 @end lisp
2107
2108 Parameters of @code{define-g-object-class}
2109 @table @var
2110 @item @var{superclass}
2111 A symbol naming the superclass of this class
2112 @item @var{export}
2113 Whether to export the name of the class and names of autogenerated properties names from the current package.
2114 @item @var{interfaces}
2115 A list of interfaces the this class implements
2116 @item @var{type-initializer}
2117 A string naming the type initiliazer function. It is usually named @code{class_get_type}.
2118 @item @var{properties}
2119 A list of slots of a class
2120 @end table
2121
2122 Parameters of @code{property}:
2123 @table @var
2124 @item @var{name}
2125 A symbol naming the slot
2126 @item @var{accessor}
2127 A symbol naming the accessor function for this slot
2128 @item @var{gname}
2129 A string naming the property of GObject
2130 @item @var{type}
2131 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)
2132 @item @var{readable}
2133 A boolean specifying whether the slot can be read
2134 @item @var{writable}
2135 A boolean specifying whether the slot can be assigned to
2136 @item @var{reader}
2137 A string or a symbol naming getter function. See description of @code{gobject-class} metaclass for information.
2138 @item @var{writter}
2139 A string or a symbol naming setter function. See description of @code{gobject-class} metaclass for information.
2140 @end table
2141
2142 Macro that expands to @code{defclass} for specified class. Additionally, if @code{export} is true, it exports accessor names and name of a class.
2143
2144 Example:
2145 @lisp
2146 (define-g-object-class "GtkContainer" container
2147   (:superclass widget :export t :interfaces
2148                ("AtkImplementorIface" "GtkBuildable")
2149                :type-initializer "gtk_container_get_type")
2150   ((border-width container-border-width "border-width" "guint" t t)
2151    (resize-mode container-resize-mode "resize-mode" "GtkResizeMode" t t)
2152    (child container-child "child" "GtkWidget" nil t)
2153    (:cffi focus-child container-focus-child g-object "gtk_container_get_focus_child" "gtk_container_set_focus_child")
2154    (:cffi focus-vadjustment container-focus-vadjustment (g-object adjustment) "gtk_container_get_focus_vadjustment" "gtk_container_set_focus_vadjustment")
2155    (:cffi focus-hadjustment container-focus-hadjustment (g-object adjustment) "gtk_container_get_focus_hadjustment" "gtk_container_set_focus_hadjustment")))
2156 @end lisp
2157
2158 @node define-g-interface
2159 @section define-g-interface
2160
2161 @Macro define-g-interface
2162 @lisp
2163 (define-g-interface g-type-name name (&key (export t) type-initializer)
2164   &body property*)
2165
2166 property ::= (name accessor gname type readable writable)
2167 property ::= (:cffi name acessor type reader writer)
2168 @end lisp
2169
2170 Parameters of @code{define-g-interface}
2171 @table @var
2172 @item @var{export}
2173 Whether to export the name of the interface and names of autogenerated properties names from the current package.
2174 @item @var{type-initializer}
2175 A string naming the type initiliazer function. It is usually named @code{interface_get_type}.
2176 @item @var{properties}
2177 A list of slots of a interface
2178 @end table
2179
2180 Parameters of @code{property}:
2181 @table @var
2182 @item @var{name}
2183 A symbol naming the slot
2184 @item @var{accessor}
2185 A symbol naming the accessor function for this slot
2186 @item @var{gname}
2187 A string naming the property of GObject
2188 @item @var{type}
2189 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)
2190 @item @var{readable}
2191 A boolean specifying whether the slot can be read
2192 @item @var{writable}
2193 A boolean specifying whether the slot can be assigned to
2194 @item @var{reader}
2195 A string or a symbol naming getter function. See description of @code{gobject-class} metaclass for information.
2196 @item @var{writter}
2197 A string or a symbol naming setter function. See description of @code{gobject-class} metaclass for information.
2198 @end table
2199
2200 Macro that expands to @code{defclass} for specified interface. Additionally, if @code{export} is true, it exports accessor names and name of a interface.
2201
2202 Example:
2203 @lisp
2204 (define-g-interface "GtkFileChooser" file-chooser
2205   (:export t :type-initializer "gtk_file_chooser_get_type")
2206   (do-overwrite-confirmation file-chooser-do-overwrite-confirmation "do-overwrite-confirmation" "gboolean" t t)
2207   (select-multiple file-chooser-select-multiple "select-multiple" "gboolean" t t)
2208   (filter file-chooser-filter "filter" "GtkFileFilter" t t)
2209   (local-only file-chooser-local-only "local-only" "gboolean" t t)
2210   (preview-widget file-chooser-preview-widget "preview-widget" "GtkWidget" t t)
2211   (use-preview-label file-chooser-use-preview-label "use-preview-label" "gboolean" t t)
2212   (preview-widget-active file-chooser-preview-widget-active "preview-widget-active" "gboolean" t t)
2213   (file-system-backend file-chooser-file-system-backend "file-system-backend" "gchararray" nil nil)
2214   (extra-widget file-chooser-extra-widget "extra-widget" "GtkWidget" t t)
2215   (show-hidden file-chooser-show-hidden "show-hidden" "gboolean" t t)
2216   (action file-chooser-action "action" "GtkFileChooserAction" t t)
2217   (:cffi current-name file-chooser-current-name
2218    (:string :free-to-foreign t :encoding :utf-8) nil "gtk_file_chooser_set_current_name")
2219   (:cffi filename file-chooser-filename
2220    (g-string :free-from-foreign t :free-to-foreign t)
2221    "gtk_file_chooser_get_filename" "gtk_file_chooser_set_filename")
2222   (:cffi current-folder file-chooser-current-folder
2223    (g-string :free-from-foreign t :free-to-foreign t)
2224    "gtk_file_chooser_get_current_folder"
2225    "gtk_file_chooser_set_current_folder")
2226   (:cffi uri file-chooser-uri
2227    (g-string :free-from-foreign t :free-to-foreign t)
2228    "gtk_file_chooser_get_uri" "gtk_file_chooser_set_uri")
2229   (:cffi current-folder-uri file-chooser-current-folder-uri
2230    (g-string :free-from-foreign t :free-to-foreign t)
2231    "gtk_file_chooser_get_current_folder_uri"
2232    "gtk_file_chooser_set_current_folder_uri")
2233   (:cffi preview-filename file-chooser-preview-filename
2234    (g-string :free-from-foreign t :free-to-foreign t)
2235    "gtk_file_chooser_get_preview_filename" nil)
2236   (:cffi preview-uri file-chooser-preview-uri
2237    (g-string :free-from-foreign t :free-to-foreign t)
2238    "gtk_file_chooser_get_preview_uri" nil))
2239 @end lisp
2240
2241 @node define-g-enum
2242 @section define-g-enum
2243
2244 @Macro define-g-enum
2245 @lisp
2246 (define-g-enum g-name name (&key (export t) type-initializer) &body value*)
2247
2248 value ::= :keyword
2249 value ::= (:keyword integer)
2250 @end lisp
2251
2252 @table @var
2253 @item @var{g-name}
2254 A string naming the GEnum type
2255 @item @var{name}
2256 A symbol naming the CFFI enumeration type
2257 @item @var{export}
2258 A boolean indicating whether to export @code{name}
2259 @item @var{type-initializer}
2260 A string naming the foreign type initializer function. Usually named @code{enum_get_type}.
2261 @end table
2262
2263 Macro that defines CFFI enumeration, registers it with GValue, and calls the type initializer.
2264
2265 Example:
2266 @lisp
2267 (define-g-enum "GtkTextDirection" text-direction
2268   (:export t :type-initializer "gtk_text_direction_get_type")
2269   (:none 0) (:ltr 1) (:rtl 2))
2270
2271 (define-g-enum "GtkSizeGroupMode" size-group-mode
2272  (:export t :type-initializer "gtk_size_group_mode_get_type")
2273  :none :horizontal :vertical :both)
2274 @end lisp
2275
2276 @node define-g-flags
2277 @section define-g-flags
2278
2279 @Macro define-g-flags
2280 @lisp
2281 (define-g-flags g-name name (&key (export t) type-initializer) &body value*)
2282
2283 value ::= :keyword
2284 value ::= (:keyword integer)
2285 @end lisp
2286
2287 @table @var
2288 @item @var{g-name}
2289 A string naming the GFlags type
2290 @item @var{name}
2291 A symbol naming the CFFI flags type
2292 @item @var{export}
2293 A boolean indicating whether to export @code{name}
2294 @item @var{type-initializer}
2295 A string naming the foreign type initializer function. Usually named @code{flags_get_type}.
2296 @end table
2297
2298 Macro that defines CFFI bitfield, registers it with GValue, and calls the type initializer.
2299
2300 Example:
2301 @lisp
2302 (define-g-flags "GtkAttachOptions" attach-options
2303   (:export t :type-initializer "gtk_attach_options_get_type")
2304   (:expand 1) (:shrink 2) (:fill 4))
2305
2306 (define-g-flags "GtkButtonAction" button-action
2307   (:export t :type-initializer "gtk_button_action_get_type")
2308   :ignored :selects :drags :expands)
2309 @end lisp
2310
2311 @node get-g-enum-definition
2312 @section get-g-enum-definition
2313
2314 @Function get-g-enum-definition
2315 @lisp
2316 (get-g-enum-definition type &optional lisp-name-package) @result{} definition
2317 @end lisp
2318
2319 @table @var
2320 @item @var{type}
2321 A string naming the GEnum type
2322 @item @var{lisp-name-package}
2323 A package that will be used as a package for generated symbols (enum name). If not specified, symbols are interned in @code{*package*}
2324 @item @var{definition}
2325 A Lisp form that when evaluated defines the GEnum.
2326 @end table
2327
2328 Uses GObject introspection capabilities to automatically produce the definition of GEnum. The foreign library that defines the enum type should be loaded.
2329
2330 See @ref{Generating names for CLOS classes and accessors} for information about used method for generating names.
2331
2332 Example:
2333 @lisp
2334 (get-g-enum-definition "GtkDirectionType")
2335 @result{}
2336 (DEFINE-G-ENUM "GtkDirectionType" GTK-DIRECTION-TYPE
2337                (:EXPORT T :TYPE-INITIALIZER "gtk_direction_type_get_type")
2338                (:TAB-FORWARD 0) (:TAB-BACKWARD 1) (:UP 2) (:DOWN 3) (:LEFT 4)
2339                (:RIGHT 5))
2340 @end lisp
2341
2342 @node get-g-flags-definition
2343 @section get-g-flags-definition
2344
2345 @Function get-g-flags-definition
2346 @lisp
2347 (get-g-flags-definition type &optional lisp-name-package) @result{} definition
2348 @end lisp
2349
2350 @table @var
2351 @item @var{type}
2352 A string naming the GFlags type
2353 @item @var{lisp-name-package}
2354 A package that will be used as a package for generated symbols (flags name). If not specified, symbols are interned in @code{*package*}
2355 @item @var{definition}
2356 A Lisp form that when evaluated defines the GFlags.
2357 @end table
2358
2359 Uses GObject introspection capabilities to automatically produce the definition of GFlags. The foreign library that defines the flags type should be loaded.
2360
2361 See @ref{Generating names for CLOS classes and accessors} for information about used method for generating names.
2362
2363 Example:
2364 @lisp
2365 (get-g-flags-definition "GtkCalendarDisplayOptions")
2366 @result{}
2367 (DEFINE-G-FLAGS "GtkCalendarDisplayOptions" GTK-CALENDAR-DISPLAY-OPTIONS
2368                 (:EXPORT T :TYPE-INITIALIZER
2369                  "gtk_calendar_display_options_get_type")
2370                 (:SHOW-HEADING 1) (:SHOW-DAY-NAMES 2) (:NO-MONTH-CHANGE 4)
2371                 (:SHOW-WEEK-NUMBERS 8) (:WEEK-START-MONDAY 16)
2372                 (:SHOW-DETAILS 32))
2373 @end lisp
2374
2375 @node get-g-interface-definition
2376 @section get-g-interface-definition
2377
2378 @Function get-g-interface-definition
2379 @lisp
2380 get-g-interface-definition type &optional lisp-name-package) @result{} definition
2381 @end lisp
2382
2383 @table @var
2384 @item @var{type}
2385 A string naming the GInterface type
2386 @item @var{lisp-name-package}
2387 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*}
2388 @item @var{definition}
2389 A Lisp form that when evaluated defines the GInterface.
2390 @end table
2391
2392 Uses GObject introspection capabilities to automatically produce the definition of GInterface. The foreign library that defines the GInterface 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-interface-definition "GtkActivatable")
2399 @result{}
2400 (DEFINE-G-INTERFACE "GtkActivatable" GTK-ACTIVATABLE
2401                     (:EXPORT T :TYPE-INITIALIZER "gtk_activatable_get_type")
2402                     (USE-ACTION-APPEARANCE
2403                      GTK-ACTIVATABLE-USE-ACTION-APPEARANCE
2404                      "use-action-appearance" "gboolean" T T)
2405                     (RELATED-ACTION GTK-ACTIVATABLE-RELATED-ACTION
2406                      "related-action" "GtkAction" T T))
2407 @end lisp
2408
2409 @node get-g-class-definition
2410 @section get-g-class-definition
2411
2412 @Function get-g-class-definition
2413 @lisp
2414 (get-g-class-definition type &optional lisp-name-package) @result{} definition
2415 @end lisp
2416
2417 @table @var
2418 @item @var{type}
2419 A string naming the GObject type
2420 @item @var{lisp-name-package}
2421 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*}
2422 @item @var{definition}
2423 A Lisp form that when evaluated defines the GObject.
2424 @end table
2425
2426 Uses GObject introspection capabilities to automatically produce the definition of GClass. The foreign library that defines the GObject type should be loaded.
2427
2428 See @ref{Generating names for CLOS classes and accessors} for information about used method for generating names.
2429
2430 Example:
2431 @lisp
2432 (get-g-class-definition "GtkButton")
2433 @result{}
2434 (DEFINE-G-OBJECT-CLASS "GtkButton" GTK-BUTTON
2435                        (:SUPERCLASS GTK-BIN :EXPORT T :INTERFACES
2436                         ("AtkImplementorIface" "GtkActivatable" "GtkBuildable")
2437                         :TYPE-INITIALIZER "gtk_button_get_type")
2438                        ((LABEL GTK-BUTTON-LABEL "label" "gchararray" T T)
2439                         (IMAGE GTK-BUTTON-IMAGE "image" "GtkWidget" T T)
2440                         (RELIEF GTK-BUTTON-RELIEF "relief" "GtkReliefStyle" T
2441                          T)
2442                         (USE-UNDERLINE GTK-BUTTON-USE-UNDERLINE "use-underline"
2443                          "gboolean" T T)
2444                         (USE-STOCK GTK-BUTTON-USE-STOCK "use-stock" "gboolean"
2445                          T T)
2446                         (FOCUS-ON-CLICK GTK-BUTTON-FOCUS-ON-CLICK
2447                          "focus-on-click" "gboolean" T T)
2448                         (XALIGN GTK-BUTTON-XALIGN "xalign" "gfloat" T T)
2449                         (YALIGN GTK-BUTTON-YALIGN "yalign" "gfloat" T T)
2450                         (IMAGE-POSITION GTK-BUTTON-IMAGE-POSITION
2451                          "image-position" "GtkPositionType" T T)))
2452 @end lisp
2453
2454 @node Specifying additional properties for CLOS classes
2455 @section Specifying additional properties for CLOS classes
2456
2457 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.
2458
2459 Definitions generator uses variable @code{*additional-properties*} to get this information.
2460
2461 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).
2462
2463 To supply the bindings generator with this information, bind @code{*additional-properties*} to such list when the generator is run.
2464
2465 Example:
2466 @lisp
2467 (("GtkTreeViewColumn"
2468   (:cffi gtk::tree-view
2469          gtk::tree-view-column-tree-view
2470          g-object "gtk_tree_view_column_get_tree_view" nil)
2471   (:cffi gtk::sort-column-id
2472          gtk::tree-view-column-sort-column-id
2473          :int "gtk_tree_view_column_get_sort_column_id" "gtk_tree_view_column_set_sort_column_id")
2474   (:cffi gtk::cell-renderers
2475          gtk::tree-view-column-cell-renderers
2476          (glist g-object  :free-from-foreign t) "gtk_tree_view_column_get_cell_renderers" nil))
2477  ("GtkTreeSelection"
2478   (:cffi gtk::mode
2479          gtk::tree-selection-mode
2480          gtk::selection-mode "gtk_tree_selection_get_mode" "gtk_tree_selection_set_mode")
2481   (:cffi gtk::select-function
2482          gtk::tree-selection-select-function
2483          nil gtk::tree-selection-get-selection-function gtk::tree-selection-set-select-function)))
2484 @end lisp
2485
2486 @node Generating names for CLOS classes and accessors
2487 @section Generating names for CLOS classes and accessors
2488
2489 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).
2490
2491 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.
2492
2493 Name generation affected by following variables:
2494 @itemize
2495 @item @var{*strip-prefix*}
2496 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}.
2497 @item @var{*lisp-name-exceptions*}
2498 A plist mapping from strings (type names) to symbols (class names) that have special name processing.
2499 Example:
2500 @lisp
2501 `(("GObject" gobject:g-object)
2502   ("GtkObject" ,(intern "GTK-OBJECT" (find-package :gtk)))
2503   ("GInitiallyUnowned" gobject::g-initially-unowned)
2504   ("GtkWindow" ,(intern "GTK-WINDOW" (find-package :gtk)))
2505   ("GtkUIManager" ,(intern "UI-MANAGER" (find-package :gtk)))
2506   ("GtkUIManagerItemType" ,(intern "UI-MANAGER-ITEM-TYPE" (find-package :gtk))))
2507 @end lisp
2508 @end itemize
2509
2510 @node generate-types-hierarchy-to-file
2511 @section generate-types-hierarchy-to-file
2512
2513 @Function generate-types-hierarchy-to-file
2514 @lisp
2515 (generate-types-hierarchy-to-file file
2516                                   root-type
2517                                   &key include-referenced
2518                                   prefix
2519                                   package
2520                                   exceptions
2521                                   prologue
2522                                   interfaces
2523                                   enums
2524                                   flags
2525                                   objects
2526                                   exclusions
2527                                   additional-properties)
2528 @end lisp
2529
2530 @table @var
2531 @item @var{file}
2532 A string or pathname naming the file, or a stream.
2533 @item @var{root-type}
2534 A GType designator for a root type. All types that inherit from this type will be defined.
2535 @item @var{&key include-referenced}
2536 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
2537 @item @var{prefix}
2538 A string naming the prefix that should be removed from the beginning of names
2539 @item @var{package}
2540 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
2541 @item @var{exceptions}
2542 A plist that maps GType names to their Lisp names.
2543 See @ref{Generating names for CLOS classes and accessors} for more info on exceptions from name generation mechanism
2544 @item @var{prologue}
2545 A string that will be included verbatim in generated code file
2546 @item @var{interfaces}
2547 Additional list of interfaces that will also be included in generation
2548 @item @var{enums}
2549 Additional list of enums that will also be included in generation
2550 @item @var{flags}
2551 Additional list of flags that will also be included in generation
2552 @item @var{objects}
2553 Additional list of object types that will also be included in generation
2554 @item @var{exclusions}
2555 A list of GType names that will be excluded from generation
2556 @item @var{additional-properties}
2557 A plist of properties definitions that will be added to generated classes.
2558 See @ref{Specifying additional properties for CLOS classes} for more information.
2559 @end table
2560
2561 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.
2562
2563 Example of usage:
2564 @lisp
2565 (generate-types-hierarchy-to-file
2566  "gtk.generated-classes.lisp"
2567  "GtkObject"
2568  :include-referenced t
2569  :prefix "Gtk"
2570  :package (or (find-package :gtk) (make-package :gtk))
2571  :exceptions `(("GObject" gobject:g-object)
2572                ("GtkObject" ,(intern "GTK-OBJECT" (find-package :gtk)))
2573                ("GInitiallyUnowned" gobject::g-initially-unowned)
2574                ("GtkWindow" ,(intern "GTK-WINDOW" (find-package :gtk)))
2575                ("GtkUIManager" ,(intern "UI-MANAGER" (find-package :gtk)))
2576                ("GtkUIManagerItemType" ,(intern "UI-MANAGER-ITEM-TYPE" (find-package :gtk))))
2577  :prologue (format nil "(in-package :gtk)")
2578  :interfaces '("GtkBuildable" "GtkCellEditable" ...)
2579  :objects '("GtkSettings" "GtkRcStyle" ...)
2580  :flags '("GtkTextSearchFlags" "GtkAccelFlags" ...)
2581  :enums '("GtkTextDirection" "GtkSizeGroupMode" ...)
2582  :exclusions '("PangoStretch" "PangoVariant" ...)
2583  :additional-properties
2584  '(("GtkTreeViewColumn"
2585     (:cffi
2586      gtk::tree-view
2587      gtk::tree-view-column-tree-view
2588      g-object
2589      "gtk_tree_view_column_get_tree_view"
2590      nil)
2591     ...)
2592    ...))
2593 @end lisp