| guiパッケージが提供している述語を以下のリストに示します。
アプリケーションの例は$MINERVA_HOME/ExamplePrograms (Unix) または %MINERVA_HOME%
\ExamplePrograms (Windows)を参照して下さい。
また、各述語の詳しい説明は$MINERVA_HOME/gui (Unix) または %MINERVA_HOME%\gui (Wi
ndows)を参照して下さい。
applet_getCodeBase / 2,
applet_getDocumentBase / 2,
applet_getImage / 4,
borderLayout_create / 1,
borderLayout_create / 3,
button_addActionListener / 2,
button_create / 2,
button_getActionCommand / 2,
button_getLabel / 2,
button_setActionCommand / 2,
button_setLabel / 2,
canvas_create / 2,
canvas_create / 5,
canvas_startTicker / 2,
canvas_stopTicker / 1,
cardLayout_create / 1,
cardLayout_create / 3,
cardLayout_show / 3,
checkboxGroup_create / 1,
checkboxGroup_getCurrent / 2,
checkboxGroup_setCurrent / 2,
checkboxMenuItem_create / 2,
checkboxMenuItem_getState / 1,
checkboxMenuItem_setState / 2,
checkbox_addItemListener / 2,
checkbox_create / 2,
checkbox_create / 4,
checkbox_getLabel / 2,
checkbox_getState / 1,
checkbox_setLabel / 2,
checkbox_setState / 2,
choice_addItem / 2,
choice_create / 1,
choice_getItem / 2,
choice_itemCount / 2,
choice_selectItem / 2,
choice_selectedItem / 2,
class_getName / 2,
color_create / 4,
color_getColor / 2,
component_addMouseListener / 2,
component_enable / 2,
component_getBackground / 2,
component_getFont / 2,
component_getFontMetrics / 3,
component_getForeground / 2,
component_getParent / 2,
component_move / 3,
component_nextFocus / 1,
component_resize / 3,
component_setBackground / 2,
component_setFont / 2,
component_setForeground / 2,
component_show / 2,
container_add / 2,
container_add / 3,
container_countComponents / 2,
container_getComponent / 3,
container_setLayout / 2,
flowLayout_create / 1,
flowLayout_create / 2,
flowLayout_create / 4,
font_create / 4,
font_getFamily / 2,
font_getFont / 2,
font_getFont / 3,
font_getName / 2,
font_getSize / 2,
frame_create / 1,
frame_create / 3,
frame_dispose / 1,
frame_pack / 1,
frame_setMenubar / 2,
frame_setTitle / 2,
graphics_drawArc / 7,
graphics_drawImage / 5,
graphics_drawLine / 5,
graphics_drawOval / 5,
graphics_drawRect / 5,
graphics_drawString / 4,
graphics_fillArc / 7,
graphics_fillOval / 5,
graphics_fillRect / 5,
graphics_setColor / 2,
graphics_setFont / 2,
gridBagConstraints_create / 1,
gridBagConstraints_setAnchor / 2,
gridBagConstraints_setFill / 2,
gridBagConstraints_setHeight / 2,
gridBagConstraints_setPadx / 2,
gridBagConstraints_setPady / 2,
gridBagConstraints_setWeightx / 2,
gridBagConstraints_setWeighty / 2,
gridBagConstraints_setWidth / 2,
gridBagConstraints_setX / 2,
gridBagConstraints_setY / 2,
gridBagLayout_create / 1,
gridBagLayout_setConstraints / 3,
gridLayout_create / 3,
gridLayout_create / 5,
label_create / 2,
label_create / 3,
label_getText / 2,
label_setAlignment / 2,
label_setText / 2,
list_addItem / 2,
list_addItem / 3,
list_clear / 1,
list_countItems / 2,
list_create / 1,
list_create / 3,
list_delItem / 2,
list_delItems / 3,
list_deselect / 2,
list_getItem / 3,
list_getRows / 2,
list_isSelected / 2,
list_makeVisible / 2,
list_replaceItem / 3,
list_select / 2,
list_selectedItem / 2,
mediaTracker_addImage / 3,
mediaTracker_create / 2,
mediaTracker_waitForAll / 1,
menuBar_add / 2,
menuBar_create / 1,
menuBar_setHelpMenu / 2,
menuComponent_getFont / 2,
menuComponent_getParent / 2,
menuComponent_setFont / 2,
menuItem_addActionListener / 2,
menuItem_create / 2,
menuItem_setLabel / 2,
menu_add / 2,
menu_addSeparator / 1,
menu_create / 2,
mouseEvent_getX / 2,
mouseEvent_getY / 2,
object_getClass / 2,
object_toString / 2,
panel_create / 1,
panel_create / 3,
textArea_appendText / 2,
textArea_create / 1,
textArea_create / 3,
textArea_getColumns / 2,
textArea_getOutputStream / 2,
textArea_getRows / 2,
textArea_insertText / 3,
textArea_replaceText / 4,
textComponent_getSelectedText / 2,
textComponent_getSelectionEnd / 2,
textComponent_getSelectionStart / 2,
textComponent_getText / 2,
textComponent_isEditable / 1,
textComponent_select / 3,
textComponent_selectAll / 1,
textComponent_setEditable / 2,
textComponent_setText / 2,
textField_addActionListener / 2,
textField_create / 1,
textField_create / 2,
textField_getColumns / 2,
textField_setEchoCharacter / 2,
url_toExternalForm / 2
|
