Edit File: acctest.ps
%! % Check that operators do their access tests correctly. % proc dotest => . /dotest { dup mark exch stopped not % False if error, true if no error. { (Allowed access: ) print cleartomark == } if clear } def 0 0 moveto % So the show commands don't bomb because of nocurrentpoint. { [1 2] executeonly aload } dotest { (string) executeonly (seek) anchorsearch } dotest { (string) (seek) executeonly anchorsearch } dotest { 100 101 (string) noaccess ashow} dotest { 100 1 array readonly astore } dotest { 100 101 102 103 104 (string) noaccess awidthshow } dotest { 1 dict noacess begin } dotest { 1 array executeonly 1 array copy } dotest { 1 array 1 array readonly copy } dotest { 1 dict noaccess 1 dict copy } dotest { 1 dict 1 dict readonly copy } dotest { 1 string executeonly 1 string copy } dotest { 1 string 1 string readonly copy } dotest { (100) executeonly cvi } dotest { (string) executeonly cvn } dotest { (100.001) executeonly cvr } dotest { 1 10 1 string readonly cvrs } dotest { true 5 string readonly cvs } dotest { 1 dict readonly begin /foo true def } dotest { 10 array readonly dictstack } dotest { 1 string executeonly 1 string eq } dotest { 1 string 1 string executeonly eq } dotest { 10 array readonly execstack } dotest { 1 string noaccess executeonly } dotest { 1 array noaccess executeonly } dotest { 1 array executeonly { pop } forall } dotest { 1 dict noaccess { pop pop } forall } dotest { 1 string executeonly { pop } forall } dotest { (string1) executeonly (string2) ge } dotest { (string1) (string2) executeonly ge } dotest { 1 array executeonly 0 get } dotest { 1 dict noaccess /key get } dotest { 1 string executeonly 0 get } dotest { 1 array executeonly 0 1 getinterval } dotest { 1 string executeonly 0 1 getinterval } dotest { (string1) executeonly (string2) gt } dotest { (string1) (string2) executeonly gt } dotest { 1 dict noaccess /key known } dotest { {} (string) executeonly kshow } dotest { (string1) executeonly (string2) le } dotest { (string1) (string2) executeonly le } dotest { 1 array executeonly length } dotest { 1 dict noaccess length } dotest { 1 string executeonly length } dotest %%{ /foo 1 dict def foo begin /bar foo def bar noaccess pop /key load } dotest { (string1) executeonly (string2) lt } dotest { (string1) (string2) executeonly lt } dotest { 1 dict noaccess maxlength } dotest { 1 string executeonly 1 string ne } dotest { 1 string 1 string executeonly ne } dotest %{ newpath 0 0 moveto (a) false charpath % {} {} {} {} pathforall closepath } dotest { 1 array executeonly 0 put } dotest { 1 dict noaccess /key put } dotest { 1 string executeonly 0 put } dotest { 1 array executeonly 0 1 putinterval } dotest { 1 string executeonly 0 1 putinterval } dotest { (access.ps) (r) file executeonly read } dotest { (access.ps) (r) file executeonly 10 string readhexstring } dotest { (access.ps) (r) file 10 string readonly readhexstring } dotest { (access.ps) (r) file executeonly 100 string readline } dotest { (access.ps) (r) file 100 string readonly readline } dotest { (access.ps) (r) file executeonly 10 string readstring } dotest { (access.ps) (r) file 10 string readonly readstring } dotest % run does not check for no read access? { (string) executeonly (seek) search } dotest { (string) (seek) executeonly search } dotest { (string) executeonly show } %% some test for store. { (string) executeonly stringwidth } dotest { (access.ps) (r) file executeonly token } dotest { (10) executeonly token } dotest { /foo 1 dict def foo begin /bar foo def bar noaccess pop /key where } dotest { 100 101 102 (string) noaccess widthshow } dotest { (/tmp/_.ps) noaccess (w) file closefile } dotest { (/tmp/_.ps) (w) noaccess file closefile } dotest { (/tmp/_.ps) (w) file executeonly 100 write } dotest { (/tmp/_.ps) (w) file executeonly 10 string writehexstring } dotest { (/tmp/_.ps) (w) file 10 string executeonly writehexstring } dotest { (/tmp/_.ps) (w) file executeonly 10 string writestring } dotest { (/tmp/_.ps) (w) file 10 string executeonly writestring } dotest