Module #05.03 : Posting structures to a workstation

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 posting functions' effects on the "list of
workstations to which posted" in the structure state list, the
"list of posted structures" in the workstation state list and the
setting of a structure's display priority.

SEMANTIC REQUIREMENTS:


SR1. <Post structure> adds the workstation identifier to the "list of workstations to which posted" in the specified structure state list if not already in that list.
#F 132
#D 7.2.1
#S 4.4.3/25/4
#T P01/4

SR2. <Post structure> adds the specified structure to the "list of posted structures" in the specified workstation state list if not already in that list.
#F 132
#D 5.7.1
#S 4.4.3/25/4
#T P01/5

SR3. <Post structure> assigns a display priority between 0 and 1 when adding an entry for the specified structure in the "list of posted structures" for the specified workstation.
#F 132
#D 5.7.2
#S 4.4.3/25/8 6.1/306/6
#T P02/2 P02/3

SR4. If the specified structure is already posted to the specified workstation, the only effect of <post structure> is to change the display priority to the new specified value for that structure in the "list of posted structures" for that workstation.
#F 132
#D 5.7.2
#S 4.4.3/25/8 6.1/306/6
#T P01/6 P01/7 P01/8 #C See defect report 9592-1/001.

SR5. <Unpost structure> removes the workstation identifier from the "list of workstations to which posted" in the specified structure state list.
#F 133
#D 7.2.1
#S 4.4.3/25/5
#T P01/14

SR6. <Unpost structure> removes the entry for the specified structure from the "list of posted structures" in the specified workstation state list.
#F 133
#D 5.7.1 5.7.2
#S 4.4.3/25/5
#T P01/15

SR7. <Unpost structure> has no effect if the specified structure does not exist or is not currently posted to any workstation.
#F 133
#D 5.7 7.2
#S 4.4.3/25/5
#T P01/9 P01/10 P01/11 P01/12 P01/13 #C See defect report 9592-1/032.

SR8. <Unpost all structures> removes the workstation identifier from the "list of workstations to which posted" of all the structure state lists.
#F 134
#D 7.2.1
#S 4.4.3/25/5
#T P01/16

SR9. <Unpost all structures> removes all the structures from the "list of posted structures" in the specified workstation state list.
#F 134
#D 5.7
#S 4.4.3/25/5
#T P01/17

SR10. Immediately after structure creation via <open structure>, <execute structure>, or <empty structure>, its "list of workstations to which posted" is empty, and no "list of posted structures" contains the structure identifier.
#F 111 113 125
#D 5.7 7.2
#S
#T P01/2 P01/3

SR11. Immediately after <open workstation>, its "list of posted structures" is empty, and no "list of workstations to which posted" contains the workstation identifier.
#F 3
#D 5.7 7.2
#S 6.6/317/1
#T P01/1 P01/19 P01/20

SR12. <Close workstation> removes the workstation identifier from the "list of workstations to which posted" of all the structure state lists.
#F 4
#D 7.2.1
#S
#T P01/18

SR13. <Inquire set of workstations to which posted> returns the "list of workstations to which posted" of the specified structure state list.
#F 300
#D 7.2
#S
#T P01/2 P01/4 P01/6 P01/9 P01/12 P01/14 P01/16 P01/18 P01/20

SR14. <Inquire posted structures> returns the "list of posted structures" of the specified workstation state list.
#F 220
#D 5.7
#S
#T P01/1 P01/3 P01/5 P01/7 P01/8 P01/10 P01/13 P01/15 P01/17 P01/19

SR15. Each entry in the "list of posted structures" contains a structure identifier and its display priority for that structure on the specified workstation.
#F 220
#D 5.7.1 5.7.2
#S 4.4.3/25/8 6.1/306/6
#T P02/2 P02/3

SR16. <Inquire number of display priorities supported> returns the number of display priorities for the specific workstation type.
#F 284
#D 6.20
#S
#T P02/1 P02/2 P02/3

SR17. The number of display priorities supported is 0 or >=2.
#F 284
#D 6.20
#S 4.14/114/2 6.7/323/1
#T P02/1

SR18. If the number of display priorities is 0, then a continuous range of display priorities is supported by the specified workstation type.
#F 284
#D 6.20
#S 6.7/323/1
#T P02/2

SR19. If the number of display priorities is >=2, then it indicates the number of distinct values for display priorities supported by the specified workstation type.
#F 284
#D 6.20
#S 6.7/323/1
#T P02/3

LOCAL DICTIONARY:

  Functions ---
  003: popwk   <open workstation>
  004: pclwk   <close workstation>
  111: popst   <open structure>
  113: pexst   <execute structure>
  125: pemst   <empty structure>
  132: ppost   <post structure>
  133: pupost  <unpost structure>
  134: pupast  <unpost all structures>
  220: pqpost  <inquire posted structures>
  284: pqdp    <inquire number of display priorities supported>
  300: pqwkpo  <inquire set of workstations to which posted>
 
  Data Structures ---
  5  ...  workstation_state_list
  5.7  ...  list_of_posted_structures
  5.7.1  ...  structure_identifier
  5.7.2  ...  display_priority
  6  ...  workstation_description_table
  6.20  ...  number_of_display_priorities_supported
  7  ...  structure_state_list
  7.2  ...  list_of_workstations_to_which_posted
  7.2.1  ...  workstation_identifier
 
SEMANTIC CROSS-REFERENCES:
  02.01.01/SR04 02.01.02.01/SR04 02.01.02.02/SR10
  02.01.03.01/SR01 02.01.03.02/SR05 02.01.03.02/SR06
  02.01.03.03/SR01

LOCAL SUBROUTINES: The programs in this module use two
special-purpose subroutines:

1. SETPST posts a set of structures to a set of workstations
   according to the contents of a two-dimensional array.

2. CHKPST accepts a list of structure identifiers, a list of
   workstation identifiers, and an expected posting state, encoded
   as a two-dimensional array. It compares the actual list of posted
   structures and list of workstations to which posted against the
   expected state and reports back any discrepancies.



PROGRAM 1: Effects of posting on the structure state list and workstation state list

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


PROGRAM 2: Setting and inquiring display priorities

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

End of documentation for 05.03