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) |
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 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
lst | - ptr_psi_term lst |
value | - ptr_psi_term value |
Definition at line 3035 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
t | - ptr_psi_term t |
attrname | - char *attrname |
value | - 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
t | - ptr_psi_term t |
attrname | - char * attrname |
value | - 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 *display |
psi_window | - 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.
psiTerm | - ptr_psi_term psiTerm |
attributeName | - 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.
psiTerm | - ptr_psi_term psiTerm |
attributeName | - 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.
psiTerm | - ptr_psi_term psiTerm |
not used anymore, but interesting
Definition at line 3992 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
lst | ptr_psi_term lst |
HAD BEEN ptr_psi_term list_car(ptr_psi_term(lst)) changed 2.30 DJD 12/22/2016
Definition at line 2963 of file xpred.c.
References alist, wl_psi_term::attr_list, deref_ptr, Errorline(), get_two_args(), and wl_psi_term::type.
ptr_psi_term list_cdr | ( | ptr_psi_term | lst | ) |
list_cdr
lst | ptr_psi_term lst |
HAD BEEN ptr_psi_term list_cdr(ptr_psi_term(lst)) changed 2.30 DJD 12/22/2016
Definition at line 2936 of file xpred.c.
References alist, wl_psi_term::attr_list, deref_ptr, Errorline(), get_two_args(), and wl_psi_term::type.
long list_is_nil | ( | ptr_psi_term | lst | ) |
ptr_psi_term list_last_cdr | ( | ptr_psi_term | lst | ) |
list_last_cdr
lst | - ptr_psi_term lst |
Definition at line 3019 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
lst | - ptr_psi_term lst |
value | - ptr_psi_term value |
Definition at line 3103 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
lst | - ptr_psi_term lst |
value | - ptr_psi_term value |
Definition at line 2990 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
lst | - ptr_psi_term lst |
value | - ptr_psi_term value |
Definition at line 3005 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
lst | - ptr_psi_term lst |
proc | - long(*proc)() |
closure | - long *closure |
Definition at line 3078 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
lst | - ptr_psi_term lst |
proc | - long(*proc)() |
closure | - long *closure |
Definition at line 3056 of file xpred.c.
References list_cdr(), list_is_nil(), and TRUE.
|
static |
mask_match_type
mask | - long mask |
type | - long type |
Static returns TRUE if the mask matches the type
Definition at line 3628 of file xpred.c.
References FALSE, TRUE, and xevent_mask.
|
static |
ptr_psi_term NewPsi
t | - ptr_definition t |
f | - char *f |
v | - 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.
psi_window | - ptr_psi_term psi_window |
display | - Display *display |
window | - Window window |
width | - unsigned long width |
height | - 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.
psi_window | - ptr_psi_term psi_window |
display | - Display *display |
window | - Drawable window |
attributeId | - unsigned long attributeId |
attribute | - 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
t | - ptr_psi_term t |
v | - 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.
ptreventflag | - long *ptreventflag |
not a built-in called by what_next_aim in login.c
Definition at line 3496 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
event | - XEvent *event |
beginSpan | - ptr_psi_term beginSpan |
endSpan | - ptr_psi_term endSpan |
eventType | - long eventType |
Static builds xevent_existing
Definition at line 3677 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 *display |
window | - 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 3787 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
eventElt | - ptr_psi_term eventElt |
closure | - EventClosure *closure |
Static remove the event from the queue if matching
Definition at line 3215 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 *display |
x_error | - XErrorEvent *x_error |
Definition at line 170 of file xpred.c.
References Errorline(), exit_life(), and TRUE.
|
static |
x_handle_fatal_error
display | - 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
eventElt | - ptr_psi_term eventElt |
eventClosure | - EventClosure *eventClosure |
Static get the next span of waiting events
Definition at line 3713 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
ptreventflag | - long *ptreventflag |
Definition at line 3578 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 3374 of file xpred.c.
References function_it, new_built_in(), predicate_it, 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
psiEvent | - ptr_psi_term psiEvent |
closure | - EventClosure *closure |
Static return FALSE if the events match
Definition at line 3130 of file xpred.c.
References wl_EventClosure::display, GetIntAttr(), wl_EventClosure::mask, and wl_EventClosure::window.
|
static |
x_what_psi_event
beginSpan | - ptr_psi_term beginSpan |
endSpan | - ptr_psi_term endSpan |
eventType | - long eventType |
Static returns the psi-event of the list corresponding to the existing event
Definition at line 3653 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
event | - 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 3242 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 3146 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 3322 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 3933 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 |