DESCRIPTION: This module tests that the functions which require a certain set of operating states generate the specified error codes if they are executed in an incorrect state. The error is handled by a user defined error handling subroutine. Also, this module tests the requirement that no side effects are generated. SEMANTIC REQUIREMENTS:#F 1
SR1. If function <open phigs> is called, and the state is not (PHCL,WSCL,STCL,ARCL), then error 1 is generated and the function is ignored.
#F 3 117 125-131 135 140 199 318 319
SR2. If functions <open workstation>, <set edit mode>, <empty structure>-<change structure identifier and references>, <open archive file>, <set conflict resolution>, <interpret item>, <set error handling mode>, <escape> are called, and the state is not (PHOP,*,*,*), then error 2 is generated and the function is ignored.
#F 4-8 63-72 74 84-90 132-134 151-198
SR3. If functions <close workstation>-<message>, <set polyline representaion>-<set color model>, <set hlhsr mode>, <set view representation 3>-<set workstation viewport>, <post structure>-<unpost sll structures>, <set pick filter>-<read item from metafile> are called, and the state is not (PHOP,WSOP,*,*), then error 3 or 54 is generated and the function is ignored.
#F 2
SR4. If function <close phigs> is called, and the state is not (PHOP,WSCL,STCL,ARCL), then error 4 is generated and the function is ignored.
#F 9-62 73 75-83 112-116 118-124 150
SR5. If functions <polyline 3>-<set individual asf>, <set hlhsr identifier>, <set local transformation 3>-<set view index>, <close structure>-<generalized strcture element>, <copy all elements from structure>-<delete elements between labels>, <set pick identifier> are called, and the state is not (PHOP,*,STOP,*), then error 5 is generated and the function is ignored.
#F 111
SR6. If function <open structure> is called, and the state is not (PHOP,*,STCL,*), then error 6 is generated and the function is ignored.
#F 136-139 141-149
SR7. If functions <close archive file>-<archive all structures>, <retrieve structure identifiers>-<delete all structures from archieve> are called, and the state is not (PHOP,*,*,AROP), then error number 7 or 404 is generated and the function is ignored.
LOCAL DICTIONARY:
Functions --- 001: popph <open phigs> 002: pclph <close phigs> 003: popwk <open workstation> 004: pclwk <close workstation> 005: prst <redraw all structures> 006: puwk <update workstation> 007: psdus <set display update state> 008: pmsg <message> 009: ppl3 <polyline 3> 010: ppl <polyline> 011: ppm3 <polymarker 3> 012: ppm <polymarker> 013: ptx3 <text 3> 014: ptx <text> 015: patr3 <annotation text relative 3> 016: patr <annotation text relative> 017: pfa3 <fill area 3> 018: pfa <fill area> 019: pfas3 <fill area set 3> 020: pfas <fill area set> 021: pca3 <cell array 3> 022: pca <cell array> 023: pgdp3 <generalized drawing primitive 3> 024: pgdp <generalized drawing primitive> 025: pspli <set polyline index> 026: pspmi <set polymarker index> 027: pstxi <set text index> 028: psii <set interior index> 029: psedi <set edge index> 030: psln <set linetype> 031: pslwsc <set linewidth scale factor> 032: psplci <set polyline colour index> 033: psmk <set marker type> 034: psmksc <set marker size scale factor> 035: pspmci <set polymarker colour index> 036: pstxfn <set text font> 037: pstxpr <set text precision> 038: pschxp <set character expansion factor> 039: pschsp <set character spacing> 040: pstxci <set text colour index> 041: pschh <set character height> 042: pschup <set character up vector> 043: pstxp <set text path> 044: pstxal <set text alignment> 045: psatch <set annotation text character height> 046: psatcu <set annotation text character up vector> 047: psatp <set annotation text path> 048: psatal <set annotation text alignment> 049: psans <set annotation style> 050: psis <set interior style> 051: psisi <set interior style index> 052: psici <set interior colour index> 053: psedfg <set edge flag> 054: psedt <set edgetype> 055: psewsc <set edgewidth scale factor> 056: psedci <set edge colour index> 057: pspa <set pattern size> 058: psprpv <set pattern reference point and vectors> 059: psparf <set pattern reference point> 060: pads <add names to set> 061: pres <remove names from set> 062: psiasf <set individual asf> 063: psplr <set polyline representation> 064: pspmr <set polymarker representation> 065: pstxr <set text representation> 066: psir <set interior representation> 067: psedr <set edge representation> 068: pspar <set pattern representation> 069: pscr <set colour representation> 070: pshlft <set highlighting filter> 071: psivft <set invisibility filter> 072: pscmd <set colour model> 073: pshrid <set hlhsr identifier> 074: pshrm <set hlhsr mode> 075: pslmt3 <set local transformation 3> 076: pslmt <set local transformation> 077: psgmt3 <set global transformation 3> 078: psgmt <set global transformation> 079: psmcv3 <set modelling clipping volume 3> 080: psmcv <set modelling clipping volume> 081: psmcli <set modelling clipping indicator> 082: prmcv <restore modelling clipping volume> 083: psvwi <set view index> 084: psvwr3 <set view representation 3> 085: psvwr <set view representation> 086: psvtip <set view transformation input priority> 087: pswkw3 <set workstation window 3> 088: pswkw <set workstation window> 089: pswkv3 <set workstation viewport 3> 090: pswkv <set workstation viewport> 111: popst <open structure> 112: pclst <close structure> 113: pexst <execute structure> 114: plb <label> 115: pap <application data> 116: pgse <generalized structure element> 117: psedm <set edit mode> 118: pcelst <copy all elements from structure> 119: psep <set element pointer> 120: posep <offset element pointer> 121: pseplb <set element pointer at label> 122: pdel <delete element> 123: pdelra <delete element range> 124: pdellb <delete elements between labels> 125: pemst <empty structure> 126: pdst <delete structure> 127: pdsn <delete structure network> 128: pdas <delete all structures> 129: pcstid <change structure identifier> 130: pcstrf <change structure references> 131: pcstir <change structure identifier and references> 132: ppost <post structure> 133: pupost <unpost structure> 134: pupast <unpost all structures> 135: poparf <open archive file> 136: pclarf <close archive file> 137: parst <archive structures> 138: parsn <archive structure networks> 139: parast <archive all structures> 140: pscnrs <set conflict resolution> 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> 150: pspkid <set pick identifier> 151: pspkft <set pick filter> 152: pinlc3 <initialize locator 3> 153: pinlc <initialize locator> 154: pinsk3 <initialize stroke 3> 155: pinsk <initialize stroke> 156: pinvl3 <initialize valuator 3> 157: pinvl <initialize valuator> 158: pinch3 <initialize choice 3> 159: pinch <initialize choice> 160: pinpk3 <initialize pick 3> 161: pinpk <initialize pick> 162: pinst3 <initialize string 3> 163: pinst <initialize string> 164: pslcm <set locator mode> 165: psskm <set stroke mode> 166: psvlm <set valuator mode> 167: pschm <set choice mode> 168: pspkm <set pick mode> 169: psstm <set string mode> 170: prqlc3 <request locator 3> 171: prqlc <request locator> 172: prqsk3 <request stroke 3> 173: prqsk <request stroke> 174: prqvl <request valuator> 175: prqch <request choice> 176: prqpk <request pick> 177: prqst <request string> 178: psmlc3 <sample locator 3> 179: psmlc <sample locator> 180: psmsk3 <sample stroke 3> 181: psmsk <sample stroke> 182: psmvl <sample valuator> 183: psmch <sample choice> 184: psmpk <sample pick> 185: psmst <sample string> 186: pwait <await event> 187: pflush <flush device events> 188: pgtlc3 <get locator 3> 189: pgtlc <get locator> 190: pgtsk3 <get stroke 3> 191: pgtsk <get stroke> 192: pgtvl <get valuator> 193: pgtch <get choice> 194: pgtpk <get pick> 195: pgtst <get string> 196: pwitm <write item to metafile> 197: pgtitm <get item type from metafile> 198: prditm <read item from metafile> 199: piitm <interpret item> 318: pserhm <set error handling mode> 319: pesc <escape> Data Structures --- 1 ... operating_state 1.1 ... system_state 1.2 ... workstation_state 1.3 ... structure_state 1.4 ... archive_state 8 ... phigs_error_state_list 8.1 ... error_state
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.