MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
<ドロ−Widget>
(描画プリミティブ)
xtDrawPoint(+WidgetName, +X, +Y)
xtDrawPoints(+WidgetName, +PointList)
xtDrawLine(+WidgetName, +X1, +Y1, +X2, +Y2)
xtDrawLines(+WidgetName, +PointList)
xtDrawSegments(+WidgetName, +SegmentList)
xtDrawRectangle(+WidgetName, +X, +Y, +Width, +Height)
xtDrawRectangles(+WidgetName, +RectangleList)
xtDrawArc(+WidgetName, +X, +Y, +Width, +Height,
+Angle1, +Angle2)
xtDrawArcs(+WidgetName, ArcList)
xtDrawFillRectangle(+WidgetName, +X, +Y, +Width, +Height)
xtDrawFillRectangles(+WidgetName, +RectangleList)
xtDrawFillArc(+WidgetName, +X, +Y, +Width, +Height,
+Angle1, +Angle2)
xtDrawFillArcs(+WidgetName, +ArcList)
xtDrawFillPolygon(+WidgetName, +PointList, +CoordMode)
xtDrawString(+WidgetName, +X, +Y, +String)
xtDrawImageString(+WidgetName, +X, +Y, +String)
xtDrawCopyBitmap(+WidgetName, +Bitmap, +X, +Y)
xtDrawCopyArea(+WidgetName, +SrcX, +SrcY, +Width, +Height,
+DestX, +DestY)
xtDrawClearArea(+WidgetName, +X, +Y, +Width, +Height,
+Exposures)
(GCメモリ)
xtDrawStoreGC(+WidgetName, +Ngc)
xtDrawRecallGC(+WidgetName, +Ngc)
(GCの設定)
xtDrawSetParam(+WidgetName, +Which, +Value)
xtDrawSetDashes(+WidgetName, +Offset, +DashList)
xtDrawSetTSOrigin(+WidgetName, +X, +Y)
(miscellanous)
xtDrawFlush(+WidgetName)
xtDrawClear(+WidgetName)
xtDrawRepaint(+WidgetName)
(削除)
xtDrawDeleteLine(+WidgetName, +X1, +Y1, +X2, +Y2)
(ポインタの位置の問い合わせ)
xtDrawGetXY(+WidgetName, ?X, ?Y)
xtDrawQueryPointer(+WidgetName, ?X, ?Y)
(ラバ−モ−ド)
xtDrawSetRubberGC(+WidgetName)
xtDrawUnsetRubberGC(+WidgetName)
(テキスト・エクステントの問い合わせ)
xtDrawFontExtents(+WidgetName, ?Direction, ?Ascent,
?Descent)
xtDrawStringExtents(+WidgetName, +String, +Width,
?Ascent, ?Descent)
(ビットマップ・エクステントの問い合わせ)
xtDrawBitmapExtents(+WidgetName, +Bitmap, ?Width, ?Height)
(ダンプ/アンダンプ)
xtDrawReadWindowDump(+WidgetName, +Src_x, +Src_y,
+Width, +Height,
+Dest_x, +Dest_y, +FileName)
xtDrawWriteWindowDump(+WidgetName, +FileName)
xtDrawQueryDumpFile(+WidgetName, +FileName)
<Xm文字列関数>
xtDrawXmStringBaseline(+WidgetName, +XmString,?Baseline)
xtDrawXmString(+WidgetName, +XmString, +X, +Y, +Width,
+Alignment, +LayoutDirection, +Clip)
xtDrawXmStringImage(+WidgetName, +XmString, +X, +Y,+Width,
+Alignment, +LayoutDirection, +Clip)
xtDrawXmStringUnderline(+WidgetName, +XmString,+X,+Y,
+Width, +Alignment, +LayoutDirection,+Clip, +Underline)
xtDrawXmStringExtent(+WidgetName, +XmString, ?Width, ?Height)
xtDrawXmStringHeight(+WidgetName, +XmString, ?Height)
xtDrawXmStringLength(+WidgetName, +XmString, ?Length)
xtDrawXmStringLineCount(+WidgetName, +XmString, ?LineCount)
xtDrawXmStringWidth(+WidgetName, +XmString, ?Width)
<カスケードボタン・ウィジェット/ガジェット>
xmCascadeButtonHighlight(+WidgetName, +Highlight)
xmCascadeButtonGadgetHighlight(+WidgetName, +Highlight)
<コマンドWidget>
xmCommandAppendValue(+WidgetName,+Command)
xmCommandError(+WidgetName,+Error)
xmCommandGetChild(+WidgetName,+ChildSpec,?Child)
xmCommandSetValue(+WidgetName,+Command)
<ファイル選択ボックスWidget>
xmFileSelectionBoxGetChild(+Widget, +ChildSpec, ?Child)
xmFileSelectionDoSearch(+Widget, +DirMask)
<ハイパーWidget>
xtHyperPrevPage(+HyperWidget, -PageNo)
xtHyperNextPage(+HyperWidget, -PageNo)
xtHyperLastPageNo(+HyperWidget, -PageNo)
xtHyperPageNo(+HyperWidget, ?PageNo)
xtHyperTargetPointerY(+HyperWidget, -TargetPointerY)
xtHyperCurrentTargetPointer(+HyperWidget, -TargetPointer)
xtHyperAddHyperLink(+HyperWidget, +Position, +Length,
?LinkNo, +Label)
xtHyperAddSemLink(+HyperWidget, +Position, +Length,
+LinkNo, +Label)
xtHyperAddTargetPointerLabel(+HyperWidget, +Position, +Label)
xtHyperRemoveHyperLink(+HyperWidget, +LinkNo)
xtHyperRemoveSemLink(+HyperWidget, +LinkNo)
xtHyperRemoveTargetPointerLabel(+HyperWidget, +Pos)
xtHyperGetText(+HyperWidget, +Start, +End, -Text)
xtHyperGetSelection(+HyperWidget, -Start, -End, -Text)
xtHyperSetSelection(+HyperWidget, +Start, +End)
xtHyperGetLinkPos(+HyperWidget, +LinkNo, -Start, -End)
xtHyperGetSemLinkPos(+HyperWidget, +LinkNo, -Start, -End)
xtHyperLabelToLinkNo(+HyperWidget, +Label, -LinkNo)
xtHyperSemLabelToLinkNo(+HyperWidget, +Label, -LinkNo)
<リストWidget>
xmListAddItem(+WidgetName,+Item,+Position)
xmListAddItems(+WidgetName,+Items,+Position)
xmListAddItemUnselected(+WidgetName,+Item,+Position)
xmListDeleteAllItems(+WidgetName)
xmListDeleteItem(+WidgetName,+Item)
xmListDeleteItems(+WidgetName,+Items)
xmListDeleteItemsPos(+WidgetName,+Item_count,+Position)
xmListDeletePos(+WidgetName,+Position)
xmListDeselectAllItems(+WidgetName)
xmListDeselectItem(+WidgetName,+Item)
xmListDeselectPos(+WidgetName,+Item,+Position)
xmListGetMatchPos(+WidgetName, +Item, ?PositionList,
+PositionCount)
xmListGetSelectedPos(+WidgetName, ?PositionList, +PositionCount)
xmListItemExists(+WidgetName, +Item)
xmListItemPos(+WidgetName, +Item, ?Position)
xmListReplaceItems(+WidgetName, +Old_items, +New_items)
xmListReplaceItemsPos(+WidgetName, +New_items, +Position)
xmListSelectItem(+WidgetName, +Item, +Notify)
xmListSelectPos(+WidgetName, +Position, +Notify)
xmListSetAddMode(+WidgetName, +Mode)
xmListSetBottomItem(+WidgetName, +Item)
xmListSetBottomPos(+WidgetName, +Position)
xmListSetHorizPos(+WidgetName, +Position)
xmListSetItem(+WidgetName, +Item)
xmListSetPos(+WidgetName, +Position)
<メインウインドウWidget>
xmMainWindowSep1(+WidgetName, ?Sep1)
xmMainWindowSep2(+WidgetName, ?Sep2)
xmMainWindowSep3(+WidgetName, ?Sep3)
xmMainWindowSetAreas(+Widget, +MenuBar, +CommandWindow,
+HorizontalScrollBar, +VerticalScrollBar,
+WorkRegion)
<メッセージボックスWidget>
xmMessageBoxGetChild(+Widget, +ChildSpec, ?Child)
<行カラムWidget>
xmCreateSimpleCheckBox(+ParentName, ?WidgetName, ?ToolkitName,
+ArgList)
xmCreateSimpleMenuBar(+ParentName, ?WidgetName, ?ToolkitName,
+ArgList)
xmCreateSimpleOptionMenu(+ParentName, ?WidgetName,
?ToolkitName, +ArgList)
xmCreateSimplePopupMenu(+ParentName, ?WidgetName, ?ToolkitName,
+ArgList)
xmCreateSimplePulldownMenu(+ParentName, ?WidgetName,
?ToolkitName, +ArgList)
xmCreateSimpleRadioBox(+ParentName, ?WidgetName, ?ToolkitName,
xmGetPostedFromWidget(+Menu, ?Widget)
xmMenuPosition(+Widget)
xmGetMenuCursor(?Cursor)
xmSetMenuCursor(+Cursor)
xmOptionButtonGadget(+Widget, ?Gadget)
xmOptionLabelGadget(+Widget, ?Gadget)
xmMenuPosition(+Widget)
<スケールWidget>
xmScaleGetValue(+Widget, ?Value)
xmScaleSetValue(+Widget, +Value)
<スクロールバーWidget>
xmScrollbarGetValues(+Widget, ?Value, ?Slider,
?Increment, ?PageIncrement)
xmScrollbarSetValues(+Widget, +Value, +Slider,
+Increment, +PageIncrement)
xmScrolledWindowSetAreas(+Widget, +HorizontalScrollbar,
+VerticalScrollbar, +WorkRegion)
<セレクションボックスWidget>
xmSelectionBoxGetChild(+Widget, +ChildSpec, ?Child)
<テキストWidget>
xmTextClearSelection(+WidgetName)
xmTextCopy(+WidgetName)
xmTextCut(+WidgetName)
xmTextGetBaseline(+WidgetName,?X_Position)
xmTextGetEditable(+WidgetName)
xmTextGetInsertionPosition(+WidgetName,?CursorPosition)
xmTextGetLastPosition(+WidgetName,?LastPosition)
xmTextGetMaxLength(+WidgetName,?MaxLength)
xmTextGetSelection(+WidgetName,?Selection)
xmTextGetSelectionPosition(+WidgetName,?Left,?Right)
xmTextGetSource(+WidgetName,?Source)
xmTextGetString(+WidgetName,?String)
xmTextGetTopCharacter(+WidgetName,?TopCharacter)
xmTextInsert(+WidgetName,+Position,+Value)
xmTextPaste(+WidgetName)
xmTextPosToXY(+WidgetName,+Position,?X,?Y)
xmTextRemove(+WidgetName)
xmTextReplace(+WidgetName,+FromPos,+ToPos,+Value)
xmTextScroll(+WidgetName,+Lines)
xmTextSetAddMode(+WidgetName,+State)
xmTextSetEditable(+WidgetName,+Editable)
xmTextSetHighlight(+WidgetName,+Left,+Right,+Mode)
xmTextSetInsertionPosition(+WidgetName,+Position)
xmTextSetMaxLength(+WidgetName,+MaxLength)
xmTextSetSelection(+WidgetName,+First,+Last)
xmTextSetSource(+WidgetName,+Source)
xmTextSetString(+WidgetName,+String)
xmTextSetTopCharacter(+WidgetName,+Top_character)
xmTextShowPosition(+WidgetName,+Position)
xmTextXYToPos(+WidgetName,+X,+Y,?Position)
<テキストフィールドWidget>
xmTextFieldClearSelection(+WidgetName)
xmTextFieldCopy(+WidgetName)
xmTextFieldCut(+WidgetName)
xmTextFieldGetBaseline(+WidgetName,?X_Position)
xmTextFieldGetEditable(+WidgetName)
xmTextFieldGetInsertionPosition(+WidgetName,?CursorPosition)
xmTextFieldGetLastPosition(+WidgetName,?LastPosition)
xmTextFieldGetMaxLength(+WidgetName,?MaxLength)
xmTextFieldGetSelection(+WidgetName,?Selection)
xmTextFieldGetSelectionPosition(+WidgetName,?Left,?Right)
xmTextFieldGetString(+WidgetName,?String)
xmTextFieldInsert(+WidgetName,+Position,+Value)
xmTextFieldPaste(+WidgetName)
xmTextFieldPosToXY(+WidgetName,+Position,?X,?Y)
xmTextFieldRemove(+WidgetName)
xmTextFieldReplace(+WidgetName,+FromPos,+ToPos,+Value)
xmTextFieldSetAddMode(+WidgetName,+State)
xmTextFieldSetEditable(+WidgetName,+Editable)
xmTextFieldSetHighlight(+WidgetName,+Left,+Right,+Mode)
xmTextFieldSetInsertionPosition(+WidgetName,+Position)
xmTextFieldSetMaxLength(+WidgetName,+MaxLength)
xmTextFieldSetSelection(+WidgetName,+First,+Last)
xmTextFieldSetString(+WidgetName,+String)
xmTextFieldShowPosition(+WidgetName,+Position)
xmTextFieldXYToPos(+WidgetName,+X,+Y,?Position)
<トグルボタンWidget>
xmToggleButtonGetState(+Widget)
xmToggleButtonGadgetGetState(+Widget)
xmToggleButtonSetState(+Widget, +State, +Notify)
xmToggleButtonGadgetSetState(+Widget, +State, +Notify)
|