Module #03.01 : Opening and closing archive files

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 facilities for opening and
closing archive files.


SEMANTIC REQUIREMENTS:

*** *** ***   Open and close of archive files   *** *** ***


SR1.  <Inquire phigs facilities> returns maximum number of
simultaneously open archive files.
#F 205
#D 2.4
#S 4.4.7/32/4
#T P01/4 P01/5 
SR2.  Maximum number of simultaneously open archive files must be
at least 1.
#F 205
#D 2.4
#S 6.3/309/1 4.14/114/2
#T P01/4 P01/5 
SR3.  Whenever there are no open archive files, the archive state
is ARCL.
#F 203
#D 1.4
#S 6.2/308/1
#T P01/2 P01/13 
SR4.  Immediately after <open phigs>, the set of open archive
files is empty.
#F 1 211
#D 4.6
#S 6.5/314/1
#T P01/3 P01/14 
SR5.  A successful <open archive file> sets the archive state to
AROP.
#F 135 203
#D 1.4
#S 4.4.7/32/5
#T P01/6 
SR6.  A successful <open archive file> adds the specified file to
the set of open archive files.
#F 135 211
#D 4.6
#S
#T P01/7 
SR7.  A successful <open archive file> provides access to the
archive file of the specified name through the specified
identifier.
#F 135 137 138 139 141-149
#D 4.6 9.1
#S 4.4.7/32/4
#T P01/8 
SR8.  A successful <close archive file> on the last open archive
file sets the archive state to ARCL, otherwise the state is left
as AROP.
#F 136 203
#D 1.4
#S 4.4.7/32/5
#T P01/9 
SR9.  A successful <close archive file> removes the specified
file from the set of open archive files.
#F 136 211
#D 4.6
#S
#T P01/10 P01/11 
SR10. <Inquire archive state value> returns the current archive
state.
#F 203
#D 1.4
#S 4.4.7/32/5
#T P01/1 P01/2 P01/6 P01/9 P01/12 P01/13 
SR11. <Inquire archive files> returns the set of open archive
files.
#F 211
#D 4.6
#S 4.4.7/32/5
#T P01/3 P01/7 P01/11 P01/14
LOCAL DICTIONARY:

  Functions ---
  001: popph   <open phigs>
  135: poparf  <open archive file>
  136: pclarf  <close archive file>
  137: parst   <archive structures>
  138: parsn   <archive structure networks>
  139: parast  <archive all structures>
  141: prsid   <retrieve structure identifiers>
  142: prest   <retrieve structures>
  143: presn   <retrieve structure networks>
  144: prast   <retrieve all structures>
  145: prepan  <retrieve paths to ancestors>
  146: prepde  <retrieve paths to descendants>
  147: pdstar  <delete structures from archive>
  148: pdsnar  <delete structure networks from archive>
  149: pdasar  <delete all structures from archive>
  203: pqars   <inquire archive state value>
  205: pqphf   <inquire phigs facilities>
  211: pqarf   <inquire archive files>
 
  Data Structures ---
  1  ...  operating_state
  1.4  ...  archive_state
  2  ...  phigs_description_table
  2.4  ...  maximum_number_of_simultaneously_open_archive_files
  4  ...  phigs_state_list
  4.6  ...  set_of_open_archive_files
  9  ...  archive
  9.1  ...  archive_file
 
LOCAL SUBROUTINES:
AVARNM returns an available name for a new archive file.

PROGRAM 1: Effect of <open archive file> and <close archive file>

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

End of documentation for 03.01