Module #02.01.02.01 : Individual structure deletion

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 deletion of individual structures
using the <delete structure> function.  The state of the CSS is
examined for the changes which occur when the individual structures
are removed.  The effect that <delete structure> has on the list of
posted structures is also tested.


SEMANTIC REQUIREMENTS:


SR1.   <Delete structure> causes the removal of a specified, closed
structure in the CSS.
#F 126
#D 7.1 4.5
#S 4.4.5/29/7
#T P01/1 P04/1 
SR2.   <Delete structure> causes the deletion of all references to that
structure contained in other structures.
#F 126
#D 7.3.4
#S 4.4.5/29/7
#T P01/1 P02/3 P02/6 P04/1 
SR3.   <Delete structure> using a non-existent structure identifier has
no effect on the contents of the CSS.
#F 126
#D 7.1 4.5
#S 4.4.2/25/3
#T P03/1 
SR4.   <Delete structure> causes the specified structure to become
unposted from the workstations to which it is posted.
#F 126
#D 5.7
#S 4.4.5/29/9
#T P05/1 P05/2
#X 05.03 


SR5.   <Delete structure> with the structure identifier referencing
an open structure causes the structure to exist as an open, empty
structure in the CSS.
#F 126
#D 7.1 4.2 4.5
#S
#T P02/1 P02/2 P02/4 P02/5 
SR6.  If references to a deleted structure exist in the open
structure and none of them is the current element, then, after
they are deleted, the element pointer still points to the same
element as before.  If the element pointer was zero, it remains
at zero.
#F 126
#D 7.3 7.3.4 4.3
#S 4.4.5/29/7
#T P06/1 P06/2 P06/5 P06/6
#X 02.02.03 


SR7.  If references to a deleted structure exist in the open
structure and one of them is the current element, then, after
they are deleted, the element pointer is altered to point to the
last preceding element, or to zero if there is no such element.
#F 126
#D 7.3 7.3.4 4.3
#S 4.4.5/29/7
#T P06/3 P06/4 P06/7 P06/8
#X 02.02.03
LOCAL DICTIONARY:

  Functions ---
  126: pdst    <delete structure>
 
  Data Structures ---
  4  ...  phigs_state_list
  4.2  ...  name_of_open_structure
  4.3  ...  element_pointer
  4.5  ...  list_of_structure_identifiers
  5  ...  workstation_state_list
  5.7  ...  list_of_posted_structures
  7  ...  structure_state_list
  7.1  ...  structure_identifier
  7.3  ...  list_of_structure_elements
  7.3.4  ...  execute_structure

PROGRAM 1: Simple structure deletion

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

PROGRAM 2: Structure deletion with an open structure

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

PROGRAM 3: Deletion of a non-existent structure

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

PROGRAM 4: Deletion of multiple structures

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

PROGRAM 5: Unposting structures by deletion

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

PROGRAM 6: Effect of <delete structure> on element pointer

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

End of documentation for 02.01.02.01