DESCRIPTION: This module tests the ability of the programmer to set and change a workstation's highlighting and invisibility filters. These filters, along with the nameset, control a primitive's eligibility for highlighting and/or invisibility upon traversal. SEMANTIC REQUIREMENTS: *** *** *** *** Highlighting *** *** *** ***#F 70
SR1. <Set highlighting filter> sets the specified workstation's highlighting filter entry.
#F 237
SR2. <Inquire highlighting filter> returns the workstation's highlighting filter.
#F 3 237
SR3. Immediately after <open workstation>, the inclusion and exclusion sets of the highlighting filter entry in the Workstation State List (WSL) are null.
#F 60 61 70
SR4. A primitive is highlighted on a workstation if and only if its nameset has an element in common with the inclusion set of and is disjoint from the exclusion set of the highlighting filter of that workstation and it is not invisible.
*** *** *** *** Invisibility *** *** *** ***#F 71
SR5. <Set invisibility filter> sets the specified workstation's invisibility filter entry.
#F 238
SR6. <Inquire invisibility filter> returns the workstation's invisibility filter.
#F 3 238
SR7. Immediately after <open workstation>, the inclusion and exclusion sets of the invisibility filter entry in the Workstation State List (WSL) table are null.
#F 60 61 71
SR8. A primitive is invisible on a workstation if and only if its nameset has an element in common with the inclusion set of and is disjoint from the exclusion set of the invisibility filter of that workstation.
#F 60 61 71
SR9. Invisible primitives do not obscure visible primitives.
*** *** *** *** Filters *** *** *** ***#F 70 71
SR10. The range of accessible names for use by <set highlighting filter> and <set invisibility filter> is at least 0-63.
#F 70 71
SR11. Both the highlighting filter and the invisibility filter are capable of containing at least 64 names.
#F 70 71
SR12. The range of accessible names for use by <set highlighting filter> and <set invisibility filter> consists of the consecutive integers from 0 to the implementation dependent `number of available names for namesets' - 1.
#F 70 71
SR13. Invalid names specified by <set highlighting filter> and <set invisibility filter> are ignored.
LOCAL DICTIONARY:
Functions --- 003: popwk <open workstation> 060: pads <add names to set> 061: pres <remove names from set> 070: pshlft <set highlighting filter> 071: psivft <set invisibility filter> 237: pqhlft <inquire highlighting filter> 238: pqivft <inquire invisibility filter> Data Structures --- 2 ... phigs_description_table 2.5 ... number_of_available_names_for_name_sets 3 ... phigs_traversal_state_list 3.11 ... current_name_set 5 ... workstation_state_list 5.16 ... highlighting_filter 5.17 ... invisibility_filter
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.