home *** CD-ROM | disk | FTP | other *** search
-
- DOMAINS
-
- % a topic is a keyword, some text, and a collection
- % of associated buttons
- topic_type = topic(keyword, topic_text, buttons)
-
- % a collection of buttons is a list of objects of type button
- buttons = button_type*
-
- % a button is an association of a region of the topic text
- % and an action to be executed when the button is "pressed"
- button_type = button(region, action)
-
- region = rectangle(row, column, high, wide)
-
- action = show_info_on(keyword) ;
- paste_as_comment(region);
- paste_as_code(region);
- finish_existing;
- show_main_index;
- user_pressed_escape
-
- keyword, topic_text = string
- row, col, high, wide = integer
-
-