doc/gobject.ref.texi

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