Module #05.01.01 : Opening and closing workstations

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 the programmer to
to open and close single and multiple workstations.  Workstation
parameters (e.g., number of accessible workstations, workstation
identifier, connnection identifier, and workstation type) are
taken taken from the PVT configuration file.


SEMANTIC REQUIREMENTS:

*** *** *** *** *** Initial values and state *** *** *** *** *** ***


SR1.  Immediately after <open phigs>, the 'set of open
workstations' is empty.
#F 1 209
#D 4.1
#S 6.5/314/1
#T P01/1 
SR2.  Immediately after <open phigs>, the workstation state value
is WSCL.
#F 1 201
#D 1.2
#S 4.10/107/6 6.2/308/1
#T P01/2 
SR3.  <Inquire workstation state values> returns the workstation
state of PHIGS.
#F 201
#D 1.2
#S 4.10/107/3
#T P01/2 P02/1 P02/2 P02/7 P03/4 P03/7 P03/8 
SR4.  The workstation state value is WSCL if and only if no
workstations are open.
#F 201
#D 1.2 4.1
#S 4.10/107/3 6.2/308/2
#T P01/2 P02/1 P02/7 P03/8 
SR5.  The workstation state value is WSOP if and only if at least
1 workstation is open.
#F 201
#D 1.2 4.1
#S 4.10/107/3 6.2/308/2
#T P02/1 P02/2 P03/4 P03/7 
*** *** *** *** *** Open workstation *** *** *** *** ***


SR6.  <Open workstation> causes the workstation identifier to be
added to the 'set of open workstations' in the PHIGS State List
Table.
#F 3 209
#D 4.1 5.1
#S 4.6.2/68/7
#T P02/3 P02/4 P03/5 
SR7.  <Inquire set of open workstations> returns the workstation
identifiers for all currently opened workstations.
#F 209
#D 4.1
#S
#T P01/1 P02/3 P02/4 P02/6 P03/5 P03/9 
SR8.  <Open workstation> causes a unique specific workstation
type, (different from all other workstation types) to be placed
in the Workstation State List table.
#F 3
#D 2.2.1 5.3
#S 4.6.1/67/2 4.6.2/68/7
#T P02/5 P03/6 #C See also the description of <close workstation> in support of
this. It is noted there that when a workstation is closed, the
type becomes undefined; therefore it cannot be defined elsewhere.

*** *** *** *** Simultaneously open workstations *** *** *** ***


SR9.  <Inquire phigs facilities> returns the 'maximum number of
simultaneously open workstations'.
#F 205
#D 2.3
#S
#T P03/1 P03/2 P03/3 
SR10.  The reported maximum number of simultaneously open
workstations must be at least 1.
#F 205
#D 2.3
#S 6.3/309/1
#T P03/1 
SR11.  Any number of accessible workstations can be open
simultaneously, up to the 'maximum number of simultaneously open
workstations'.
#F 3 205
#D 2.3 4.1
#S 6.3/309/1
#T P03/2 P03/3 
*** *** *** *** *** Close workstation *** *** *** ***


SR12.  <Close workstation> causes the specific workstation
identifier to be removed from the 'set of open workstations' in
the PHIGS State List Table.
#F 4 209
#D 4.1 5.1
#S
#T P02/6 P03/9 
LOCAL DICTIONARY:

  Functions ---
  001: popph   <open phigs>
  003: popwk   <open workstation>
  004: pclwk   <close workstation>
  201: pqwkst  <inquire workstation state value>
  205: pqphf   <inquire phigs facilities>
  209: pqopwk  <inquire set of open workstations>
 
  Data Structures ---
  1  ...  operating_state
  1.2  ...  workstation_state
  2  ...  phigs_description_table
  2.2  ...  list_of_available_workstation_types
  2.2.1  ...  workstation_type
  2.3  ...  maximum_number_of_simultaneously_open_workstations
  4  ...  phigs_state_list
  4.1  ...  set_of_open_workstations
  5  ...  workstation_state_list
  5.1  ...  workstation_identifier
  5.3  ...  workstation_type
 





PROGRAM 1:
Initial state of workstations

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

PROGRAM 2:
Simple open and close of a single workstation

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

PROGRAM 3:
Opening and closing multiple workstations

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

End of documentation for 05.01.01