x windows predicates More...
Go to the source code of this file.
Data Structures | |
| struct | wl_EventClosure |
Macros | |
| #define | stdin_fileno fileno(stdin) |
| #define | CR 0x0d |
| #define | BS 0x08 |
| #define | DrawableGC(w) (GC)GetIntAttr(GetPsiAttr(w,"graphic_context"),"id") |
| #define | WindowDisplayList(w) GetIntAttr(GetPsiAttr(w,"display_list"),"id") |
| #define | DISP(X) (Display *)val[X] |
| #define | DRAW(X) (Drawable)val[X] |
| #define | WIND(X) (Window)val[X] |
| #define | GCVAL(X) (GC)val[X] |
| #define | FONT(X) (Font)val[X] |
| #define | CMAP(X) (Colormap)val[X] |
| #define | STRG(X) ((char *)val[X]) |
Typedefs | |
| typedef struct wl_EventClosure | EventClosure |
Functions | |
| static int | x_handle_error (Display *display, XErrorEvent *x_error) |
| x_handle_error More... | |
| static int | x_handle_fatal_error (Display *display) |
| x_handle_fatal_error More... | |
| void | bk_stack_add_int_attr (ptr_psi_term t, char *attrname, long value) |
| bk_stack_add_int_attr More... | |
| void | bk_change_psi_attr (ptr_psi_term t, char *attrname, ptr_psi_term value) |
| bk_change_psi_attr More... | |
| long | unify_int_result (ptr_psi_term t, long v) |
| unify_int_result More... | |
| static ptr_psi_term | NewPsi (ptr_definition t, char *f, long v) |
| ptr_psi_term NewPsi More... | |
| long | GetIntAttr (ptr_psi_term psiTerm, char *attributeName) |
| GetIntAttr. More... | |
| ptr_psi_term | GetPsiAttr (ptr_psi_term psiTerm, char *attributeName) |
| GetPsiAttr. More... | |
| static void | ResizePixmap (ptr_psi_term psi_window, Display *display, Window window, unsigned long width, unsigned long height) |
| ResizePixmap. More... | |
| static void | FreeWindow (Display *display, ptr_psi_term psi_window) |
| FreeWindow. More... | |
| long | xcOpenConnection () |
| xcOpenConnection More... | |
| long | xcDefaultRootWindow () |
| xcDefaultRootWindow More... | |
| static long | GetConnectionAttribute (Display *display, long attributeId, long *attribute) |
| GetConnectionAttribute. More... | |
| long | xcGetConnectionAttribute () |
| xcGetConnectionAttribute More... | |
| static long | GetScreenAttribute (Display *display, long screen, long attributeId, long *attribute) |
| GetScreenAttribute. More... | |
| long | xcGetScreenAttribute () |
| xcGetScreenAttribute More... | |
| long | xcCloseConnection () |
| xcCloseConnection More... | |
| long | xcCreateSimpleWindow () |
| xcCreateSimpleWindow More... | |
| long | xcSetStandardProperties () |
| xcSetStandardProperties More... | |
| long | xcGetWindowGeometry () |
| xcGetWindowGeometry More... | |
| static long | GetWindowAttribute (Display *display, long window, long attributeId, long *attribute) |
| GetWindowAttribute. More... | |
| long | xcGetWindowAttribute () |
| xcGetWindowAttribute More... | |
| long | xcSetWindowGeometry () |
| xcSetWindowGeometry More... | |
| long | xcMoveWindow () |
| xcMoveWindow More... | |
| static long | SetWindowAttribute (ptr_psi_term psi_window, Display *display, Drawable window, unsigned long attributeId, unsigned long attribute) |
| SetWindowAttribute. More... | |
| long | xcSetWindowAttribute () |
| xcSetWindowAttribute More... | |
| long | xcMapWindow () |
| xcMapWindow More... | |
| long | xcRaiseWindow () |
| xcRaiseWindow More... | |
| long | xcUnmapWindow () |
| xcUnmapWindow More... | |
| long | xcMapSubwindows () |
| xcMapSubwindows More... | |
| long | xcUnmapSubwindows () |
| xcUnmapSubwindows More... | |
| long | xcClearWindow () |
| xcClearWindow More... | |
| long | xcResizeWindowPixmap () |
| xcResizeWindowPixmap More... | |
| long | xcSelectInput () |
| xcSelectInput More... | |
| long | xcRefreshWindow () |
| xcRefreshWindow More... | |
| long | xcPostScriptWindow () |
| xcPostScriptWindow More... | |
| long | xcDestroyWindow () |
| xcDestroyWindow More... | |
| long | xcCreateGC () |
| xcCreateGC More... | |
| static long | GetGCAttribute (GC gc, long attributeId, long *attribute) |
| GetGCAttribute. More... | |
| long | xcGetGCAttribute () |
| xcGetGCAttribute More... | |
| static long | SetGCAttribute (Display *display, GC gc, long attributeId, long attribute) |
| SetGCAttribute. More... | |
| long | xcSetGCAttribute () |
| xcSetGCAttribute More... | |
| long | xcDestroyGC () |
| xcDestroyGC More... | |
| long | xcRequestColor () |
| xcRequestColor More... | |
| long | xcRequestNamedColor () |
| xcRequestNamedColor More... | |
| long | xcFreeColor () |
| xcFreeColor More... | |
| long | xcDrawLine () |
| xcDrawLine More... | |
| long | xcDrawArc () |
| xcDrawArc More... | |
| long | xcDrawRectangle () |
| xcDrawRectangle More... | |
| long | xcFillRectangle () |
| xcFillRectangle More... | |
| long | xcFillArc () |
| xcFillArc More... | |
| long | xcPointsAlloc () |
| xcPointsAlloc More... | |
| long | xcCoordPut () |
| xcCoordPut More... | |
| long | xcPointsFree () |
| xcPointsFree More... | |
| long | xcDrawPolygon () |
| xcDrawPolygon More... | |
| long | xcFillPolygon () |
| xcFillPolygon More... | |
| long | xcLoadFont () |
| xcLoadFont More... | |
| long | xcUnloadFont () |
| xcUnloadFont More... | |
| long | xcDrawString () |
| xcDrawString More... | |
| long | xcDrawImageString () |
| xcDrawImageString More... | |
| long | xcStringWidth () |
| xcStringWidth More... | |
| long | xcSync () |
| xcSync More... | |
| static ptr_psi_term | xcEventToPsiTerm (XEvent *event) |
| xcEventToPsiTerm More... | |
| long | list_is_nil (ptr_psi_term(lst)) |
| list_is_nil More... | |
| ptr_psi_term | list_cdr (ptr_psi_term(lst)) |
| list_cdr More... | |
| ptr_psi_term | list_car (ptr_psi_term(lst)) |
| list_car More... | |
| void | list_set_car (ptr_psi_term lst, ptr_psi_term value) |
| list_set_car More... | |
| void | list_set_cdr (ptr_psi_term lst, ptr_psi_term value) |
| list_set_cdr More... | |
| ptr_psi_term | list_last_cdr (ptr_psi_term lst) |
| list_last_cdr More... | |
| ptr_psi_term | append_to_list (ptr_psi_term lst, ptr_psi_term value) |
| append_to_list More... | |
| long | map_funct_over_list (ptr_psi_term lst, long(*proc)(), long *closure) |
| map_funct_over_list More... | |
| long | map_funct_over_cars (ptr_psi_term lst, long(*proc)(), long *closure) |
| map_funct_over_cars More... | |
| void | list_remove_value (ptr_psi_term lst, ptr_psi_term value) |
| list_remove_value More... | |
| static long | x_union_event (ptr_psi_term psiEvent, EventClosure *closure) |
| x_union_event More... | |
| long | xcGetEvent () |
| xcGetEvent More... | |
| static long | x_flush_event (ptr_psi_term eventElt, EventClosure *closure) |
| x_flush_event ptr_psi_term eventElt More... | |
| long | xcFlushEvents () |
| xcFlushEvents More... | |
| long | xcQueryPointer () |
| xcQueryPointer More... | |
| void | x_setup_builtins () |
| x_setup_builtins More... | |
| static long | WaitNextEvent (long *ptreventflag) |
| WaitNextEvent. More... | |
| long | x_read_stdin_or_event (long *ptreventflag) |
| x_read_stdin_or_event More... | |
| static long | mask_match_type (long mask, long type) |
| mask_match_type More... | |
| static ptr_psi_term | x_what_psi_event (ptr_psi_term beginSpan, ptr_psi_term endSpan, long eventType) |
| x_what_psi_event More... | |
| static void | x_build_existing_event (XEvent *event, ptr_psi_term beginSpan, ptr_psi_term endSpan, long eventType) |
| x_build_existing_event More... | |
| static long | x_next_event_span (ptr_psi_term eventElt, EventClosure *eventClosure) |
| x_next_event_span More... | |
| long | x_exist_event () |
| x_exist_event More... | |
| void | x_destroy_window (Display *display, Window window) |
| x_destroy_window More... | |
| void | x_show_window (Display *display, long window) |
| x_show_window More... | |
| void | x_hide_window (Display *display, long window) |
| x_hide_window More... | |
| void | x_show_subwindow (Display *display, long window) |
| x_show_subwindow More... | |
| void | x_hide_subwindow (Display *display, long window) |
| x_hide_subwindow More... | |
| long | xcQueryTextExtents () |
| xcQueryTextExtents More... | |
| ptr_goal | GoalFromPsiTerm (ptr_psi_term psiTerm) |
| GoalFromPsiTerm. More... | |
x windows predicates
Definition in file xpred.c.
| #define DrawableGC | ( | w | ) | (GC)GetIntAttr(GetPsiAttr(w,"graphic_context"),"id") |
| #define WindowDisplayList | ( | w | ) | GetIntAttr(GetPsiAttr(w,"display_list"),"id") |
| typedef struct wl_EventClosure EventClosure |
| ptr_psi_term append_to_list | ( | ptr_psi_term | lst, |
| ptr_psi_term | value | ||
| ) |
append_to_list
| ptr_psi_term | lst |
| ptr_psi_term | value |
Definition at line 3032 of file xpred.c.
References wl_psi_term::coref, list_last_cdr(), psi_term_ptr, push_ptr_value_global(), stack_cons(), and stack_nil().
| void bk_change_psi_attr | ( | ptr_psi_term | t, |
| char * | attrname, | ||
| ptr_psi_term | value | ||
| ) |
bk_change_psi_attr
| ptr_psi_term | t |
| char | *attrname |
| ptr_psi_term | value |
Definition at line 240 of file xpred.c.
References wl_psi_term::attr_list, bk_stack_insert(), wl_psi_term::coref, wl_node::data, deref_ptr, FEATCMP, find(), and heap_copy_string().
| void bk_stack_add_int_attr | ( | ptr_psi_term | t, |
| char * | attrname, | ||
| long | value | ||
| ) |
bk_stack_add_int_attr
| ptr_psi_term | t |
| char | * attrname |
| long | value |
Definition at line 206 of file xpred.c.
References wl_psi_term::attr_list, bk_stack_insert(), wl_node::data, deref_ptr, FEATCMP, find(), heap_alloc(), heap_copy_string(), int_ptr, integer, push_ptr_value(), REAL, stack_psi_term(), wl_psi_term::type, and wl_psi_term::value_3.
|
static |
FreeWindow.
| Display | *display |
| ptr_psi_term | psi_window |
Static free all attributes of a window,that is: its display list,its gc, its pixmap ...
Definition at line 463 of file xpred.c.
References DrawableGC, GetIntAttr(), GetPsiAttr(), WindowDisplayList, and x_free_display_list().
|
static |
|
static |
| long GetIntAttr | ( | ptr_psi_term | psiTerm, |
| char * | attributeName | ||
| ) |
GetIntAttr.
| ptr_psi_term | psiTerm |
| char | *attributeName |
Utilities return the value of the attribute attributeName on the psi-term psiTerm
Definition at line 333 of file xpred.c.
References wl_psi_term::attr_list, wl_node::data, deref_ptr, Errorline(), exit_life(), FEATCMP, find(), REAL, TRUE, and wl_psi_term::value_3.
| ptr_psi_term GetPsiAttr | ( | ptr_psi_term | psiTerm, |
| char * | attributeName | ||
| ) |
GetPsiAttr.
| ptr_psi_term | psiTerm |
| char | *attributeName |
Utilities return the psi-term of the attribute attributeName on the psi-term psiTerm
Definition at line 367 of file xpred.c.
References wl_psi_term::attr_list, wl_node::data, Errorline(), exit_life(), FEATCMP, find(), NULL, and TRUE.
|
static |
|
static |
| ptr_goal GoalFromPsiTerm | ( | ptr_psi_term | psiTerm | ) |
GoalFromPsiTerm.
| ptr_psi_term | psiTerm |
not used anymore, but interesting
Definition at line 3989 of file xpred.c.
References aim, Errorline(), FALSE, wl_residuation::goal, wl_residuation::next, NULL, and wl_psi_term::resid.
| ptr_psi_term list_car | ( | ptr_psi_term(lst) | ) |
list_car
| ptr_psi_term(lst) |
Definition at line 2960 of file xpred.c.
References alist, deref_ptr, Errorline(), and get_two_args().
| ptr_psi_term list_cdr | ( | ptr_psi_term(lst) | ) |
list_cdr
| ptr_psi_term(lst) |
Definition at line 2934 of file xpred.c.
References alist, deref_ptr, Errorline(), and get_two_args().
| long list_is_nil | ( | ptr_psi_term(lst) | ) |
| ptr_psi_term list_last_cdr | ( | ptr_psi_term | lst | ) |
list_last_cdr
| ptr_psi_term | lst |
Definition at line 3016 of file xpred.c.
References list_cdr(), and list_is_nil().
| void list_remove_value | ( | ptr_psi_term | lst, |
| ptr_psi_term | value | ||
| ) |
list_remove_value
| ptr_psi_term | lst |
| ptr_psi_term | value |
Definition at line 3100 of file xpred.c.
References wl_psi_term::coref, deref_ptr, FALSE, list_car(), list_cdr(), list_is_nil(), psi_term_ptr, push_ptr_value_global(), and TRUE.
| void list_set_car | ( | ptr_psi_term | lst, |
| ptr_psi_term | value | ||
| ) |
list_set_car
| ptr_psi_term | lst |
| ptr_psi_term | value |
Definition at line 2987 of file xpred.c.
References wl_psi_term::attr_list, deref_ptr, FEATCMP, one, and stack_insert().
| void list_set_cdr | ( | ptr_psi_term | lst, |
| ptr_psi_term | value | ||
| ) |
list_set_cdr
| ptr_psi_term | lst |
| ptr_psi_term | value |
Definition at line 3002 of file xpred.c.
References wl_psi_term::attr_list, deref_ptr, FEATCMP, stack_insert(), and two.
| long map_funct_over_cars | ( | ptr_psi_term | lst, |
| long(*)() | proc, | ||
| long * | closure | ||
| ) |
map_funct_over_cars
| ptr_psi_term | lst |
| long(*proc)() | |
| long | *closure |
Definition at line 3075 of file xpred.c.
References list_car(), list_cdr(), list_is_nil(), and TRUE.
| long map_funct_over_list | ( | ptr_psi_term | lst, |
| long(*)() | proc, | ||
| long * | closure | ||
| ) |
map_funct_over_list
| ptr_psi_term | lst |
| long(*proc)() | |
| long | *closure |
Definition at line 3053 of file xpred.c.
References list_cdr(), list_is_nil(), and TRUE.
|
static |
mask_match_type
| long | mask |
| long | type |
Static returns TRUE if the mask matches the type
Definition at line 3625 of file xpred.c.
References FALSE, TRUE, and xevent_mask.
|
static |
ptr_psi_term NewPsi
| ptr_definition | t |
| char | *f |
| long | v |
Static build a psi-term of type t with a feature f of value v
Definition at line 314 of file xpred.c.
References bk_stack_add_int_attr(), stack_psi_term(), and wl_psi_term::type.
|
static |
ResizePixmap.
| ptr_psi_term | psi_window |
| Display | *display |
| Window | window |
| unsigned | long width |
| unsigned | long height |
Static resize the pixmap of the window
Definition at line 400 of file xpred.c.
References bk_change_psi_attr(), bk_stack_add_int_attr(), GetIntAttr(), GetPsiAttr(), NewPsi(), and NULL.
|
static |
|
static |
SetWindowAttribute.
| ptr_psi_term | psi_window |
| Display | *display |
| Drawable | window |
| unsigned | long attributeId |
| unsigned | long attribute |
SetWindowAttribute
Definition at line 1318 of file xpred.c.
References FALSE, ResizePixmap(), and TRUE.
| long unify_int_result | ( | ptr_psi_term | t, |
| long | v | ||
| ) |
unify_int_result
| ptr_psi_term | t |
| long | v |
Utility unify psi_term T to the integer value V could be in builtins.c
Definition at line 271 of file xpred.c.
References def_ptr, deref_ptr, FALSE, heap_alloc(), i_check_out(), int_ptr, integer, matches(), push_ptr_value(), REAL, release_resid(), wl_psi_term::resid, wl_psi_term::status, TRUE, wl_psi_term::type, and wl_psi_term::value_3.
|
static |
WaitNextEvent.
| long | *ptreventflag |
not a built-in called by what_next_aim in login.c
Definition at line 3493 of file xpred.c.
References Errorline(), exit_life(), FALSE, input_stream, interrupt(), start_of_line, stdin_fileno, TRUE, and x_exist_event().
|
static |
x_build_existing_event
| XEvent | *event |
| ptr_psi_term | beginSpan |
| ptr_psi_term | endSpan |
| long | eventType |
Static builds xevent_existing
Definition at line 3674 of file xpred.c.
References bk_change_psi_attr(), list_remove_value(), psi_term_ptr, push_ptr_value_global(), warningline(), x_what_psi_event(), and xcEventToPsiTerm().
| void x_destroy_window | ( | Display * | display, |
| Window | window | ||
| ) |
x_destroy_window
| Display | *display |
| Window | window |
used when backtracking a created window in order to destroy the window
| long x_exist_event | ( | ) |
x_exist_event
not a built-in used by main_prove() and what_next()
Definition at line 3784 of file xpred.c.
References wl_EventClosure::beginSpan, wl_EventClosure::display, FALSE, list_is_nil(), list_last_cdr(), map_funct_over_list(), wl_EventClosure::mask, NULL, TRUE, wl_psi_term::type, wl_EventClosure::window, x_build_existing_event(), and x_next_event_span().
|
static |
x_flush_event ptr_psi_term eventElt
| EventClosure | *closure |
Static remove the event from the queue if matching
Definition at line 3212 of file xpred.c.
References wl_EventClosure::display, GetIntAttr(), list_car(), list_remove_value(), wl_EventClosure::mask, TRUE, and wl_EventClosure::window.
|
static |
x_handle_error
| Display | *display |
| XErrorEvent | *x_error |
Definition at line 170 of file xpred.c.
References Errorline(), exit_life(), and TRUE.
|
static |
x_handle_fatal_error
| Display | *display |
Definition at line 188 of file xpred.c.
References Errorline(), exit_life(), and TRUE.
| void x_hide_subwindow | ( | Display * | display, |
| long | window | ||
| ) |
| void x_hide_window | ( | Display * | display, |
| long | window | ||
| ) |
|
static |
x_next_event_span
| ptr_psi_term | eventElt |
| EventClosure | *eventClosure |
Static get the next span of waiting events
Definition at line 3710 of file xpred.c.
References wl_EventClosure::beginSpan, wl_EventClosure::display, FALSE, GetIntAttr(), list_car(), wl_EventClosure::mask, NULL, TRUE, wl_psi_term::type, wl_EventClosure::window, and x_build_existing_event().
| long x_read_stdin_or_event | ( | long * | ptreventflag | ) |
x_read_stdin_or_event
| long | *ptreventflag |
Definition at line 3575 of file xpred.c.
References EOLN, FALSE, infoline(), input_stream, line_count, NOTQUIET, NULL, old_saved_char, output_stream, prompt, saved_char, start_of_line, TRUE, verbose, and WaitNextEvent().
| void x_setup_builtins | ( | ) |
x_setup_builtins
SETUPBUILTINS Set up the X built-in predicates.
Definition at line 3371 of file xpred.c.
References function_it, new_built_in(), predicate, raw_setup_builtins(), set_current_module(), update_symbol(), x_handle_error(), x_handle_fatal_error(), x_module, xcClearWindow(), xcCloseConnection(), xcCoordPut(), xcCreateGC(), xcCreateSimpleWindow(), xcDefaultRootWindow(), xcDestroyGC(), xcDestroyWindow(), xcDrawArc(), xcDrawImageString(), xcDrawLine(), xcDrawPolygon(), xcDrawRectangle(), xcDrawString(), xcFillArc(), xcFillPolygon(), xcFillRectangle(), xcFlushEvents(), xcFreeColor(), xcGetConnectionAttribute(), xcGetEvent(), xcGetGCAttribute(), xcGetScreenAttribute(), xcGetWindowAttribute(), xcGetWindowGeometry(), xcLoadFont(), xcMapSubwindows(), xcMapWindow(), xcMoveWindow(), xcOpenConnection(), xcPointsAlloc(), xcPointsFree(), xcPostScriptWindow(), xcQueryPointer(), xcQueryTextExtents(), xcRaiseWindow(), xcRefreshWindow(), xcRequestColor(), xcRequestNamedColor(), xcResizeWindowPixmap(), xcSelectInput(), xcSetGCAttribute(), xcSetStandardProperties(), xcSetWindowAttribute(), xcSetWindowGeometry(), xcStringWidth(), xcSync(), xcUnloadFont(), xcUnmapSubwindows(), and xcUnmapWindow().
| void x_show_subwindow | ( | Display * | display, |
| long | window | ||
| ) |
| void x_show_window | ( | Display * | display, |
| long | window | ||
| ) |
|
static |
x_union_event
| ptr_psi_term | psiEvent |
| EventClosure | *closure |
Static return FALSE if the events match
Definition at line 3127 of file xpred.c.
References wl_EventClosure::display, GetIntAttr(), wl_EventClosure::mask, and wl_EventClosure::window.
|
static |
x_what_psi_event
| ptr_psi_term | beginSpan |
| ptr_psi_term | endSpan |
| long | eventType |
Static returns the psi-event of the list corresponding to the existing event
Definition at line 3650 of file xpred.c.
References GetIntAttr(), list_car(), list_cdr(), and mask_match_type().
| long xcClearWindow | ( | ) |
xcClearWindow
xcClearWindow xcClearWindow(+Connection,+Window) clear the Window on the display Connection.
Definition at line 1633 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, real, TRUE, WIND, WindowDisplayList, x_free_display_list(), and xwindow.
| long xcCloseConnection | ( | ) |
xcCloseConnection
xcCloseConnection xcCloseConnection(+Connection) Close the connection.
Definition at line 787 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, real, and TRUE.
| long xcCoordPut | ( | ) |
xcCoordPut
CoordPut xcCoordPut(+Points,+N,+Coord) put nth coordinate in Points
Definition at line 2471 of file xpred.c.
References begin_builtin, end_builtin, include_var_builtin, real, and TRUE.
| long xcCreateGC | ( | ) |
xcCreateGC
CREATEGC xcCreateGC(+Connection,+Drawable,-GC) create a graphic context.
Definition at line 1810 of file xpred.c.
References begin_builtin, DISP, end_builtin, Errorline(), FALSE, include_var_builtin, REAL, real, TRUE, unify_real_result(), WIND, and xdrawable.
| long xcCreateSimpleWindow | ( | ) |
xcCreateSimpleWindow
xcCreateSimpleWindow
xcCreateSimpleWindow(+Display,+Parent,+X,+Y,+Width,+Height, +BackGroundColor,+WindowTitle,+IconTitle, +BorderWidth,+BorderColor, +Permanent,+Show,-Window)
create a simple window.
Definition at line 816 of file xpred.c.
References arg_c, arg_v, begin_builtin, bk_change_psi_attr(), bk_stack_add_int_attr(), boolean, destroy_window, DISP, end_builtin, Errorline(), FALSE, include_var_builtin, NewPsi(), NULL, push_goal(), push_window(), quoted_string, real, ResizePixmap(), show(), show_window, stack_psi_term(), STRG, TRUE, wl_psi_term::type, unify, WIND, x_display_list(), x_show_window(), x_window_creation, and xwindow.
| long xcDefaultRootWindow | ( | ) |
xcDefaultRootWindow
xcDefaultRootWindow xcDefaultRootWindow(+Display,-Root) return the root window of the given display
Definition at line 529 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, NewPsi(), NULL, push_goal(), real, TRUE, unify, and xdrawable.
| long xcDestroyGC | ( | ) |
xcDestroyGC
DESTROYGC xcDestroyGC(+Connection,+GC) destroys a graphic context.
Definition at line 2126 of file xpred.c.
References begin_builtin, DISP, end_builtin, GCVAL, include_var_builtin, real, and TRUE.
| long xcDestroyWindow | ( | ) |
xcDestroyWindow
xcDestroyWindow xcDestroyWindow(+Connection,+Window) Close and destroy the window(unbacktrable).
Definition at line 1773 of file xpred.c.
References begin_builtin, clean_undo_window(), DISP, end_builtin, Errorline(), exit_life(), FALSE, FreeWindow(), GetPsiAttr(), include_var_builtin, wl_definition::keyword, real, wl_keyword::symbol, TRUE, wl_psi_term::type, WIND, and xwindow.
| long xcDrawArc | ( | ) |
xcDrawArc
DrawArc xcDrawArc(+Connection,+Drawable,+X,+Y,+Width,+Height,+StartAngle,+ArcAngle, +Function,+Color,+LineWidth) draw arc(see X Vol.2 page 135 for the meanings of the arguments).
Definition at line 2291 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, real, TRUE, WindowDisplayList, x_record_arc(), x_set_gc(), xDefaultFont, and xdrawable.
| long xcDrawImageString | ( | ) |
xcDrawImageString
DrawImageString xcDrawImageString(+Connection,+Drawable,+X,+Y,String, +Font,+Function,+Color) Print the string(foreground+background).
Definition at line 2699 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, quoted_string, real, STRG, TRUE, WIND, WindowDisplayList, x_record_string(), x_set_gc(), xDefaultLineWidth, and xdrawable.
| long xcDrawLine | ( | ) |
xcDrawLine
DrawLine xcDrawLine(+Connection,+Drawable,+X0,+Y0,+X1,+Y1, +Function,+Color,+LineWidth) draw a line(X0,Y0) ->(X1,Y1)
Definition at line 2253 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, real, TRUE, WindowDisplayList, x_record_line(), x_set_gc(), xDefaultFont, and xdrawable.
| long xcDrawPolygon | ( | ) |
xcDrawPolygon
DrawPolygon xcDrawPolygon(+Connection,+Drawable,+Points,+NbPoints, +Function,+Color,+LineWidth) draw a polygon.
Definition at line 2523 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, real, TRUE, WindowDisplayList, x_record_polygon(), x_set_gc(), xDefaultFont, and xdrawable.
| long xcDrawRectangle | ( | ) |
xcDrawRectangle
DrawRectangle xcDrawRectangle(+Connection,+Drawable,+X,+Y,+Width,+Height, +Function,+Color,+LineWidth) draw a rectangle.
Definition at line 2330 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, real, TRUE, WindowDisplayList, x_record_rectangle(), x_set_gc(), xDefaultFont, and xdrawable.
| long xcDrawString | ( | ) |
xcDrawString
DrawString xcDrawString(+Connection,+Drawable,+X,+Y,String, +Font,+Function,+Color) Print the string(only foreground).
Definition at line 2657 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, quoted_string, real, STRG, TRUE, WindowDisplayList, x_record_string(), x_set_gc(), xDefaultLineWidth, and xdrawable.
|
static |
xcEventToPsiTerm
| XEvent | *event |
EVENTtoPSITERM
Definition at line 2802 of file xpred.c.
References bk_stack_add_int_attr(), BS, buffer, CR, NULL, stack_psi_term(), wl_psi_term::type, xbutton_event, xconfigure_event, xdestroy_event, xenter_event, xexpose_event, xkeyboard_event, xleave_event, xmisc_event, and xmotion_event.
| long xcFillArc | ( | ) |
xcFillArc
FillArc xcFillArc(+Connection,+Drawable,+X,+Y,+Width,+Height,+StartAngle,+ArcAngle, +Function,+Color) fill an arc.
Definition at line 2407 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, real, TRUE, WindowDisplayList, x_record_arc(), x_set_gc(), xDefaultFont, xDefaultLineWidth, and xdrawable.
| long xcFillPolygon | ( | ) |
xcFillPolygon
FillPolygon xcFillPolygon(+Connection,+Drawable,+Points,+NbPoints,+Function,+Color) fill a polygon.
Definition at line 2558 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, real, TRUE, WindowDisplayList, x_record_polygon(), x_set_gc(), xDefaultFont, xDefaultLineWidth, and xdrawable.
| long xcFillRectangle | ( | ) |
xcFillRectangle
FillRectangle xcFillRectangle(+Connection,+Drawable,+X,+Y,+Width,+Height, +Function,+Color) fill a rectangle.
Definition at line 2368 of file xpred.c.
References begin_builtin, DISP, DrawableGC, end_builtin, include_var_builtin, real, TRUE, WindowDisplayList, x_record_rectangle(), x_set_gc(), xDefaultFont, xDefaultLineWidth, and xdrawable.
| long xcFlushEvents | ( | ) |
xcFlushEvents
FlushEvents xcFlushEvents(+Display,+Window,+Mask) flush all residuated events matching(display,window,mask).
Definition at line 3239 of file xpred.c.
References begin_builtin, DISP, wl_EventClosure::display, end_builtin, include_var_builtin, map_funct_over_list(), wl_EventClosure::mask, real, TRUE, wl_EventClosure::window, x_flush_event(), and xwindow.
| long xcFreeColor | ( | ) |
xcFreeColor
FREECOLOR xcFreeColor(+Connection,+ColorMap,+Pixel) free the color in the colormap
Definition at line 2225 of file xpred.c.
References begin_builtin, CMAP, DISP, end_builtin, include_var_builtin, real, and TRUE.
| long xcGetConnectionAttribute | ( | ) |
xcGetConnectionAttribute
long xcQueryTextExtents(); xcGetConnectionAttribute xcGetConnectionAttribute(+Display,+AttributeId,-Value) returns the value corresponding to the attribute id.
Definition at line 641 of file xpred.c.
References begin_builtin, DISP, DRAW, end_builtin, Errorline(), FALSE, GetConnectionAttribute(), include_var_builtin, REAL, real, TRUE, and unify_real_result().
| long xcGetEvent | ( | ) |
xcGetEvent
GetEvent xcGetEvent(+Display,+Window,+Mask) return an event matching the mask in the window. if no event residuate the call else return a null event.
Definition at line 3143 of file xpred.c.
References aim, append_to_list(), wl_goal::bbbb_1, begin_builtin, bk_stack_add_int_attr(), DISP, wl_EventClosure::display, end_builtin, GetPsiAttr(), include_var_builtin, map_funct_over_cars(), wl_EventClosure::mask, NULL, psi_term_ptr, push_goal(), push_ptr_value_global(), real, residuate(), stack_psi_term(), TRUE, unify, warningline(), WIND, wl_EventClosure::window, x_union_event(), and xwindow.
| long xcGetGCAttribute | ( | ) |
xcGetGCAttribute
GETGCATTRIBUTE xcGetGCAttribute(+GC,+AttributeId,-Val) get the value of the attribute id of GC.
Definition at line 1942 of file xpred.c.
References begin_builtin, DISP, end_builtin, Errorline(), FALSE, GCVAL, GetGCAttribute(), include_var_builtin, REAL, real, TRUE, and unify_real_result().
| long xcGetScreenAttribute | ( | ) |
xcGetScreenAttribute
xcGetScreenAttribute xcGetScreenAttribute(+Display,+Screen,+AttributeId,-Value) returns the value corresponding to the attribute id.
Definition at line 752 of file xpred.c.
References begin_builtin, DISP, DRAW, end_builtin, Errorline(), FALSE, GetScreenAttribute(), include_var_builtin, REAL, real, TRUE, and unify_real_result().
| long xcGetWindowAttribute | ( | ) |
xcGetWindowAttribute
xcGetWindowAttribute xcGetWindowAttribute(+Display,+Window,+AttributeId,-Value) returns the value corresponding to the attribute id of the window.
Definition at line 1221 of file xpred.c.
References begin_builtin, DISP, end_builtin, Errorline(), FALSE, GetWindowAttribute(), include_var_builtin, REAL, real, TRUE, unify_real_result(), WIND, and xwindow.
| long xcGetWindowGeometry | ( | ) |
xcGetWindowGeometry
xcGetWindowGeometry xcGetWindowGeometry(+Display,+Window,-X,-Y,-Width,-Height) returns the geometry of the window.
Definition at line 1087 of file xpred.c.
References begin_builtin, DISP, DRAW, end_builtin, Errorline(), FALSE, include_var_builtin, REAL, real, TRUE, unify_real_result(), and xdrawable.
| long xcLoadFont | ( | ) |
xcLoadFont
LoadFont xcLoadFont(+Connection,+Name,-Font) load a font.
Definition at line 2596 of file xpred.c.
References begin_builtin, DISP, end_builtin, Errorline(), FALSE, include_var_builtin, quoted_string, REAL, real, STRG, TRUE, and unify_real_result().
| long xcMapSubwindows | ( | ) |
xcMapSubwindows
xcMapSubwindows xcMapSubwindows(+Connection,+Window) map the sub-windows on the display Connection.
Definition at line 1577 of file xpred.c.
References begin_builtin, DISP, end_builtin, hide_subwindow, include_var_builtin, push_window(), real, TRUE, and WIND.
| long xcMapWindow | ( | ) |
xcMapWindow
xcMapWindow xcMapWindow(+Connection,+Window) map the Window on the display Connection.
Definition at line 1494 of file xpred.c.
References begin_builtin, DISP, end_builtin, hide_window, include_var_builtin, push_window(), real, TRUE, and WIND.
| long xcMoveWindow | ( | ) |
xcMoveWindow
xcMoveWindow xcMoveWindow(+Display,+Window,+X,+Y) Move a window to a different location.
Definition at line 1288 of file xpred.c.
References begin_builtin, DISP, DRAW, end_builtin, include_var_builtin, real, TRUE, and xdrawable.
| long xcOpenConnection | ( | ) |
xcOpenConnection
xcOpenConnection xcOpenConnection(+Name,-Connection) open a connection to the X server.
Definition at line 485 of file xpred.c.
References begin_builtin, end_builtin, Errorline(), FALSE, include_var_builtin, NewPsi(), NULL, push_goal(), quoted_string, STRG, TRUE, unify, and xdisplay.
| long xcPointsAlloc | ( | ) |
xcPointsAlloc
PointsAlloc xcPointsAlloc(+NbPoints,-Points) allocate n points
Definition at line 2445 of file xpred.c.
References begin_builtin, end_builtin, include_var_builtin, REAL, real, TRUE, and unify_real_result().
| long xcPointsFree | ( | ) |
xcPointsFree
PointsFree xcPointsFree(+Points) free points
Definition at line 2500 of file xpred.c.
References begin_builtin, end_builtin, include_var_builtin, real, and TRUE.
| long xcPostScriptWindow | ( | ) |
xcPostScriptWindow
xcPostScriptWindow xcPostScriptWindow(+Display,+Window,Filename) output the contents of the window in Filename
Definition at line 1749 of file xpred.c.
References begin_builtin, end_builtin, GetIntAttr(), GetPsiAttr(), include_var_builtin, quoted_string, real, x_postscript_window(), and xwindow.
| long xcQueryPointer | ( | ) |
xcQueryPointer
xcQueryPointer xcQueryPointer(+Display,+Window, -root_return, -child_return, -root_x_return,-root_y_return, -win_x_return, -win_y_return, -mask_return, -same_screen)
this predicate returns a psi-term containing loads of info about where the pointer is at. See 'XQueryPointer' for a complete definition(the boolean result of XQueryPointer is stored as 'same_screen'.
Definition at line 3319 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, REAL, real, TRUE, unify_real_result(), WIND, and xdrawable.
| long xcQueryTextExtents | ( | ) |
xcQueryTextExtents
xcQueryTextExtents(display,font,string, direction,font-ascent,font-descent, left-bearing,right-bearing,width,ascent,descent)
Definition at line 3930 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, quoted_string, REAL, real, STRG, unify_real_result(), and xcLoadFont().
| long xcRaiseWindow | ( | ) |
xcRaiseWindow
xcRaiseWindow xcRaiseWindow(+Connection,+Window) raise the Window on the display Connection.
Definition at line 1522 of file xpred.c.
References begin_builtin, DISP, end_builtin, hide_window, include_var_builtin, push_window(), real, TRUE, and WIND.
| long xcRefreshWindow | ( | ) |
xcRefreshWindow
xcRefreshWindow xcRefreshWindow(+Connection,+Window) refresh the window
Definition at line 1714 of file xpred.c.
References begin_builtin, DrawableGC, end_builtin, GetIntAttr(), GetPsiAttr(), include_var_builtin, real, TRUE, WindowDisplayList, x_refresh_window(), and xwindow.
| long xcRequestColor | ( | ) |
xcRequestColor
REQUESTCOLOR xcRequestColor(+Connection,+ColorMap,+Red,+Green,+Blue,-Pixel) get the closest color to(Red,Green,Blue) in the ColorMap
Definition at line 2150 of file xpred.c.
References begin_builtin, CMAP, DISP, end_builtin, Errorline(), FALSE, include_var_builtin, REAL, real, TRUE, and unify_real_result().
| long xcRequestNamedColor | ( | ) |
xcRequestNamedColor
REQUESTNAMEDCOLOR xcRequestNamedColor(+Connection,+ColorMap,+Name,-Pixel) get the color corresponding to Name in the ColorMap
Definition at line 2189 of file xpred.c.
References begin_builtin, CMAP, DISP, end_builtin, Errorline(), FALSE, include_var_builtin, quoted_string, REAL, real, STRG, TRUE, and unify_real_result().
| long xcResizeWindowPixmap | ( | ) |
xcResizeWindowPixmap
xcResizeWindowPixmap xcResizeWindowPixmap(+Display,+Window,+Width,+Height) resize the pixmap of the window,useful when we caught the resize event eg: the window is resized manualy.
Definition at line 1661 of file xpred.c.
References begin_builtin, end_builtin, include_var_builtin, real, ResizePixmap(), TRUE, and xdrawable.
| long xcSelectInput | ( | ) |
xcSelectInput
xcSelectInput xcSelectInput(+Connection,+Window,+Mask) select the desired event types
Definition at line 1689 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, real, TRUE, and WIND.
| long xcSetGCAttribute | ( | ) |
xcSetGCAttribute
SETGCATTRIBUTE xcSetGCAttribute(+Display,+GC,+AttributeId,+Val) set the value of the attribute id of GC.
Definition at line 2094 of file xpred.c.
References begin_builtin, DISP, end_builtin, Errorline(), FALSE, GCVAL, include_var_builtin, real, SetGCAttribute(), and TRUE.
| long xcSetStandardProperties | ( | ) |
xcSetStandardProperties
xcSetStandardProperties
xcSetStandardProperties(+Display,+Window,+WindowTitle,+IconTitle, +X,+Y,+Width,+Height)
Definition at line 1043 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, NULL, quoted_string, real, ResizePixmap(), TRUE, WIND, and xwindow.
| long xcSetWindowAttribute | ( | ) |
xcSetWindowAttribute
xcSetWindowAttribute xcSetWindowAttribute(+Display,+Window,+AttributeId,+Value) set the value corresponding to the attribute id.
Definition at line 1460 of file xpred.c.
References begin_builtin, DISP, end_builtin, Errorline(), FALSE, include_var_builtin, real, SetWindowAttribute(), TRUE, and xwindow.
| long xcSetWindowGeometry | ( | ) |
xcSetWindowGeometry
xcSetWindowGeometry xcSetWindowGeometry(+Display,+Window,+X,+Y,+Width,+Height) set the geometry of the window.
Definition at line 1257 of file xpred.c.
References begin_builtin, DISP, DRAW, end_builtin, include_var_builtin, real, ResizePixmap(), TRUE, and xdrawable.
| long xcStringWidth | ( | ) |
xcStringWidth
StringWidth xcStringWidth(+Connection,+Font,+String) returns the width in pixels of the string in the given font.
Definition at line 2741 of file xpred.c.
References aim, wl_goal::bbbb_1, begin_builtin, DISP, end_builtin, Errorline(), FALSE, FONT, include_var_builtin, quoted_string, REAL, real, STRG, TRUE, and unify_real_result().
| long xcSync | ( | ) |
xcSync
SYNC xcSync(+Connection,+Discard) flush the output of the connection.
Definition at line 2779 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, real, and TRUE.
| long xcUnloadFont | ( | ) |
xcUnloadFont
UnloadFont xcUnloadFont(+Connection,+Font) unload a font.
Definition at line 2631 of file xpred.c.
References begin_builtin, DISP, end_builtin, FONT, include_var_builtin, real, and TRUE.
| long xcUnmapSubwindows | ( | ) |
xcUnmapSubwindows
xcUnmapSubwindows xcUnmapSubwindows(+Connection,+Window) unmap the sub-windows on the display Connection.
Definition at line 1604 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, push_window(), real, show_subwindow, TRUE, and WIND.
| long xcUnmapWindow | ( | ) |
xcUnmapWindow
xcUnmapWindow xcUnmapWindow(+Connection,+Window) unmap the Window on the display Connection.
Definition at line 1549 of file xpred.c.
References begin_builtin, DISP, end_builtin, include_var_builtin, push_window(), real, show_window, TRUE, and WIND.
| ptr_definition xbutton_event |
| ptr_definition xconfigure_event |
| ptr_definition xdestroy_event |
| ptr_definition xdisplay |
| ptr_definition xdisplaylist |
| ptr_definition xdrawable |
| ptr_definition xenter_event |
| ptr_definition xevent |
| ptr_psi_term xevent_existing = NULL |
| ptr_psi_term xevent_list = NULL |
| ptr_definition xexpose_event |
| ptr_definition xgc |
| ptr_definition xkeyboard_event |
| ptr_definition xleave_event |
| ptr_definition xmisc_event |
| ptr_definition xmotion_event |
| ptr_definition xpixmap |
| ptr_definition xwindow |
1.8.6