Module #02.01.02.02 : Structure network 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 structure networks
contained in the CSS.  The state of the CSS is examined for the
changes which occur when structure networks are removed.

The semantic requirements of <delete structure network> may be described
for each structure in the network by the following table:

            PRE-CONDITION                    |     RESULTS
---------------------------------------------+-------------
       reference   ancestor    structure     |
         flag       status       state       |
       ---------   ---------   ---------     |
SR 1    DELETE     ANSPEC        OPEN        |     EMPTY
SR 2    DELETE     NON-ANSPEC    OPEN        |     EMPTY
                                             |
SR 3    DELETE     ANSPEC        CLOSE       |     REMOVE
SR 4    DELETE     NON-ANSPEC    CLOSE       |     REMOVE
                                             |
SR 5    KEEP       ANSPEC        OPEN        |     EMPTY
SR 6    KEEP       NON-ANSPEC    OPEN        |     AS IS
                                             |
SR 7    KEEP       ANSPEC        CLOSE       |     REMOVE
SR 8    KEEP       NON-ANSPEC    CLOSE       |     AS IS

reference flag:     DELETE       The reference handling flag is set to delete.
                    KEEP         The reference handling flag is set to keep.

ancestor status:    ANSPEC       All maximal ancestor paths from the structure
                                 contain the structure specified in the
                                 function.
                    NON-ANSPEC   There exists a maximal ancestor path from
                                 the structure that does not contain the
                                 structure specified in the function.

structure status:   OPEN         The network structure is open at the time
                                 the <delete structure network> function
                                 is performed.
                    CLOSE        The network structure is closed at the time
                                 the <delete structure network> function
                                 is performed.

RESULTS:            EMPTY        The network structure remains in the
                                 CSS as an open, empty structure but all
                                 references to it are removed.
                    AS IS        The network structure remains in the
                                 CSS with no changes.  References to it by
                                 non-deleted, non-emptied structures also
                                 remain.
                    REMOVE       The network structure is removed from
                                 the CSS.

SEMANTIC REQUIREMENTS:

*** The first 8 SR's  each refer to the corresponding line of the truth table.


SR1.   (DELETE, ANSPEC, OPEN) ===> EMPTY
#F 127
#D 7 7.3.4 4.2 4.5
#S 4.4.5/29/8
#T P04/1 P04/2 P04/3 P05/1 P05/2 P05/3 P07/1 P07/2 P07/3 
SR2.   (DELETE, NON-ANSPEC, OPEN) ===> EMPTY
#F 127
#D 7 7.3.4 4.2 4.5
#S 4.4.5/29/8
#T P06/1 P06/2 P06/3 
SR3.   (DELETE, ANSPEC, CLOSE) ===> REMOVE
#F 127
#D 7 7.3.4 4.5
#S 4.4.5/29/8
#T P02/1 P03/1 P04/1 P05/1 P06/1 P07/1 
SR4.   (DELETE, NON-ANSPEC, CLOSE) ===> REMOVE
#F 127
#D 7 7.3.4 4.5
#S 4.4.5/29/8
#T P02/1 P03/1 P04/1 P05/1 P06/1 P07/1 
SR5.   (KEEP, ANSPEC, OPEN) ===> EMPTY
#F 127
#D 7 7.3.4 4.2 4.5
#S 4.4.5/29/8
#T P10/1 P10/2 P10/3 P11/1 P11/2 P11/3 P13/1 P13/2 P13/3 
SR6.   (KEEP, NON-ANSPEC, OPEN) ===> AS IS
#F 127
#D 7 7.3.4 4.2 4.5
#S 4.4.5/29/8
#T P12/1 P12/2 
SR7.   (KEEP, ANSPEC, CLOSE) ===> REMOVE
#F 127
#D 7 7.3.4 4.5
#S 4.4.5/29/8
#T P08/1 P09/1 P10/1 P11/1 P12/1 P13/1 
SR8.   (KEEP, NON-ANSPEC, CLOSE) ===> AS IS
#F 127
#D 7 7.3.4 4.5
#S 4.4.5/29/8
#T P08/1 P09/1 P10/1 P11/1 P12/1 P13/1 
SR9.   <Delete structure network> with a non-existent structure
identifier has no effect on the contents of the CSS.
#F 127
#D 7
#S 4.4.5/29/8
#T P01/1 P01/2 
SR10.  If a structure is EMPTIED or REMOVED by <delete structure
network> it is also unposted.
#F 127
#D 5.7
#S 4.4.5/29/9
#T P04/4 P05/4 P06/4 P07/4 P10/4 P11/4 P12/3 P13/4
#X 05.03 


SR11.  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 127
#D 7.3 7.3.4 4.3
#S 4.4.5/29/7 4.4.5/29/8
#T P14/3 P14/4 P14/5
#X 02.02.03 


SR12.  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 127
#D 7.3 7.3.4 4.3
#S 4.4.5/29/7 4.4.5/29/8
#T P14/1 P14/2
#X 02.02.03
LOCAL DICTIONARY:

  Functions ---
  127: pdsn    <delete structure network>
 
  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.3  ...  list_of_structure_elements
  7.3.4  ...  execute_structure
 
LOCAL SUBROUTINES: The programs in this module use a special-purpose
subroutine:

1. DELCSS sets up a CSS network against which the programs test
the PHIGS function <delete structure network>.

PROGRAM 1: Deletion of a structure network using a non-existent structure identifier

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

PROGRAM 2: Deletion of a structure network with the reference flag set to delete and references are made to the closed specified structure

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

PROGRAM 3: Deletion of a structure network with the reference flag set to delete and references are not made to the closed specified structure

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

PROGRAM 4: Deletion of a structure network with the reference flag set to delete and references are made to the open specified structure

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

PROGRAM 5: Deletion of a structure network with the reference flag set to delete and references are not made to the open specified structure

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

PROGRAM 6: Deletion of a structure network with the reference flag set to delete and references are made to the open non-specified structure

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

PROGRAM 7: Deletion of a structure network with the reference flag set to delete and references are not made to the open non-specified structure

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

PROGRAM 8: Deletion of a structure network with the reference flag set to keep and references are made to the closed specified structure

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

PROGRAM 9: Deletion of a structure network with the reference flag set to keep and references are not made to the closed specified structure

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

PROGRAM 10: Deletion of a structure network with the reference flag set to keep and references are made to the open specified structure

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

PROGRAM 11: Deletion of a structure network with the reference flag set to keep and references are not made to the open specified structure

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

PROGRAM 12: Deletion of a structure network with the reference flag set to keep and references are made to the open non-specified structure

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

PROGRAM 13: Deletion of a structure network with the reference flag set to keep and references are not made to the open non-specified structure

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

PROGRAM 14: Effect of deleting structure networks on element pointer

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

End of documentation for 02.01.02.02