Module #02.03.02 : Element search

All PVT documentation can be found under PHIGS Validation Tests - Overview. You may also return to the hierarchical table of topics covered by the PVT. For an explanation of the format of the individual module documentation, please see section 2.5 of the User's Guide.


DESCRIPTION: This module tests the ability of a PHIGS program to
search for a specified element within a specified structure.

SEMANTIC REQUIREMENTS:


SR1.   <Element search> searches for the next matching element in
the specified structure, beginning at the start element position
and proceeding in the direction specified.
#F 310
#D 7.1 7.3
#S 4.4.6/30/6
#T P01/1 P01/2 P01/3 P01/4 P01/5 P01/6 P01/7 P01/8 P01/9 P01/10 P01/11
#T P01/12 P01/13 P01/14 P01/15 P01/16 P01/17 P01/18 P01/19 P01/20
#T P01/21 P01/22 P01/23 P02/1 P02/2 P02/3 P02/4 
SR2.   When using <element search>, the search terminates if an
element is selected or if the limits of the structure are
reached.
#F 310
#D 7.1 7.3
#S 4.4.6/30/6
#T P01/1 P01/2 P01/3 P01/4 P01/5 P01/6 P01/7 P01/8 P01/9 P01/10 P01/11
#T P01/12 P01/13 P01/14 P01/15 P01/16 P01/17 P01/18 P01/19 P01/20
#T P01/21 P01/22 P01/23 P02/1 P02/2 P02/3 P02/4 
SR3.   When using <element search>, an element qualifies for
selection if and only if its type belongs to the inclusion set and
does not belong to the exclusion set.
#F 310
#D 7.3
#S 4.4.6/30/6
#T P01/1 P01/2 P01/3 P01/4 P01/5 P01/6 P01/7 P01/8 P01/9 P01/10 P01/11
#T P01/12 P01/13 P01/14 P01/15 P01/16 P01/17 P01/18 P01/19 P01/20
#T P01/21 P01/22 P01/23 P02/2 P02/3 P02/4 
SR4.  When using <element search>, ALL designates the set of all
possible element types.
#F 310
#D 7.3
#S 4.4.4/28/4 4.4.6/30/6
#T P01/4 P01/5 P01/6 P01/9 P01/10 P01/12 P01/16 P01/18 P01/19 P01/20
#T P01/21 P01/22 P01/23 P02/2 
SR5.  When using <element search>, NIL designates the virtual element
at position 0 in every structure.
#F 310
#D 7.3
#S 4.4.4/28/4 4.4.6/30/6
#T P01/7 P02/2 #C See defect 9592-1/051. NIL always matches position 0 and only
position 0. Specifying NIL as a member of the inclusion or exclusion
set, therefore, is not the same as specifying a null set.
SR6.   When using <element search>, the inclusion and/or
exclusion set is formed from the union of the specified element
types.
#F 310
#D 7.3
#S 4.4.6/30/6
#T P01/1 P01/2 P01/11 P01/12 P01/13 P01/17 P01/18 P01/19 P01/20 P01/21
#T P01/22 P01/23 P02/1 P02/3 P02/4 
SR7.   When using <element search>, if the start element position
is less than 0, the search will begin at position 0; if the start
element position is greater than the number of elements in the
structure, the search will begin at the last element in the
structure.
#F 310
#D 7.1 7.3
#S 4.4.6/30/6
#T P01/5 P01/6 P01/7 P01/8 P02/2 
SR8.   When using <element search>, if the search is successful,
the status indicator returns the value SUCCESS and found element
position parameter is set to point at the matching element.
#F 310
#D 7.3
#S 4.4.6/30/6
#T P01/1 P01/2 P01/3 P01/4 P01/5 P01/6 P01/7 P01/9 P01/13 P01/17 P01/18
#T P01/19 P01/21 P01/22 P02/2 P02/3 P02/4 
SR9.   When using <element search>, if the search is unsuccessful,
the status indicator returns the value FAILURE.
#F 310
#D 7.3
#S 4.4.6/30/6
#T P01/8 P01/10 P01/11 P01/12 P01/14 P01/15 P01/16 P01/20 P01/23 P02/1 
LOCAL DICTIONARY:

  Functions ---
  310: pels    <element search>
 
  Data Structures ---
  7  ...  structure_state_list
  7.1  ...  structure_identifier
  7.3  ...  list_of_structure_elements
 




PROGRAM 1:
Element search within a single closed structure

You may inspect either the
design or
code for this program.

PROGRAM 2:
Element search with varying types of structures

You may inspect either the
design or
code for this program.

End of documentation for 02.03.02