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_expected WidgetNameがwidgetでない
draw_widget_expected WidgetNameはドロ−widgetでなければならない
integer_expected xtDrawPoint(s),
xtDrawLine(s),
xtDrawSegments,
xtDraw(Fill)Rectangle(s),
xtDraw(Fill)Arc(s),
xtDrawFillPolygon,
xtDrawCopyBitmap,
xtDrawClearArea,
xtDrawCopyArea,
xtDraw(Image)String,
xtDrawSetTSOrigin,
xtDrawDeleteLine:
x-y座標は整数でなければならない
xtDraw(Fill)Arc(s):
angle1,2は整数でなければならない
xtDrawSetDashes:
dash_listは整数から成るリストでなければならない
xtDrawReadWindowDump:
Dest_x, Dest_yは整数でなければならない
positive_integer_expected xtDraw(Fill)Rectangle(s),
xtDraw(Fill)Arc(s),
xtDrawClearArea,
xtDrawCopyArea:
寸法width, heightは正の整数でなければならない
xtDrawSetParam:
線の幅は正の整数でなければならない
xtDrawSetDashes:
オフセットは正の整数でなければならない
xtDrawReadWindowDump:
Src_x, Src_y, Width, Heightは、正の整数でなけ
ればならない
list_expected xtDrawPoints,
xtDrawLines,
xtDrawFillPolygon,
xtDrawSegments,
xtDraw(Fill)Rectangles,
xtDraw(Fill)Arcs:
Listがリストでないか、あるいは短すぎる
atom_expected xtDrawPoints,
xtDrawLines:
CoordModeはアトムでなければならない
xtDrawFillPolygon:
Shape, CoordModeはアトムでなければならない
xtDrawReadWindowDump,
xtDrawWriteWindowDump,
xtDrawQueryDumpFile:
Filenameはアトムでなければならない
xtDrawCopyBitmap,
xtDrawBitmapExtents:
Bitmapはアトムでなければならない
xtDrawClearArea:
Exposuresはアトムでなければならない
xtDraw(Image)String,
xtDrawStringExtents:
Stringはアトムでなければならない
xtDrawStore/RecallGC:
Ngcはアトムでなければならない
xtDrawSetParam:
Which, Valueはアトムでなければならない
illegal_coordMode xtDrawPoints,
xtDrawLines,
xtDrawFillPolygon:
CoordModeはcoordModeOrigin, coordModePreviousの
いずれかでなければならない
illegal_shapeHint xtDrawFillPolygon:
Shapeはcomplex, nonconvex, convexのいずれかで
なければならない
illegal_parameter_type xtDrawSetParam:
Whichが正しいパラメ−タの型でない
illegal_fillStyle xtDrawSetParam:
ValueはfillSolid, fillTiled, fillStippled,
fillOpaqueStippledのいずれかでなければならない
illegal_fillRule xtDrawSetParam:
ValueはevenOddRule, windingRuleのいずれかで
なければならない
illegal_arcMode xtDrawSetParam:
ValueはarcChord, arcPieSliceのいずれかでなければ
ならない
illegal_lineStyle xtDrawSetParam:
ValueはlineSolid, lineOnOffDash, lineDoubleDashの
いずれかでなければならない
illegal_joinStyle xtDrawSetParam:
ValueはjoinMiter, joinRound, joinBevelの
いずれかでなければならない
illegal_capStyle xtDrawSetParam:
ValueはcapNotLast, capButt, capRound,
capProjectingのいずれかでなければならない
end_of_list_expected xtDrawPoints,
DrawLines,
xtDrawFillPolygon,
xtDrawSegments,
xtDraw(Fill)Rectangles,
xtDraw(Fill)Arcs:
Listが長すぎる
bitmapX_expected xtDrawCopyBitmap,
xtDrawSetParam,
xtDrawBitmapExtents:
Bitmap, Valueは、bitmap0 .. bitmap9の
いずれかでなければならない
gcX_expected xtDrawStoreGC,
xtDrawRecallGC:
Ngcはgc0 .. gc9のいずれかでなければならない
fontX_expected xtDrawSetParam:
Valueはfont0 .. font9のいずれかでなければならない
colorX_expected xtDrawSetParam:
Valueはcolor0 .. color9のいずれかでなければならない
cannot_get_image xtDrawWriteWindowDump:
発生してはならない
cannot_get_window_attrs
cannot_translate_coord xtDrawWriteWindowDump:
ドローwidgetが実現されている場合には、
発生してはならない
cannot_open_output_file xtDrawWriteWindowDump:
Filenameが書き込みできない
cannot_open_input_file
cannot_read_header
format_version_mismatch
header_size_too_small
cannot_read_window_name
cannot_read_color_map
cannot_read_pixmap xtDrawReadWindowDump:
Filenameが読み込みできない
Filenameは、正しいフォーマットのウインドウの
ダンプファイルでなければならない
colors_not_matching xtDrawReadWindowDump:
ソースディスプレイとデスティネーションディス
プレイの見かけの色を一致させることができない
| 
