sitelogo
付録2 IF/Prolog Athena述語
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>

xawDialogGetValueString(+WidgetName, ?String) xawDialogAddButton(+WidgetName, ?ButtonName, Predicate, ClientData)

<ドロ−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)

<フォ−ムWidget>

xawFormDoLatout(+WidgetName, +Boolean)

<ハイパー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>

xawListChange(+WidgetName, +AtomList, +Resize) xawListHighlight(+WidgetName, +Item) xawListUnhighlight(+WidgetName) xawListShowCurrent(+WidgetName, ?ShowCurrent)

<ペインWidget>

xawPanedSetMinMax(+WidgetName, +Min, +Max) xawPanedGetMinMax(+WidgetName, ?Min, ?Max) xawPanedSetRefigureMode(+WidgetName, +Boolean) xawPanedAllowResize(+WidgetName, +Boolean) xawPanedGetNumSub(+WidgetName, ?NumSub)

<スクロ−ルバ−Widget>

xawScrollbarSetThumb(+WidgetName, +Top, +Shown)

<テキストWidget>

xawTextSetSelection(+WidgetName, +StartPos, +EndPos) xawTextUnsetSelection(+WidgetName) xawTextGetSelectionPos(+WidgetName, ?StartPos, ?EndPos) xawTextReplace(+WidgetName, +StartPos, +EndPos, +Text) xawTextEnableRedisplay(+WidgetName) xawTextDisableRedisplay(+WidgetName) xawTextDisplay(+WidgetName) xawTextChangeOptions(+WidgetName, +OptionList) xawTextGetOptions(+WidgetName, -OptionList) xawTextTopPosition(+WidgetName, ?Position) xawTextSetLastPos(+WidgetName, +Position) xawTextSetInsertionPoint(+WidgetName, +Position) xawTextGetInsertionPoint(+WidgetName, ?Position) xawTextSetStringSource(+WidgetName, +Position, +ArgList) xawTextSetDiskSource(+WidgetName, +Position, +ArgList) xawTextSetAsciiSink(+WidgetName, +ArgList) xawTextSetString(+WidgetName, +String) xawTextGetString(+WidgetName, -String) xawTextLastPosition(+WidgetName, +Position)

<トグルボタンWidget> xawToggleChangeRadioGroup(+WidgetName, +RadioGroup) xawToggleGetCurrent(+WidgetName, ?RadioDate) xawToggleSetCurrent(+WidgetName, +RadioDate) xawToggleUnsetCurrent(+WidgetName, +RadioDate)


戻る 続く..
冒頭へ managed with ubiCMS