Quintus Prolog

X Toolkit Predicates

     xtAddActions(+Actions)
     Actions:    ActionsList

     xtAddCallback(+Widget,+WidgetCallback,+Callback,+ClientData)
     Widget:     Widget
     WidgetCallback:     WidgetCallbackType
     Callback:   CallbackProc
     ClientData: AnyTerm

     xtAddCallbacks(+Widget,+WidgetCallback,+Callbacks)
     Widget:     Widget
     WidgetCallback:     WidgetCallbackType
     Callbacks:  CallbackList

     xtAddEventHandler(+Widget,+EventMask,+NonMaskable,+EventHandler,+ClientData)
     Widget:     Widget
     EventMask:  XEventMask
     NonMaskable:        Boolean
     EventHandler:       EventProc
     ClientData: AnyTerm

     xtAddGrab(+Widget,+Exclusive,+SpringLoaded)
     Widget:     Widget
     Exclusive:  Boolean
     SpringLoaded:       Boolean

     xtAddInput(+Source,+Condition,+InputProc,+ClientData,-InputId)
     Source:     Integer
     Condition:  XtInputCondMask
     InputProc:  InputProc
     ClientData: AnyTerm
     InputId:    XtInputId

     xtAddRawEventHandler(+Widget,+EventMask,+NonMaskable,+EventHandler,
              +ClientData)
     Widget:     Widget
     EventMask:  XEventMask
     NonMaskable:        Boolean
     EventHandler:       EventProc
     ClientData: AnyTerm

     xtAddTimeOut(+Interval,+TimerProc,+ClientData,-IntervalId)
     Interval:   Integer
     TimerProc:  TimerProc
     ClientData: AnyTerm
     IntervalId: XtIntervalId

     xtAddWorkProc(+WorkProc,+ClientData,-WorkProcId)
     WorkProc:   WorkProc
     ClientData: AnyTerm
     WorkProcId: XtWorkProcId

     xtAppAddActions(+AppContext,+Actions)
     AppContext: XtAppContext
     Actions:    ActionsList

     xtAppAddInput(+AppContext,+Source,+Condition,+InputProc,+ClientData,-InputId)
     AppContext: XtAppContext
     Source:     Integer
     Condition:  XtInputCondMask
     InputProc:  InputProc
     ClientData: AnyTerm
     InputId:    XtInputId

     xtAppAddTimeOut(+AppContext,+Interval,+TimerProc,+ClientData,-IntervalId)
     AppContext: XtAppContext
     Interval:   Integer
     TimerProc:  TimerProc
     ClientData: AnyTerm
     IntervalId: XtIntervalId

     xtAppAddWorkProc(+AppContext,+WorkProc,+ClientData,-WorkProcId)
     AppContext: XtAppContext
     WorkProc:   WorkProc
     ClientData: AnyTerm
     WorkProcId: XtWorkProcId

     xtAppCreateShell(+Name,+Class,+WidgetClass,+Display,
              +Attributes,-Widget)
     Name:       String
     Class:      String
     WidgetClass:        WidgetClass
     Display:    Display
     Attributes: AttributeList
     Widget:     Widget

     xtAppGetSelectionTimeout(+AppContext, +Timeout)
     AppContext: XtAppContext
     Timeout:    Integer

     xtAppInitialize(-AppContext, +Class, +Attributes, -Widget)
     AppContext: XtAppContext
     Class:      String
     Attributes: AttributeList
     Widget:     Widget

     xtAppMainLoop(+AppContext)
     AppContext: XtAppContext

     xtAppNextEvent(+AppContext, +Event)
     AppContext: XtAppContext
     Event:      XEvent

     xtAppPeekEvent(+AppContext, +Event)
     AppContext: XtAppContext
     Event:      XEvent

     xtAppPending(+AppContext, -Mask)
     AppContext: XtAppContext
     Mask        XtInputMask

     xtAppProcessEvent(+AppContext, +Mask)
     AppContext: XtAppContext
     Mask        XtInputMask

     xtAppSetErrorHandler(+AppContext, +ErrorProc)
     AppContext: XtAppContext
     ErrorProc:  CallbackProc

     xtAppSetSelectionTimeout(+AppContext, +Timeout)
     AppContext: XtAppContext
     Timeout:    Integer

     xtAppSetWarningHandler(+AppContext, +WarnProc)
     AppContext: XtAppContext
     WarnProc:   CallbackProc

     xtAugmentTranslations(+Widget, +TranslationTable)
     Widget:     Widget
     TranslationTable:   XtTranslations

     xtBuildEventMask(+Widget,-EventMask)
     Widget:     Widget
     EventMask:  XEventMask

     xtCallbackExclusive(+Widget,+Shell,+DummyClientData)
     Widget:     Widget
     Shell:      Widget
     DummyClientData:    Integer

     xtCallbackNone(+Widget,+Shell,+DummyClientData)
     Widget:     Widget
     Shell:      Widget
     DummyClientData:    Integer

     xtCallbackNonexclusive(+Widget,+Shell[+DummyClientData])
     Widget:     Widget
     Shell:      Widget
     DummyClientData:    Integer

     xtCallbackPopdown(+Widget,+Shell,+DummyClientData)
     Widget:     Widget
     Shell:      Widget
     DummyClientData:    Integer

     xtClass(+Widget,-WidgetClass)
     Widget:     Widget
     WidgetClass:        WidgetClass

     xtCloseDisplay(+Display)
     Display:    Display

     xtConvert(+Widget,+FromType,+From,+FromLen,+ToType,-To,-ToLen)
     Widget:     Widget
     FromType:   String
     From:       String or Integer
     FromLen:    Integer
     ToType:     String
     To: String or Integer
     ToLen:      Integer

     xtCreateApplicationContext(-AppContext)
     AppContext

     xtCreateApplicationShell(+Name,+WidgetClass,+Attributes,-Widget)
     Name:       String
     WidgetClass:        WidgetClass
     Attributes: AttributeList
     Widget:     Widget

     xtCreateManagedWidget(+Name,+WidgetClass,+Parent,+Attributes,-Widget)
     Name:       String
     WidgetClass:        WidgetClass
     Parent:     Widget
     Attributes: AttributeList
     Widget:     Widget

     xtCreatePopupShell(+Name,+WidgetClass,+Parent,+Attributes,-Widget)
     Name:       String
     WidgetClass:        WidgetClass
     Parent:     Widget
     Attributes: AttributeList
     Widget:     Widget

     xtCreateWidget(+Name,+WidgetClass,+Parent,+Attributes,-Widget)
     Name:       String
     WidgetClass:        WidgetClass
     Parent:     Widget
     Attributes: AttributeList
     Widget:     Widget

     xtDestroyApplicationContext(+AppContext)
     AppContext: XtAppContext

     xtDestroyWidget(+Widget)
     Widget:     Widget

     xtDispatchEvent(+Event)
     Event:      XEvent

     xtDisplay(+Widget,-Display)
     Widget:     Widget
     Display:    Display

     xtDisplayInitialize(+AppContext,+Display,+Name,+Class)
     AppContext: XtAppContext
     Display:    Display
     Name:       String
     Class:      String

     xtDisplayOfObject(+Widget,-Display)
     Widget:     Widget
     Display:    Display

     xtDisplayToApplicationContext(+Display, -AppContext)
     Display:    Display
     AppContext: XtAppContext

     xtFree(+Object)
     Object:     AnyTerm

     xtGetSelectionTimeout(+AppContext, +Timeout)
     Timeout:    Integer

     xtGetValues(+Widget,+Attributes)
     Widget:     Widget
     Attributes: AttributeList

     xtHasCallbacks(+Widget,+WidgetCallback,+CallbackStatus)
     Widget:     Widget
     WidgetCallback:     WidgetCallbackType
     CallbackStatus:     XtCallbackStatus

     xtInitialize(+Name,+Class,-Widget)
     Name:       String
     Class:      String
     Widget:     Widget

     xtInitializeWidgetClass(+Widget)
     Widget:     Widget

     xtInstallAccelerators(+Destination,+Source)
     Destination:        Widget
     Source:     Widget

     xtInstallAllAccelerators(+Destination,+Source)
     Destination:        Widget
     Source:     Widget

     xtIsManaged(+Widget)
     Widget:     Widget

     xtIsObject(+Widget)
     Widget:     Widget

     xtIsRealized(+Widget)
     Widget:     Widget

     xtIsSensitive(+Widget)
     Widget:     Widget

     xtIsSubclass(+Widget, +WidgetClass)
     Widget:     Widget
     WidgetClass:        WidgetClass

     xtMainLoop

     xtManageChild(+Widget)
     Widget:     Widget

     xtManageChildren(+WidgetList)
     WidgetList: WidgetList

     xtName(+Widget,-Name)
     Widget:     Widget
     Name:       String

     xtNameToWidget(+Reference, +Name, -Widget)
     Reference:  Widget
     Name:       String
     Widget:     Widget

     xtNextEvent(+Event)
     Event:      XEvent

     xtOpenDisplay(+AppContext,+Name,AppName,+Class,-Display)
     AppContext: XtAppContext
     Name:       String
     AppName:    String
     Class:      String
     Display:    Display

     xtOverrideTranslations(+Widget, +TranslationTable)
     Widget:     Widget
     TranslationTable:   XtTranslations

     xtParent(+Child,-Parent)
     Child:      Widget
     Parent:     Widget

     xtParseAcceleratorTable(+Accelerators, -AcceleratorTable)
     Accelerators:       String
     AcceleratorTable:   XtAccelerators

     xtParseTranslationTable(+Translations, -TranslationTable)
     Translations:       String
     TranslationTable:   XtTranslations

     xtPeekEvent(-Event)
     Event:      XEvent

     xtPending(-InputMask)
     InputMask:  XEventMask

     xtPopdown(+Widget)
     Widget:     Widget

     xtPopup(+Widget,+GrabKind)
     Widget:     Widget
     GrabKind:   XtGrabKind

     xtProcessEvent(+InputMask)
     InputMask:  XEventMask

     xtRealizeWidget(+Widget)
     Widget:     Widget

     xtRemoveAllCallbacks(+Widget,+WidgetCallback)
     Widget:     Widget
     WidgetCallback:     WidgetCallbackType

     xtRemoveCallback(+Widget,+WidgetCallback,+Callback,+ClientData)
     Widget:     Widget
     WidgetCallback:     WidgetCallbackType
     Callback:   CallbackProc
     ClientData: AnyTerm

     xtRemoveCallbacks(+Widget,+WidgetCallback,+Callbacks)
     Widget:     Widget
     WidgetCallback:     WidgetCallbackType
     Callbacks:  CallbackList

     xtRemoveEventHandler(+Widget,+EventMask,+NonMaskable,+EventHandler,
              +ClientData)
     Widget:     Widget
     EventMask:  XEventMask
     NonMaskable:        Boolean
     EventHandler:       EventProc
     ClientData: AnyTerm

     xtRemoveGrab(+Widget)
     Widget:     Widget

     xtRemoveInput(+InputId)
     InputId:    XtInputId

     xtRemoveRawEventHandler(+Widget,+EventMask,+NonMaskable,+EventHandler,
              +ClientData)
     Widget:     Widget
     EventMask:  XEventMask
     NonMaskable:        Boolean
     EventHandler:       EventProc
     ClientData: AnyTerm

     xtRemoveTimeOut(+IntervalId)
     IntervalId: XtIntervalId

     xtRemoveWorkProc(+WorkProcId)
     WorkProcId: XtWorkProcId

     xtScreen(+Widget,-Screen)
     Widget:     Widget
     Screen:     Screen

     xtScreenOfObject(+Widget,-Screen)
     Widget:     Widget
     Screen:     Screen

     xtSetErrorHandler(+ErrorProc)
     ErrorProc:  CallbackProc

     xtSetKeyboardFocus(+Subtree,+Descendant)
     Subtree:    Widget
     Descendant: Widget

     xtSetMappedWhenManaged(+Widget,+MappedWhenManaged)
     Widget:     Widget
     MappedWhenManaged:  Boolean

     xtSetSelectionTimeout(+Timeout)
     Timeout:    Integer

     xtSetSensitive(+Widget, +Sensitive)
     Widget:     Widget
     Sensitive:  Boolean

     xtSetValues(+Widget,+Attributes)
     Widget:     Widget
     Attributes: AttributeList

     xtSetWarningHandler(+WarnProc)
     WarnProc:   CallbackProc

     xtSuperclass(+Widget, -WidgetClass)
     Widget:     Widget
     WidgetClass:        WidgetClass

     xtToolkitInitialize

     xtTranslateCoords(+Widget, +X, +Y, -RootX, -RootY)
     Widget:     Widget
     X:  Position
     Y:  Position
     RootXReturn:        Position
     RootYReturn:        Position

     xtUninstallTranslations(+Widget)
     Widget:     Widget

     xtUnmanageChild(+Widget)
     Widget:     Widget

     xtUnmanageChildren(+WidgetList)
     WidgetList: WidgetList

     xtUnrealizeWidget(+Widget)
     Widget:     Widget

     xtWidgetToApplicationContext(+Widget,-AppContext)
     Widget:     Widget
     AppContext: XtAppContext

     xtWindow(+Widget,-Window)
     Widget:     Widget
     Window:     Window

     xtWindowOfObject(+Widget,-Window)
     Widget:     Widget
     Window:     Window

     xtWindowToWidget(+Display, +Window, +Widget)
     Display:    Display
     Window:     Window
     Widget:     Widget

     xCreateGC(+Display, +Window, +Values, -GC)
     Display:    Display
     Window:     Window
     Values:     XGCValues
     GC: XGC

     xFreeGC(+Display, +GC)
     Display:    Display
     GC: XGC

     xLoadQueryFont(+Display, +FontName, -Font)
     Display:    Display
     FontName:   String
     Font:       XFont