This is an automated email from the ASF dual-hosted git repository.
ggregory pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/commons-bcel.git
commit f731ed1125c2b98a7e80da56c98cc9d9d9cf978d
Author: Gary Gregory <garydgreg...@gmail.com>
AuthorDate: Sat Mar 23 09:12:11 2024 -0400
Checkstyle test fixes
- Fix EOLs
---
docs/eps/classloader.fig | 94 +-
docs/verifier/V_API_SD.eps | 4682 ++++++++++----------
src/site/xdoc/index.xml | 174 +-
src/test/java/org/apache/bcel/HandleTestCase.java | 296 +-
.../java/org/apache/bcel/data/PLSETestClass2.java | 58 +-
.../org/apache/bcel/util/ClassPathTestCase.java | 92 +-
.../bcel/util/ModularRuntimeImageTestCase.java | 150 +-
src/test/resources/StackMapExample2.java | 24 +-
8 files changed, 2785 insertions(+), 2785 deletions(-)
diff --git a/docs/eps/classloader.fig b/docs/eps/classloader.fig
index 729d7749..d8a9b387 100644
--- a/docs/eps/classloader.fig
+++ b/docs/eps/classloader.fig
@@ -1,47 +1,47 @@
-#FIG 3.2
-Portrait
-Center
-Metric
-A4
-100.00
-Single
--2
-1200 2
-6 900 450 3150 1125
-2 4 0 1 0 7 100 0 -1 0.000 0 0 7 0 0 5
- 3150 1125 3150 450 900 450 900 1125 3150 1125
-4 0 0 100 0 16 14 0.0000 4 165 1380 1350 900 Java class file\001
--6
-6 3600 450 5850 1125
-2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
- 3600 450 5850 450 5850 1125 3600 1125 3600 450
-4 0 0 100 0 16 14 0.0000 4 165 1215 4140 855 Class loader\001
--6
-6 6750 450 9000 1125
-2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
- 6750 450 9000 450 9000 1125 6750 1125 6750 450
-4 0 0 100 0 16 14 0.0000 4 210 1665 7020 855 Byte code verifier\001
--6
-6 9450 450 11700 1125
-2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
- 9450 450 11700 450 11700 1125 9450 1125 9450 450
-4 0 0 100 0 16 14 0.0000 4 210 1410 9900 900 Interpreter/JIT\001
--6
-6 4950 1575 7875 2700
-2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
- 4950 1575 7875 1575 7875 2700 4950 2700 4950 1575
-4 0 0 100 0 16 14 0.0000 4 210 2505 5175 2475 Byte code transformations\001
-4 0 0 100 0 14 14 0.0000 4 150 1215 5850 2025 JavaClass\001
--6
-2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 2
- 1 1 1.00 60.00 120.00
- 3150 765 3600 765
-2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 2
- 1 1 1.00 60.00 120.00
- 9000 765 9450 765
-2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 3
- 1 1 1.00 60.00 120.00
- 5850 765 6075 765 6075 1575
-2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 3
- 1 1 1.00 60.00 120.00
- 6525 1575 6525 765 6750 765
+#FIG 3.2
+Portrait
+Center
+Metric
+A4
+100.00
+Single
+-2
+1200 2
+6 900 450 3150 1125
+2 4 0 1 0 7 100 0 -1 0.000 0 0 7 0 0 5
+ 3150 1125 3150 450 900 450 900 1125 3150 1125
+4 0 0 100 0 16 14 0.0000 4 165 1380 1350 900 Java class file\001
+-6
+6 3600 450 5850 1125
+2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
+ 3600 450 5850 450 5850 1125 3600 1125 3600 450
+4 0 0 100 0 16 14 0.0000 4 165 1215 4140 855 Class loader\001
+-6
+6 6750 450 9000 1125
+2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
+ 6750 450 9000 450 9000 1125 6750 1125 6750 450
+4 0 0 100 0 16 14 0.0000 4 210 1665 7020 855 Byte code verifier\001
+-6
+6 9450 450 11700 1125
+2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
+ 9450 450 11700 450 11700 1125 9450 1125 9450 450
+4 0 0 100 0 16 14 0.0000 4 210 1410 9900 900 Interpreter/JIT\001
+-6
+6 4950 1575 7875 2700
+2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
+ 4950 1575 7875 1575 7875 2700 4950 2700 4950 1575
+4 0 0 100 0 16 14 0.0000 4 210 2505 5175 2475 Byte code transformations\001
+4 0 0 100 0 14 14 0.0000 4 150 1215 5850 2025 JavaClass\001
+-6
+2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 2
+ 1 1 1.00 60.00 120.00
+ 3150 765 3600 765
+2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 2
+ 1 1 1.00 60.00 120.00
+ 9000 765 9450 765
+2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 3
+ 1 1 1.00 60.00 120.00
+ 5850 765 6075 765 6075 1575
+2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 1 0 3
+ 1 1 1.00 60.00 120.00
+ 6525 1575 6525 765 6750 765
diff --git a/docs/verifier/V_API_SD.eps b/docs/verifier/V_API_SD.eps
index ace1359a..7c44b7d2 100644
--- a/docs/verifier/V_API_SD.eps
+++ b/docs/verifier/V_API_SD.eps
@@ -1,5 +1,5 @@
-%!PS-Adobe-3.0 EPSF-3.0
-%%BoundingBox: 6 6 1079 801
+%!PS-Adobe-3.0 EPSF-3.0
+%%BoundingBox: 6 6 1079 801
%%BeginProcSet: reencode 1.0 0
/RE
{ findfont begin
@@ -36,8 +36,8 @@ xrad yrad scale
0 0 1 0 360 arc
savematrix setmatrix end } def
%%EndProcSet: ellipse 1.0 0
-%%EndProlog
-%%BeginSetup
+%%EndProlog
+%%BeginSetup
/isolatin1encoding
[ 32 /space /exclam /quotedbl /numbersign /dollar /percent /ampersand
/quoteright
/parenleft /parenright /asterisk /plus /comma /hyphen /period /slash /zero
/one
@@ -62,2340 +62,2340 @@ savematrix setmatrix end } def
/ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute
/icircumflex /idieresis
/eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash
/ugrave
/uacute /ucircumflex /udieresis /yacute /thorn /ydieresis] def
-%%EndSetup
-1 setlinewidth
-isolatin1encoding /_Helvetica /Helvetica RE
-/_Helvetica findfont
-12 scalefont setfont
-0.0 0.0 0.0 setrgbcolor
-0 807 translate
-1.0 1.0 1.0 setrgbcolor
-newpath
-10 -10 moveto
-86 0 rlineto
-0 -26 rlineto
--86 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-10 -10 moveto
-86 0 rlineto
-0 -26 rlineto
--86 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-10 -10 moveto
-86 0 rlineto
-0 -26 rlineto
--86 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-10 -10 moveto
-86 0 rlineto
-0 -26 rlineto
--86 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-10 -10 moveto
-86 0 rlineto
-0 -26 rlineto
--86 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-10 -10 moveto
-86 0 rlineto
-0 -26 rlineto
--86 0 rlineto
-closepath
-stroke
-isolatin1encoding /_Helvetica /Helvetica RE
-/_Helvetica findfont
-9 scalefont setfont
-newpath
-21 -25 moveto
-86 -25 lineto
-stroke
-21 -24 moveto
-(firewall : Object) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-49 -37 moveto
-9 0 rlineto
-0 -759 rlineto
--9 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-49 -37 moveto
-9 0 rlineto
-0 -759 rlineto
--9 0 rlineto
-closepath
-stroke
-newpath
-49 -796 moveto
-58 -796 lineto
-stroke
-newpath
-58 -796 moveto
-49 -796 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-43 -72 moveto
-20 0 rlineto
-0 -679 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-43 -72 moveto
-20 0 rlineto
-0 -679 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-43 -72 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-43 -72 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-43 -112 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-43 -112 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-43 -152 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-43 -152 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-43 -232 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-43 -232 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-43 -272 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-43 -272 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-43 -752 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-43 -752 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-157 -10 moveto
-119 0 rlineto
-0 -26 rlineto
--119 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-157 -10 moveto
-119 0 rlineto
-0 -26 rlineto
--119 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-157 -10 moveto
-119 0 rlineto
-0 -26 rlineto
--119 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-157 -10 moveto
-119 0 rlineto
-0 -26 rlineto
--119 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-157 -10 moveto
-119 0 rlineto
-0 -26 rlineto
--119 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-157 -10 moveto
-119 0 rlineto
-0 -26 rlineto
--119 0 rlineto
-closepath
-stroke
-newpath
-168 -25 moveto
-266 -25 lineto
-stroke
-168 -24 moveto
-(aClassToVerify : Class) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-213 -37 moveto
-9 0 rlineto
-0 -759 rlineto
--9 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-213 -37 moveto
-9 0 rlineto
-0 -759 rlineto
--9 0 rlineto
-closepath
-stroke
-newpath
-213 -796 moveto
-222 -796 lineto
-stroke
-newpath
-222 -796 moveto
-213 -796 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-207 -72 moveto
-20 0 rlineto
-0 -39 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-207 -72 moveto
-20 0 rlineto
-0 -39 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-207 -72 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-207 -72 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-207 -112 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-207 -112 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-337 -10 moveto
-118 0 rlineto
-0 -26 rlineto
--118 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-337 -10 moveto
-118 0 rlineto
-0 -26 rlineto
--118 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-337 -10 moveto
-118 0 rlineto
-0 -26 rlineto
--118 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-337 -10 moveto
-118 0 rlineto
-0 -26 rlineto
--118 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-337 -10 moveto
-118 0 rlineto
-0 -26 rlineto
--118 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-337 -10 moveto
-118 0 rlineto
-0 -26 rlineto
--118 0 rlineto
-closepath
-stroke
-newpath
-348 -25 moveto
-445 -25 lineto
-stroke
-348 -24 moveto
-(theVF : VerifierFactory) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-392 -37 moveto
-9 0 rlineto
-0 -759 rlineto
--9 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-392 -37 moveto
-9 0 rlineto
-0 -759 rlineto
--9 0 rlineto
-closepath
-stroke
-newpath
-392 -796 moveto
-401 -796 lineto
-stroke
-newpath
-401 -796 moveto
-392 -796 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-386 -152 moveto
-20 0 rlineto
-0 -79 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-386 -152 moveto
-20 0 rlineto
-0 -79 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-386 -152 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-386 -152 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-386 -192 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-386 -192 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-386 -232 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-386 -232 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-562 -180 moveto
-95 0 rlineto
-0 -26 rlineto
--95 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-562 -180 moveto
-95 0 rlineto
-0 -26 rlineto
--95 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-562 -180 moveto
-95 0 rlineto
-0 -26 rlineto
--95 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-562 -180 moveto
-95 0 rlineto
-0 -26 rlineto
--95 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-562 -180 moveto
-95 0 rlineto
-0 -26 rlineto
--95 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-562 -180 moveto
-95 0 rlineto
-0 -26 rlineto
--95 0 rlineto
-closepath
-stroke
-newpath
-573 -195 moveto
-647 -195 lineto
-stroke
-573 -194 moveto
-(aVerifier : Verifier) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-606 -207 moveto
-9 0 rlineto
-0 -589 rlineto
--9 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-606 -207 moveto
-9 0 rlineto
-0 -589 rlineto
--9 0 rlineto
-closepath
-stroke
-newpath
-606 -796 moveto
-615 -796 lineto
-stroke
-newpath
-615 -796 moveto
-606 -796 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -207 moveto
-20 0 rlineto
-0 -544 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -207 moveto
-20 0 rlineto
-0 -544 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-562 -190 moveto
-95 0 rlineto
-0 1 rlineto
--95 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-562 -190 moveto
-95 0 rlineto
-0 1 rlineto
--95 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -272 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -272 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -312 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -312 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -352 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -352 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -432 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -432 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -472 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -472 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -512 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -512 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -592 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -592 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -632 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -632 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -712 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -712 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-600 -752 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-600 -752 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-764 -300 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-764 -300 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-764 -300 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-764 -300 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-764 -300 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-764 -300 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-stroke
-newpath
-775 -315 moveto
-862 -315 lineto
-stroke
-775 -314 moveto
-(aP2V : Pass2Verifier) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-814 -327 moveto
-9 0 rlineto
-0 -469 rlineto
--9 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-814 -327 moveto
-9 0 rlineto
-0 -469 rlineto
--9 0 rlineto
-closepath
-stroke
-newpath
-814 -796 moveto
-823 -796 lineto
-stroke
-newpath
-823 -796 moveto
-814 -796 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -327 moveto
-20 0 rlineto
-0 -384 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -327 moveto
-20 0 rlineto
-0 -384 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-764 -310 moveto
-108 0 rlineto
-0 1 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-764 -310 moveto
-108 0 rlineto
-0 1 rlineto
--108 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -352 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -352 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -432 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -432 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -632 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -632 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -672 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -672 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -672 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -672 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -712 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -712 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -392 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -392 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-808 -392 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-808 -392 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-933 -460 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-933 -460 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-933 -460 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-933 -460 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-933 -460 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-933 -460 moveto
-108 0 rlineto
-0 -26 rlineto
--108 0 rlineto
-closepath
-stroke
-newpath
-944 -475 moveto
-1031 -475 lineto
-stroke
-944 -474 moveto
-(aP1V : Pass1Verifier) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-983 -487 moveto
-9 0 rlineto
-0 -309 rlineto
--9 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-983 -487 moveto
-9 0 rlineto
-0 -309 rlineto
--9 0 rlineto
-closepath
-stroke
-newpath
-983 -796 moveto
-992 -796 lineto
-stroke
-newpath
-992 -796 moveto
-983 -796 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-977 -487 moveto
-20 0 rlineto
-0 -104 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-977 -487 moveto
-20 0 rlineto
-0 -104 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-933 -470 moveto
-108 0 rlineto
-0 1 rlineto
--108 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-933 -470 moveto
-108 0 rlineto
-0 1 rlineto
--108 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-977 -512 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-977 -512 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-977 -552 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-977 -552 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-977 -552 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-977 -552 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-977 -592 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-977 -592 moveto
-20 0 rlineto
-0 1 rlineto
--20 0 rlineto
-closepath
-stroke
-newpath
-64 -72 moveto
-207 -72 lineto
-stroke
-newpath
-206 -72 moveto
-194 -79 lineto
-194 -65 lineto
-closepath
-eofill
-newpath
-206 -72 moveto
-194 -79 lineto
-194 -65 lineto
-closepath
-stroke
-73 -68 moveto
-( : getName\(\)) show
-newpath
-207 -112 moveto
-202 -112 lineto
-stroke
-newpath
-197 -112 moveto
-192 -112 lineto
-stroke
-newpath
-187 -112 moveto
-182 -112 lineto
-stroke
-newpath
-177 -112 moveto
-172 -112 lineto
-stroke
-newpath
-167 -112 moveto
-162 -112 lineto
-stroke
-newpath
-157 -112 moveto
-152 -112 lineto
-stroke
-newpath
-147 -112 moveto
-142 -112 lineto
-stroke
-newpath
-137 -112 moveto
-132 -112 lineto
-stroke
-newpath
-127 -112 moveto
-122 -112 lineto
-stroke
-newpath
-117 -112 moveto
-112 -112 lineto
-stroke
-newpath
-107 -112 moveto
-102 -112 lineto
-stroke
-newpath
-97 -112 moveto
-92 -112 lineto
-stroke
-newpath
-87 -112 moveto
-82 -112 lineto
-stroke
-newpath
-77 -112 moveto
-72 -112 lineto
-stroke
-newpath
-67 -112 moveto
-64 -112 lineto
-stroke
-newpath
-77 -105 moveto
-65 -112 lineto
-stroke
-newpath
-77 -119 moveto
-65 -112 lineto
-stroke
-156 -128 moveto
-( : name) show
-newpath
-64 -152 moveto
-386 -152 lineto
-stroke
-newpath
-385 -152 moveto
-373 -159 lineto
-373 -145 lineto
-closepath
-eofill
-newpath
-385 -152 moveto
-373 -159 lineto
-373 -145 lineto
-closepath
-stroke
-104 -148 moveto
-( : getVerifier\(name\)) show
-newpath
-407 -192 moveto
-560 -192 lineto
-562 -190 lineto
-stroke
-newpath
-561 -191 moveto
-550 -200 lineto
-547 -186 lineto
-closepath
-eofill
-newpath
-561 -191 moveto
-550 -200 lineto
-547 -186 lineto
-closepath
-stroke
-396 -188 moveto
-( : create_if_not_cached) show
-newpath
-386 -232 moveto
-381 -232 lineto
-stroke
-newpath
-376 -232 moveto
-371 -232 lineto
-stroke
-newpath
-366 -232 moveto
-361 -232 lineto
-stroke
-newpath
-356 -232 moveto
-351 -232 lineto
-stroke
-newpath
-346 -232 moveto
-341 -232 lineto
-stroke
-newpath
-336 -232 moveto
-331 -232 lineto
-stroke
-newpath
-326 -232 moveto
-321 -232 lineto
-stroke
-newpath
-316 -232 moveto
-311 -232 lineto
-stroke
-newpath
-306 -232 moveto
-301 -232 lineto
-stroke
-newpath
-296 -232 moveto
-291 -232 lineto
-stroke
-newpath
-286 -232 moveto
-281 -232 lineto
-stroke
-newpath
-276 -232 moveto
-271 -232 lineto
-stroke
-newpath
-266 -232 moveto
-261 -232 lineto
-stroke
-newpath
-256 -232 moveto
-251 -232 lineto
-stroke
-newpath
-246 -232 moveto
-241 -232 lineto
-stroke
-newpath
-236 -232 moveto
-231 -232 lineto
-stroke
-newpath
-226 -232 moveto
-221 -232 lineto
-stroke
-newpath
-216 -232 moveto
-211 -232 lineto
-stroke
-newpath
-206 -232 moveto
-201 -232 lineto
-stroke
-newpath
-196 -232 moveto
-191 -232 lineto
-stroke
-newpath
-186 -232 moveto
-181 -232 lineto
-stroke
-newpath
-176 -232 moveto
-171 -232 lineto
-stroke
-newpath
-166 -232 moveto
-161 -232 lineto
-stroke
-newpath
-156 -232 moveto
-151 -232 lineto
-stroke
-newpath
-146 -232 moveto
-141 -232 lineto
-stroke
-newpath
-136 -232 moveto
-131 -232 lineto
-stroke
-newpath
-126 -232 moveto
-121 -232 lineto
-stroke
-newpath
-116 -232 moveto
-111 -232 lineto
-stroke
-newpath
-106 -232 moveto
-101 -232 lineto
-stroke
-newpath
-96 -232 moveto
-91 -232 lineto
-stroke
-newpath
-86 -232 moveto
-81 -232 lineto
-stroke
-newpath
-76 -232 moveto
-71 -232 lineto
-stroke
-newpath
-66 -232 moveto
-64 -232 lineto
-stroke
-newpath
-77 -225 moveto
-65 -232 lineto
-stroke
-newpath
-77 -239 moveto
-65 -232 lineto
-stroke
-238 -248 moveto
-( : verifier_responsible_for_name) show
-newpath
-64 -272 moveto
-600 -272 lineto
-stroke
-newpath
-599 -272 moveto
-587 -279 lineto
-587 -265 lineto
-closepath
-eofill
-newpath
-599 -272 moveto
-587 -279 lineto
-587 -265 lineto
-closepath
-stroke
-173 -268 moveto
-( : doPass2\(\)) show
-newpath
-621 -312 moveto
-760 -312 lineto
-764 -310 lineto
-stroke
-newpath
-763 -311 moveto
-752 -320 lineto
-749 -306 lineto
-closepath
-eofill
-newpath
-763 -311 moveto
-752 -320 lineto
-749 -306 lineto
-closepath
-stroke
-607 -308 moveto
-( : create_if_not_cached) show
-newpath
-621 -352 moveto
-808 -352 lineto
-stroke
-newpath
-807 -352 moveto
-795 -359 lineto
-795 -345 lineto
-closepath
-eofill
-newpath
-807 -352 moveto
-795 -359 lineto
-795 -345 lineto
-closepath
-stroke
-647 -348 moveto
-( : verify\(\)) show
-newpath
-808 -432 moveto
-621 -432 lineto
-stroke
-newpath
-622 -432 moveto
-634 -425 lineto
-634 -439 lineto
-closepath
-eofill
-newpath
-622 -432 moveto
-634 -425 lineto
-634 -439 lineto
-closepath
-stroke
-737 -448 moveto
-( : doPass1\(\)) show
-newpath
-621 -472 moveto
-933 -470 lineto
-stroke
-newpath
-932 -471 moveto
-920 -478 lineto
-920 -464 lineto
-closepath
-eofill
-newpath
-932 -471 moveto
-920 -478 lineto
-920 -464 lineto
-closepath
-stroke
-650 -468 moveto
-( : create_if_not_cached) show
-newpath
-621 -512 moveto
-977 -512 lineto
-stroke
-newpath
-976 -512 moveto
-964 -519 lineto
-964 -505 lineto
-closepath
-eofill
-newpath
-976 -512 moveto
-964 -519 lineto
-964 -505 lineto
-closepath
-stroke
-690 -508 moveto
-( : verify\(\)) show
-newpath
-998 -552 moveto
-1024 -552 lineto
-1024 -568 lineto
-1008 -568 lineto
-998 -552 lineto
-stroke
-newpath
-999 -553 moveto
-1011 -559 lineto
-999 -566 lineto
-closepath
-eofill
-newpath
-999 -553 moveto
-1011 -559 lineto
-999 -566 lineto
-closepath
-stroke
-960 -548 moveto
-( : do_some_verifying_work) show
-newpath
-977 -592 moveto
-972 -592 lineto
-stroke
-newpath
-967 -592 moveto
-962 -592 lineto
-stroke
-newpath
-957 -592 moveto
-952 -592 lineto
-stroke
-newpath
-947 -592 moveto
-942 -592 lineto
-stroke
-newpath
-937 -592 moveto
-932 -592 lineto
-stroke
-newpath
-927 -592 moveto
-922 -592 lineto
-stroke
-newpath
-917 -592 moveto
-912 -592 lineto
-stroke
-newpath
-907 -592 moveto
-902 -592 lineto
-stroke
-newpath
-897 -592 moveto
-892 -592 lineto
-stroke
-newpath
-887 -592 moveto
-882 -592 lineto
-stroke
-newpath
-877 -592 moveto
-872 -592 lineto
-stroke
-newpath
-867 -592 moveto
-862 -592 lineto
-stroke
-newpath
-857 -592 moveto
-852 -592 lineto
-stroke
-newpath
-847 -592 moveto
-842 -592 lineto
-stroke
-newpath
-837 -592 moveto
-832 -592 lineto
-stroke
-newpath
-827 -592 moveto
-822 -592 lineto
-stroke
-newpath
-817 -592 moveto
-812 -592 lineto
-stroke
-newpath
-807 -592 moveto
-802 -592 lineto
-stroke
-newpath
-797 -592 moveto
-792 -592 lineto
-stroke
-newpath
-787 -592 moveto
-782 -592 lineto
-stroke
-newpath
-777 -592 moveto
-772 -592 lineto
-stroke
-newpath
-767 -592 moveto
-762 -592 lineto
-stroke
-newpath
-757 -592 moveto
-752 -592 lineto
-stroke
-newpath
-747 -592 moveto
-742 -592 lineto
-stroke
-newpath
-737 -592 moveto
-732 -592 lineto
-stroke
-newpath
-727 -592 moveto
-722 -592 lineto
-stroke
-newpath
-717 -592 moveto
-712 -592 lineto
-stroke
-newpath
-707 -592 moveto
-702 -592 lineto
-stroke
-newpath
-697 -592 moveto
-692 -592 lineto
-stroke
-newpath
-687 -592 moveto
-682 -592 lineto
-stroke
-newpath
-677 -592 moveto
-672 -592 lineto
-stroke
-newpath
-667 -592 moveto
-662 -592 lineto
-stroke
-newpath
-657 -592 moveto
-652 -592 lineto
-stroke
-newpath
-647 -592 moveto
-642 -592 lineto
-stroke
-newpath
-637 -592 moveto
-632 -592 lineto
-stroke
-newpath
-627 -592 moveto
-622 -592 lineto
-stroke
-newpath
-634 -585 moveto
-622 -592 lineto
-stroke
-newpath
-634 -599 moveto
-622 -592 lineto
-stroke
-873 -608 moveto
-( : okay) show
-newpath
-621 -632 moveto
-626 -632 lineto
-stroke
-newpath
-631 -632 moveto
-636 -632 lineto
-stroke
-newpath
-641 -632 moveto
-646 -632 lineto
-stroke
-newpath
-651 -632 moveto
-656 -632 lineto
-stroke
-newpath
-661 -632 moveto
-666 -632 lineto
-stroke
-newpath
-671 -632 moveto
-676 -632 lineto
-stroke
-newpath
-681 -632 moveto
-686 -632 lineto
-stroke
-newpath
-691 -632 moveto
-696 -632 lineto
-stroke
-newpath
-701 -632 moveto
-706 -632 lineto
-stroke
-newpath
-711 -632 moveto
-716 -632 lineto
-stroke
-newpath
-721 -632 moveto
-726 -632 lineto
-stroke
-newpath
-731 -632 moveto
-736 -632 lineto
-stroke
-newpath
-741 -632 moveto
-746 -632 lineto
-stroke
-newpath
-751 -632 moveto
-756 -632 lineto
-stroke
-newpath
-761 -632 moveto
-766 -632 lineto
-stroke
-newpath
-771 -632 moveto
-776 -632 lineto
-stroke
-newpath
-781 -632 moveto
-786 -632 lineto
-stroke
-newpath
-791 -632 moveto
-796 -632 lineto
-stroke
-newpath
-801 -632 moveto
-806 -632 lineto
-stroke
-newpath
-795 -639 moveto
-807 -632 lineto
-stroke
-newpath
-795 -625 moveto
-807 -632 lineto
-stroke
-652 -628 moveto
-( : okay) show
-newpath
-829 -672 moveto
-856 -672 lineto
-856 -688 lineto
-840 -688 lineto
-829 -672 lineto
-stroke
-newpath
-830 -673 moveto
-842 -679 lineto
-830 -686 lineto
-closepath
-eofill
-newpath
-830 -673 moveto
-842 -679 lineto
-830 -686 lineto
-closepath
-stroke
-791 -668 moveto
-( : do_some_verifying_work) show
-newpath
-808 -712 moveto
-803 -712 lineto
-stroke
-newpath
-798 -712 moveto
-793 -712 lineto
-stroke
-newpath
-788 -712 moveto
-783 -712 lineto
-stroke
-newpath
-778 -712 moveto
-773 -712 lineto
-stroke
-newpath
-768 -712 moveto
-763 -712 lineto
-stroke
-newpath
-758 -712 moveto
-753 -712 lineto
-stroke
-newpath
-748 -712 moveto
-743 -712 lineto
-stroke
-newpath
-738 -712 moveto
-733 -712 lineto
-stroke
-newpath
-728 -712 moveto
-723 -712 lineto
-stroke
-newpath
-718 -712 moveto
-713 -712 lineto
-stroke
-newpath
-708 -712 moveto
-703 -712 lineto
-stroke
-newpath
-698 -712 moveto
-693 -712 lineto
-stroke
-newpath
-688 -712 moveto
-683 -712 lineto
-stroke
-newpath
-678 -712 moveto
-673 -712 lineto
-stroke
-newpath
-668 -712 moveto
-663 -712 lineto
-stroke
-newpath
-658 -712 moveto
-653 -712 lineto
-stroke
-newpath
-648 -712 moveto
-643 -712 lineto
-stroke
-newpath
-638 -712 moveto
-633 -712 lineto
-stroke
-newpath
-628 -712 moveto
-623 -712 lineto
-stroke
-newpath
-634 -705 moveto
-622 -712 lineto
-stroke
-newpath
-634 -719 moveto
-622 -712 lineto
-stroke
-747 -728 moveto
-( : okay) show
-newpath
-600 -752 moveto
-595 -752 lineto
-stroke
-newpath
-590 -752 moveto
-585 -752 lineto
-stroke
-newpath
-580 -752 moveto
-575 -752 lineto
-stroke
-newpath
-570 -752 moveto
-565 -752 lineto
-stroke
-newpath
-560 -752 moveto
-555 -752 lineto
-stroke
-newpath
-550 -752 moveto
-545 -752 lineto
-stroke
-newpath
-540 -752 moveto
-535 -752 lineto
-stroke
-newpath
-530 -752 moveto
-525 -752 lineto
-stroke
-newpath
-520 -752 moveto
-515 -752 lineto
-stroke
-newpath
-510 -752 moveto
-505 -752 lineto
-stroke
-newpath
-500 -752 moveto
-495 -752 lineto
-stroke
-newpath
-490 -752 moveto
-485 -752 lineto
-stroke
-newpath
-480 -752 moveto
-475 -752 lineto
-stroke
-newpath
-470 -752 moveto
-465 -752 lineto
-stroke
-newpath
-460 -752 moveto
-455 -752 lineto
-stroke
-newpath
-450 -752 moveto
-445 -752 lineto
-stroke
-newpath
-440 -752 moveto
-435 -752 lineto
-stroke
-newpath
-430 -752 moveto
-425 -752 lineto
-stroke
-newpath
-420 -752 moveto
-415 -752 lineto
-stroke
-newpath
-410 -752 moveto
-405 -752 lineto
-stroke
-newpath
-400 -752 moveto
-395 -752 lineto
-stroke
-newpath
-390 -752 moveto
-385 -752 lineto
-stroke
-newpath
-380 -752 moveto
-375 -752 lineto
-stroke
-newpath
-370 -752 moveto
-365 -752 lineto
-stroke
-newpath
-360 -752 moveto
-355 -752 lineto
-stroke
-newpath
-350 -752 moveto
-345 -752 lineto
-stroke
-newpath
-340 -752 moveto
-335 -752 lineto
-stroke
-newpath
-330 -752 moveto
-325 -752 lineto
-stroke
-newpath
-320 -752 moveto
-315 -752 lineto
-stroke
-newpath
-310 -752 moveto
-305 -752 lineto
-stroke
-newpath
-300 -752 moveto
-295 -752 lineto
-stroke
-newpath
-290 -752 moveto
-285 -752 lineto
-stroke
-newpath
-280 -752 moveto
-275 -752 lineto
-stroke
-newpath
-270 -752 moveto
-265 -752 lineto
-stroke
-newpath
-260 -752 moveto
-255 -752 lineto
-stroke
-newpath
-250 -752 moveto
-245 -752 lineto
-stroke
-newpath
-240 -752 moveto
-235 -752 lineto
-stroke
-newpath
-230 -752 moveto
-225 -752 lineto
-stroke
-newpath
-220 -752 moveto
-215 -752 lineto
-stroke
-newpath
-210 -752 moveto
-205 -752 lineto
-stroke
-newpath
-200 -752 moveto
-195 -752 lineto
-stroke
-newpath
-190 -752 moveto
-185 -752 lineto
-stroke
-newpath
-180 -752 moveto
-175 -752 lineto
-stroke
-newpath
-170 -752 moveto
-165 -752 lineto
-stroke
-newpath
-160 -752 moveto
-155 -752 lineto
-stroke
-newpath
-150 -752 moveto
-145 -752 lineto
-stroke
-newpath
-140 -752 moveto
-135 -752 lineto
-stroke
-newpath
-130 -752 moveto
-125 -752 lineto
-stroke
-newpath
-120 -752 moveto
-115 -752 lineto
-stroke
-newpath
-110 -752 moveto
-105 -752 lineto
-stroke
-newpath
-100 -752 moveto
-95 -752 lineto
-stroke
-newpath
-90 -752 moveto
-85 -752 lineto
-stroke
-newpath
-80 -752 moveto
-75 -752 lineto
-stroke
-newpath
-70 -752 moveto
-65 -752 lineto
-stroke
-newpath
-77 -745 moveto
-65 -752 lineto
-stroke
-newpath
-77 -759 moveto
-65 -752 lineto
-stroke
-414 -768 moveto
-( : okayVerificationResult) show
-newpath
-829 -392 moveto
-856 -392 lineto
-856 -408 lineto
-840 -408 lineto
-829 -392 lineto
-stroke
-newpath
-830 -393 moveto
-842 -399 lineto
-830 -406 lineto
-closepath
-eofill
-newpath
-830 -393 moveto
-842 -399 lineto
-830 -406 lineto
-closepath
-stroke
-791 -388 moveto
-( : do_some_verifying_work) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-892 -712 moveto
-38 0 rlineto
-0 -19 rlineto
--38 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-892 -712 moveto
-38 0 rlineto
-0 -19 rlineto
--38 0 rlineto
-closepath
-stroke
-isolatin1encoding /_TimesRoman /TimesRoman RE
-/_TimesRoman findfont
-10 scalefont setfont
-0.0 0.0 0.0 setrgbcolor
-893 -728 moveto
-(Pass One) show
-0.0 0.0 0.0 setrgbcolor
-newpath
-904 -608 moveto
-920 -712 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-660 -656 moveto
-38 0 rlineto
-0 -19 rlineto
--38 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-660 -656 moveto
-38 0 rlineto
-0 -19 rlineto
--38 0 rlineto
-closepath
-stroke
-0.0 0.0 0.0 setrgbcolor
-661 -672 moveto
-(Pass One) show
-0.0 0.0 0.0 setrgbcolor
-newpath
-688 -624 moveto
-688 -664 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-677 -752 moveto
-41 0 rlineto
-0 -19 rlineto
--41 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-677 -752 moveto
-41 0 rlineto
-0 -19 rlineto
--41 0 rlineto
-closepath
-stroke
-0.0 0.0 0.0 setrgbcolor
-678 -768 moveto
-(Pass Two) show
-0.0 0.0 0.0 setrgbcolor
-newpath
-720 -760 moveto
-760 -728 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-newpath
-755 -224 moveto
-115 0 rlineto
-0 -34 rlineto
--115 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-755 -224 moveto
-115 0 rlineto
-0 -34 rlineto
--115 0 rlineto
-closepath
-stroke
-0.0 0.0 0.0 setrgbcolor
-762 -240 moveto
-(Single Pass2Verifier with) show
-756 -255 moveto
-(respect to the class to verify.) show
-0.0 0.0 0.0 setrgbcolor
-newpath
-816 -304 moveto
-816 -256 lineto
-stroke
-1.0 1.0 1.0 setrgbcolor
-%newpath
-%960 -336 moveto
-%-1 0 rlineto
-%0 -39 rlineto
-%1 0 rlineto
-%closepath
-%eofill
-%0.0 0.0 0.0 setrgbcolor
-%newpath
-%960 -336 moveto
-%-1 0 rlineto
-%0 -39 rlineto
-%1 0 rlineto
-%closepath
-%stroke
-0.0 0.0 0.0 setrgbcolor
-0.0 0.0 0.0 setrgbcolor
-newpath
-984 -424 moveto
-984 -464 lineto
-stroke
-newpath
-984 -424 moveto
-984 -456 lineto
-stroke
-newpath
-984 -432 moveto
-984 -464 lineto
-stroke
-isolatin1encoding /_Helvetica /Helvetica RE
-/_Helvetica findfont
-9 scalefont setfont
-73 -68 moveto
-( : getName\(\)) show
-156 -128 moveto
-( : name) show
-104 -148 moveto
-( : getVerifier\(name\)) show
-396 -188 moveto
-( : create_if_not_cached) show
-238 -248 moveto
-( : verifier_responsible_for_name) show
-173 -268 moveto
-( : doPass2\(\)) show
-607 -308 moveto
-( : create_if_not_cached) show
-647 -348 moveto
-( : verify\(\)) show
-737 -448 moveto
-( : doPass1\(\)) show
-650 -468 moveto
-( : create_if_not_cached) show
-690 -508 moveto
-( : verify\(\)) show
-960 -548 moveto
-( : do_some_verifying_work) show
-873 -608 moveto
-( : okay) show
-652 -628 moveto
-( : okay) show
-791 -668 moveto
-( : do_some_verifying_work) show
-747 -728 moveto
-( : okay) show
-414 -768 moveto
-( : okayVerificationResult) show
-791 -388 moveto
-( : do_some_verifying_work) show
-1.0 1.0 1.0 setrgbcolor
-newpath
-913 -392 moveto
-115 0 rlineto
-0 -34 rlineto
--115 0 rlineto
-closepath
-eofill
-0.0 0.0 0.0 setrgbcolor
-newpath
-913 -392 moveto
-115 0 rlineto
-0 -34 rlineto
--115 0 rlineto
-closepath
-stroke
-isolatin1encoding /_TimesRoman /TimesRoman RE
-/_TimesRoman findfont
-10 scalefont setfont
-0.0 0.0 0.0 setrgbcolor
-920 -408 moveto
-(Single Pass1Verifier with) show
-914 -423 moveto
-(respect to the class to verify.) show
-showpage
-%%Trailer
+%%EndSetup
+1 setlinewidth
+isolatin1encoding /_Helvetica /Helvetica RE
+/_Helvetica findfont
+12 scalefont setfont
+0.0 0.0 0.0 setrgbcolor
+0 807 translate
+1.0 1.0 1.0 setrgbcolor
+newpath
+10 -10 moveto
+86 0 rlineto
+0 -26 rlineto
+-86 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+10 -10 moveto
+86 0 rlineto
+0 -26 rlineto
+-86 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+10 -10 moveto
+86 0 rlineto
+0 -26 rlineto
+-86 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+10 -10 moveto
+86 0 rlineto
+0 -26 rlineto
+-86 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+10 -10 moveto
+86 0 rlineto
+0 -26 rlineto
+-86 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+10 -10 moveto
+86 0 rlineto
+0 -26 rlineto
+-86 0 rlineto
+closepath
+stroke
+isolatin1encoding /_Helvetica /Helvetica RE
+/_Helvetica findfont
+9 scalefont setfont
+newpath
+21 -25 moveto
+86 -25 lineto
+stroke
+21 -24 moveto
+(firewall : Object) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+49 -37 moveto
+9 0 rlineto
+0 -759 rlineto
+-9 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+49 -37 moveto
+9 0 rlineto
+0 -759 rlineto
+-9 0 rlineto
+closepath
+stroke
+newpath
+49 -796 moveto
+58 -796 lineto
+stroke
+newpath
+58 -796 moveto
+49 -796 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+43 -72 moveto
+20 0 rlineto
+0 -679 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+43 -72 moveto
+20 0 rlineto
+0 -679 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+43 -72 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+43 -72 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+43 -112 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+43 -112 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+43 -152 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+43 -152 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+43 -232 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+43 -232 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+43 -272 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+43 -272 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+43 -752 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+43 -752 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+157 -10 moveto
+119 0 rlineto
+0 -26 rlineto
+-119 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+157 -10 moveto
+119 0 rlineto
+0 -26 rlineto
+-119 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+157 -10 moveto
+119 0 rlineto
+0 -26 rlineto
+-119 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+157 -10 moveto
+119 0 rlineto
+0 -26 rlineto
+-119 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+157 -10 moveto
+119 0 rlineto
+0 -26 rlineto
+-119 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+157 -10 moveto
+119 0 rlineto
+0 -26 rlineto
+-119 0 rlineto
+closepath
+stroke
+newpath
+168 -25 moveto
+266 -25 lineto
+stroke
+168 -24 moveto
+(aClassToVerify : Class) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+213 -37 moveto
+9 0 rlineto
+0 -759 rlineto
+-9 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+213 -37 moveto
+9 0 rlineto
+0 -759 rlineto
+-9 0 rlineto
+closepath
+stroke
+newpath
+213 -796 moveto
+222 -796 lineto
+stroke
+newpath
+222 -796 moveto
+213 -796 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+207 -72 moveto
+20 0 rlineto
+0 -39 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+207 -72 moveto
+20 0 rlineto
+0 -39 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+207 -72 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+207 -72 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+207 -112 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+207 -112 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+337 -10 moveto
+118 0 rlineto
+0 -26 rlineto
+-118 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+337 -10 moveto
+118 0 rlineto
+0 -26 rlineto
+-118 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+337 -10 moveto
+118 0 rlineto
+0 -26 rlineto
+-118 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+337 -10 moveto
+118 0 rlineto
+0 -26 rlineto
+-118 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+337 -10 moveto
+118 0 rlineto
+0 -26 rlineto
+-118 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+337 -10 moveto
+118 0 rlineto
+0 -26 rlineto
+-118 0 rlineto
+closepath
+stroke
+newpath
+348 -25 moveto
+445 -25 lineto
+stroke
+348 -24 moveto
+(theVF : VerifierFactory) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+392 -37 moveto
+9 0 rlineto
+0 -759 rlineto
+-9 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+392 -37 moveto
+9 0 rlineto
+0 -759 rlineto
+-9 0 rlineto
+closepath
+stroke
+newpath
+392 -796 moveto
+401 -796 lineto
+stroke
+newpath
+401 -796 moveto
+392 -796 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+386 -152 moveto
+20 0 rlineto
+0 -79 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+386 -152 moveto
+20 0 rlineto
+0 -79 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+386 -152 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+386 -152 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+386 -192 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+386 -192 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+386 -232 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+386 -232 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+562 -180 moveto
+95 0 rlineto
+0 -26 rlineto
+-95 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+562 -180 moveto
+95 0 rlineto
+0 -26 rlineto
+-95 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+562 -180 moveto
+95 0 rlineto
+0 -26 rlineto
+-95 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+562 -180 moveto
+95 0 rlineto
+0 -26 rlineto
+-95 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+562 -180 moveto
+95 0 rlineto
+0 -26 rlineto
+-95 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+562 -180 moveto
+95 0 rlineto
+0 -26 rlineto
+-95 0 rlineto
+closepath
+stroke
+newpath
+573 -195 moveto
+647 -195 lineto
+stroke
+573 -194 moveto
+(aVerifier : Verifier) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+606 -207 moveto
+9 0 rlineto
+0 -589 rlineto
+-9 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+606 -207 moveto
+9 0 rlineto
+0 -589 rlineto
+-9 0 rlineto
+closepath
+stroke
+newpath
+606 -796 moveto
+615 -796 lineto
+stroke
+newpath
+615 -796 moveto
+606 -796 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -207 moveto
+20 0 rlineto
+0 -544 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -207 moveto
+20 0 rlineto
+0 -544 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+562 -190 moveto
+95 0 rlineto
+0 1 rlineto
+-95 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+562 -190 moveto
+95 0 rlineto
+0 1 rlineto
+-95 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -272 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -272 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -312 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -312 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -352 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -352 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -432 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -432 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -472 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -472 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -512 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -512 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -592 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -592 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -632 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -632 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -712 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -712 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+600 -752 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+600 -752 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+764 -300 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+764 -300 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+764 -300 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+764 -300 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+764 -300 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+764 -300 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+stroke
+newpath
+775 -315 moveto
+862 -315 lineto
+stroke
+775 -314 moveto
+(aP2V : Pass2Verifier) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+814 -327 moveto
+9 0 rlineto
+0 -469 rlineto
+-9 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+814 -327 moveto
+9 0 rlineto
+0 -469 rlineto
+-9 0 rlineto
+closepath
+stroke
+newpath
+814 -796 moveto
+823 -796 lineto
+stroke
+newpath
+823 -796 moveto
+814 -796 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -327 moveto
+20 0 rlineto
+0 -384 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -327 moveto
+20 0 rlineto
+0 -384 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+764 -310 moveto
+108 0 rlineto
+0 1 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+764 -310 moveto
+108 0 rlineto
+0 1 rlineto
+-108 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -352 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -352 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -432 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -432 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -632 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -632 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -672 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -672 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -672 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -672 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -712 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -712 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -392 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -392 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+808 -392 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+808 -392 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+933 -460 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+933 -460 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+933 -460 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+933 -460 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+933 -460 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+933 -460 moveto
+108 0 rlineto
+0 -26 rlineto
+-108 0 rlineto
+closepath
+stroke
+newpath
+944 -475 moveto
+1031 -475 lineto
+stroke
+944 -474 moveto
+(aP1V : Pass1Verifier) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+983 -487 moveto
+9 0 rlineto
+0 -309 rlineto
+-9 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+983 -487 moveto
+9 0 rlineto
+0 -309 rlineto
+-9 0 rlineto
+closepath
+stroke
+newpath
+983 -796 moveto
+992 -796 lineto
+stroke
+newpath
+992 -796 moveto
+983 -796 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+977 -487 moveto
+20 0 rlineto
+0 -104 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+977 -487 moveto
+20 0 rlineto
+0 -104 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+933 -470 moveto
+108 0 rlineto
+0 1 rlineto
+-108 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+933 -470 moveto
+108 0 rlineto
+0 1 rlineto
+-108 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+977 -512 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+977 -512 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+977 -552 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+977 -552 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+977 -552 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+977 -552 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+977 -592 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+977 -592 moveto
+20 0 rlineto
+0 1 rlineto
+-20 0 rlineto
+closepath
+stroke
+newpath
+64 -72 moveto
+207 -72 lineto
+stroke
+newpath
+206 -72 moveto
+194 -79 lineto
+194 -65 lineto
+closepath
+eofill
+newpath
+206 -72 moveto
+194 -79 lineto
+194 -65 lineto
+closepath
+stroke
+73 -68 moveto
+( : getName\(\)) show
+newpath
+207 -112 moveto
+202 -112 lineto
+stroke
+newpath
+197 -112 moveto
+192 -112 lineto
+stroke
+newpath
+187 -112 moveto
+182 -112 lineto
+stroke
+newpath
+177 -112 moveto
+172 -112 lineto
+stroke
+newpath
+167 -112 moveto
+162 -112 lineto
+stroke
+newpath
+157 -112 moveto
+152 -112 lineto
+stroke
+newpath
+147 -112 moveto
+142 -112 lineto
+stroke
+newpath
+137 -112 moveto
+132 -112 lineto
+stroke
+newpath
+127 -112 moveto
+122 -112 lineto
+stroke
+newpath
+117 -112 moveto
+112 -112 lineto
+stroke
+newpath
+107 -112 moveto
+102 -112 lineto
+stroke
+newpath
+97 -112 moveto
+92 -112 lineto
+stroke
+newpath
+87 -112 moveto
+82 -112 lineto
+stroke
+newpath
+77 -112 moveto
+72 -112 lineto
+stroke
+newpath
+67 -112 moveto
+64 -112 lineto
+stroke
+newpath
+77 -105 moveto
+65 -112 lineto
+stroke
+newpath
+77 -119 moveto
+65 -112 lineto
+stroke
+156 -128 moveto
+( : name) show
+newpath
+64 -152 moveto
+386 -152 lineto
+stroke
+newpath
+385 -152 moveto
+373 -159 lineto
+373 -145 lineto
+closepath
+eofill
+newpath
+385 -152 moveto
+373 -159 lineto
+373 -145 lineto
+closepath
+stroke
+104 -148 moveto
+( : getVerifier\(name\)) show
+newpath
+407 -192 moveto
+560 -192 lineto
+562 -190 lineto
+stroke
+newpath
+561 -191 moveto
+550 -200 lineto
+547 -186 lineto
+closepath
+eofill
+newpath
+561 -191 moveto
+550 -200 lineto
+547 -186 lineto
+closepath
+stroke
+396 -188 moveto
+( : create_if_not_cached) show
+newpath
+386 -232 moveto
+381 -232 lineto
+stroke
+newpath
+376 -232 moveto
+371 -232 lineto
+stroke
+newpath
+366 -232 moveto
+361 -232 lineto
+stroke
+newpath
+356 -232 moveto
+351 -232 lineto
+stroke
+newpath
+346 -232 moveto
+341 -232 lineto
+stroke
+newpath
+336 -232 moveto
+331 -232 lineto
+stroke
+newpath
+326 -232 moveto
+321 -232 lineto
+stroke
+newpath
+316 -232 moveto
+311 -232 lineto
+stroke
+newpath
+306 -232 moveto
+301 -232 lineto
+stroke
+newpath
+296 -232 moveto
+291 -232 lineto
+stroke
+newpath
+286 -232 moveto
+281 -232 lineto
+stroke
+newpath
+276 -232 moveto
+271 -232 lineto
+stroke
+newpath
+266 -232 moveto
+261 -232 lineto
+stroke
+newpath
+256 -232 moveto
+251 -232 lineto
+stroke
+newpath
+246 -232 moveto
+241 -232 lineto
+stroke
+newpath
+236 -232 moveto
+231 -232 lineto
+stroke
+newpath
+226 -232 moveto
+221 -232 lineto
+stroke
+newpath
+216 -232 moveto
+211 -232 lineto
+stroke
+newpath
+206 -232 moveto
+201 -232 lineto
+stroke
+newpath
+196 -232 moveto
+191 -232 lineto
+stroke
+newpath
+186 -232 moveto
+181 -232 lineto
+stroke
+newpath
+176 -232 moveto
+171 -232 lineto
+stroke
+newpath
+166 -232 moveto
+161 -232 lineto
+stroke
+newpath
+156 -232 moveto
+151 -232 lineto
+stroke
+newpath
+146 -232 moveto
+141 -232 lineto
+stroke
+newpath
+136 -232 moveto
+131 -232 lineto
+stroke
+newpath
+126 -232 moveto
+121 -232 lineto
+stroke
+newpath
+116 -232 moveto
+111 -232 lineto
+stroke
+newpath
+106 -232 moveto
+101 -232 lineto
+stroke
+newpath
+96 -232 moveto
+91 -232 lineto
+stroke
+newpath
+86 -232 moveto
+81 -232 lineto
+stroke
+newpath
+76 -232 moveto
+71 -232 lineto
+stroke
+newpath
+66 -232 moveto
+64 -232 lineto
+stroke
+newpath
+77 -225 moveto
+65 -232 lineto
+stroke
+newpath
+77 -239 moveto
+65 -232 lineto
+stroke
+238 -248 moveto
+( : verifier_responsible_for_name) show
+newpath
+64 -272 moveto
+600 -272 lineto
+stroke
+newpath
+599 -272 moveto
+587 -279 lineto
+587 -265 lineto
+closepath
+eofill
+newpath
+599 -272 moveto
+587 -279 lineto
+587 -265 lineto
+closepath
+stroke
+173 -268 moveto
+( : doPass2\(\)) show
+newpath
+621 -312 moveto
+760 -312 lineto
+764 -310 lineto
+stroke
+newpath
+763 -311 moveto
+752 -320 lineto
+749 -306 lineto
+closepath
+eofill
+newpath
+763 -311 moveto
+752 -320 lineto
+749 -306 lineto
+closepath
+stroke
+607 -308 moveto
+( : create_if_not_cached) show
+newpath
+621 -352 moveto
+808 -352 lineto
+stroke
+newpath
+807 -352 moveto
+795 -359 lineto
+795 -345 lineto
+closepath
+eofill
+newpath
+807 -352 moveto
+795 -359 lineto
+795 -345 lineto
+closepath
+stroke
+647 -348 moveto
+( : verify\(\)) show
+newpath
+808 -432 moveto
+621 -432 lineto
+stroke
+newpath
+622 -432 moveto
+634 -425 lineto
+634 -439 lineto
+closepath
+eofill
+newpath
+622 -432 moveto
+634 -425 lineto
+634 -439 lineto
+closepath
+stroke
+737 -448 moveto
+( : doPass1\(\)) show
+newpath
+621 -472 moveto
+933 -470 lineto
+stroke
+newpath
+932 -471 moveto
+920 -478 lineto
+920 -464 lineto
+closepath
+eofill
+newpath
+932 -471 moveto
+920 -478 lineto
+920 -464 lineto
+closepath
+stroke
+650 -468 moveto
+( : create_if_not_cached) show
+newpath
+621 -512 moveto
+977 -512 lineto
+stroke
+newpath
+976 -512 moveto
+964 -519 lineto
+964 -505 lineto
+closepath
+eofill
+newpath
+976 -512 moveto
+964 -519 lineto
+964 -505 lineto
+closepath
+stroke
+690 -508 moveto
+( : verify\(\)) show
+newpath
+998 -552 moveto
+1024 -552 lineto
+1024 -568 lineto
+1008 -568 lineto
+998 -552 lineto
+stroke
+newpath
+999 -553 moveto
+1011 -559 lineto
+999 -566 lineto
+closepath
+eofill
+newpath
+999 -553 moveto
+1011 -559 lineto
+999 -566 lineto
+closepath
+stroke
+960 -548 moveto
+( : do_some_verifying_work) show
+newpath
+977 -592 moveto
+972 -592 lineto
+stroke
+newpath
+967 -592 moveto
+962 -592 lineto
+stroke
+newpath
+957 -592 moveto
+952 -592 lineto
+stroke
+newpath
+947 -592 moveto
+942 -592 lineto
+stroke
+newpath
+937 -592 moveto
+932 -592 lineto
+stroke
+newpath
+927 -592 moveto
+922 -592 lineto
+stroke
+newpath
+917 -592 moveto
+912 -592 lineto
+stroke
+newpath
+907 -592 moveto
+902 -592 lineto
+stroke
+newpath
+897 -592 moveto
+892 -592 lineto
+stroke
+newpath
+887 -592 moveto
+882 -592 lineto
+stroke
+newpath
+877 -592 moveto
+872 -592 lineto
+stroke
+newpath
+867 -592 moveto
+862 -592 lineto
+stroke
+newpath
+857 -592 moveto
+852 -592 lineto
+stroke
+newpath
+847 -592 moveto
+842 -592 lineto
+stroke
+newpath
+837 -592 moveto
+832 -592 lineto
+stroke
+newpath
+827 -592 moveto
+822 -592 lineto
+stroke
+newpath
+817 -592 moveto
+812 -592 lineto
+stroke
+newpath
+807 -592 moveto
+802 -592 lineto
+stroke
+newpath
+797 -592 moveto
+792 -592 lineto
+stroke
+newpath
+787 -592 moveto
+782 -592 lineto
+stroke
+newpath
+777 -592 moveto
+772 -592 lineto
+stroke
+newpath
+767 -592 moveto
+762 -592 lineto
+stroke
+newpath
+757 -592 moveto
+752 -592 lineto
+stroke
+newpath
+747 -592 moveto
+742 -592 lineto
+stroke
+newpath
+737 -592 moveto
+732 -592 lineto
+stroke
+newpath
+727 -592 moveto
+722 -592 lineto
+stroke
+newpath
+717 -592 moveto
+712 -592 lineto
+stroke
+newpath
+707 -592 moveto
+702 -592 lineto
+stroke
+newpath
+697 -592 moveto
+692 -592 lineto
+stroke
+newpath
+687 -592 moveto
+682 -592 lineto
+stroke
+newpath
+677 -592 moveto
+672 -592 lineto
+stroke
+newpath
+667 -592 moveto
+662 -592 lineto
+stroke
+newpath
+657 -592 moveto
+652 -592 lineto
+stroke
+newpath
+647 -592 moveto
+642 -592 lineto
+stroke
+newpath
+637 -592 moveto
+632 -592 lineto
+stroke
+newpath
+627 -592 moveto
+622 -592 lineto
+stroke
+newpath
+634 -585 moveto
+622 -592 lineto
+stroke
+newpath
+634 -599 moveto
+622 -592 lineto
+stroke
+873 -608 moveto
+( : okay) show
+newpath
+621 -632 moveto
+626 -632 lineto
+stroke
+newpath
+631 -632 moveto
+636 -632 lineto
+stroke
+newpath
+641 -632 moveto
+646 -632 lineto
+stroke
+newpath
+651 -632 moveto
+656 -632 lineto
+stroke
+newpath
+661 -632 moveto
+666 -632 lineto
+stroke
+newpath
+671 -632 moveto
+676 -632 lineto
+stroke
+newpath
+681 -632 moveto
+686 -632 lineto
+stroke
+newpath
+691 -632 moveto
+696 -632 lineto
+stroke
+newpath
+701 -632 moveto
+706 -632 lineto
+stroke
+newpath
+711 -632 moveto
+716 -632 lineto
+stroke
+newpath
+721 -632 moveto
+726 -632 lineto
+stroke
+newpath
+731 -632 moveto
+736 -632 lineto
+stroke
+newpath
+741 -632 moveto
+746 -632 lineto
+stroke
+newpath
+751 -632 moveto
+756 -632 lineto
+stroke
+newpath
+761 -632 moveto
+766 -632 lineto
+stroke
+newpath
+771 -632 moveto
+776 -632 lineto
+stroke
+newpath
+781 -632 moveto
+786 -632 lineto
+stroke
+newpath
+791 -632 moveto
+796 -632 lineto
+stroke
+newpath
+801 -632 moveto
+806 -632 lineto
+stroke
+newpath
+795 -639 moveto
+807 -632 lineto
+stroke
+newpath
+795 -625 moveto
+807 -632 lineto
+stroke
+652 -628 moveto
+( : okay) show
+newpath
+829 -672 moveto
+856 -672 lineto
+856 -688 lineto
+840 -688 lineto
+829 -672 lineto
+stroke
+newpath
+830 -673 moveto
+842 -679 lineto
+830 -686 lineto
+closepath
+eofill
+newpath
+830 -673 moveto
+842 -679 lineto
+830 -686 lineto
+closepath
+stroke
+791 -668 moveto
+( : do_some_verifying_work) show
+newpath
+808 -712 moveto
+803 -712 lineto
+stroke
+newpath
+798 -712 moveto
+793 -712 lineto
+stroke
+newpath
+788 -712 moveto
+783 -712 lineto
+stroke
+newpath
+778 -712 moveto
+773 -712 lineto
+stroke
+newpath
+768 -712 moveto
+763 -712 lineto
+stroke
+newpath
+758 -712 moveto
+753 -712 lineto
+stroke
+newpath
+748 -712 moveto
+743 -712 lineto
+stroke
+newpath
+738 -712 moveto
+733 -712 lineto
+stroke
+newpath
+728 -712 moveto
+723 -712 lineto
+stroke
+newpath
+718 -712 moveto
+713 -712 lineto
+stroke
+newpath
+708 -712 moveto
+703 -712 lineto
+stroke
+newpath
+698 -712 moveto
+693 -712 lineto
+stroke
+newpath
+688 -712 moveto
+683 -712 lineto
+stroke
+newpath
+678 -712 moveto
+673 -712 lineto
+stroke
+newpath
+668 -712 moveto
+663 -712 lineto
+stroke
+newpath
+658 -712 moveto
+653 -712 lineto
+stroke
+newpath
+648 -712 moveto
+643 -712 lineto
+stroke
+newpath
+638 -712 moveto
+633 -712 lineto
+stroke
+newpath
+628 -712 moveto
+623 -712 lineto
+stroke
+newpath
+634 -705 moveto
+622 -712 lineto
+stroke
+newpath
+634 -719 moveto
+622 -712 lineto
+stroke
+747 -728 moveto
+( : okay) show
+newpath
+600 -752 moveto
+595 -752 lineto
+stroke
+newpath
+590 -752 moveto
+585 -752 lineto
+stroke
+newpath
+580 -752 moveto
+575 -752 lineto
+stroke
+newpath
+570 -752 moveto
+565 -752 lineto
+stroke
+newpath
+560 -752 moveto
+555 -752 lineto
+stroke
+newpath
+550 -752 moveto
+545 -752 lineto
+stroke
+newpath
+540 -752 moveto
+535 -752 lineto
+stroke
+newpath
+530 -752 moveto
+525 -752 lineto
+stroke
+newpath
+520 -752 moveto
+515 -752 lineto
+stroke
+newpath
+510 -752 moveto
+505 -752 lineto
+stroke
+newpath
+500 -752 moveto
+495 -752 lineto
+stroke
+newpath
+490 -752 moveto
+485 -752 lineto
+stroke
+newpath
+480 -752 moveto
+475 -752 lineto
+stroke
+newpath
+470 -752 moveto
+465 -752 lineto
+stroke
+newpath
+460 -752 moveto
+455 -752 lineto
+stroke
+newpath
+450 -752 moveto
+445 -752 lineto
+stroke
+newpath
+440 -752 moveto
+435 -752 lineto
+stroke
+newpath
+430 -752 moveto
+425 -752 lineto
+stroke
+newpath
+420 -752 moveto
+415 -752 lineto
+stroke
+newpath
+410 -752 moveto
+405 -752 lineto
+stroke
+newpath
+400 -752 moveto
+395 -752 lineto
+stroke
+newpath
+390 -752 moveto
+385 -752 lineto
+stroke
+newpath
+380 -752 moveto
+375 -752 lineto
+stroke
+newpath
+370 -752 moveto
+365 -752 lineto
+stroke
+newpath
+360 -752 moveto
+355 -752 lineto
+stroke
+newpath
+350 -752 moveto
+345 -752 lineto
+stroke
+newpath
+340 -752 moveto
+335 -752 lineto
+stroke
+newpath
+330 -752 moveto
+325 -752 lineto
+stroke
+newpath
+320 -752 moveto
+315 -752 lineto
+stroke
+newpath
+310 -752 moveto
+305 -752 lineto
+stroke
+newpath
+300 -752 moveto
+295 -752 lineto
+stroke
+newpath
+290 -752 moveto
+285 -752 lineto
+stroke
+newpath
+280 -752 moveto
+275 -752 lineto
+stroke
+newpath
+270 -752 moveto
+265 -752 lineto
+stroke
+newpath
+260 -752 moveto
+255 -752 lineto
+stroke
+newpath
+250 -752 moveto
+245 -752 lineto
+stroke
+newpath
+240 -752 moveto
+235 -752 lineto
+stroke
+newpath
+230 -752 moveto
+225 -752 lineto
+stroke
+newpath
+220 -752 moveto
+215 -752 lineto
+stroke
+newpath
+210 -752 moveto
+205 -752 lineto
+stroke
+newpath
+200 -752 moveto
+195 -752 lineto
+stroke
+newpath
+190 -752 moveto
+185 -752 lineto
+stroke
+newpath
+180 -752 moveto
+175 -752 lineto
+stroke
+newpath
+170 -752 moveto
+165 -752 lineto
+stroke
+newpath
+160 -752 moveto
+155 -752 lineto
+stroke
+newpath
+150 -752 moveto
+145 -752 lineto
+stroke
+newpath
+140 -752 moveto
+135 -752 lineto
+stroke
+newpath
+130 -752 moveto
+125 -752 lineto
+stroke
+newpath
+120 -752 moveto
+115 -752 lineto
+stroke
+newpath
+110 -752 moveto
+105 -752 lineto
+stroke
+newpath
+100 -752 moveto
+95 -752 lineto
+stroke
+newpath
+90 -752 moveto
+85 -752 lineto
+stroke
+newpath
+80 -752 moveto
+75 -752 lineto
+stroke
+newpath
+70 -752 moveto
+65 -752 lineto
+stroke
+newpath
+77 -745 moveto
+65 -752 lineto
+stroke
+newpath
+77 -759 moveto
+65 -752 lineto
+stroke
+414 -768 moveto
+( : okayVerificationResult) show
+newpath
+829 -392 moveto
+856 -392 lineto
+856 -408 lineto
+840 -408 lineto
+829 -392 lineto
+stroke
+newpath
+830 -393 moveto
+842 -399 lineto
+830 -406 lineto
+closepath
+eofill
+newpath
+830 -393 moveto
+842 -399 lineto
+830 -406 lineto
+closepath
+stroke
+791 -388 moveto
+( : do_some_verifying_work) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+892 -712 moveto
+38 0 rlineto
+0 -19 rlineto
+-38 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+892 -712 moveto
+38 0 rlineto
+0 -19 rlineto
+-38 0 rlineto
+closepath
+stroke
+isolatin1encoding /_TimesRoman /TimesRoman RE
+/_TimesRoman findfont
+10 scalefont setfont
+0.0 0.0 0.0 setrgbcolor
+893 -728 moveto
+(Pass One) show
+0.0 0.0 0.0 setrgbcolor
+newpath
+904 -608 moveto
+920 -712 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+660 -656 moveto
+38 0 rlineto
+0 -19 rlineto
+-38 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+660 -656 moveto
+38 0 rlineto
+0 -19 rlineto
+-38 0 rlineto
+closepath
+stroke
+0.0 0.0 0.0 setrgbcolor
+661 -672 moveto
+(Pass One) show
+0.0 0.0 0.0 setrgbcolor
+newpath
+688 -624 moveto
+688 -664 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+677 -752 moveto
+41 0 rlineto
+0 -19 rlineto
+-41 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+677 -752 moveto
+41 0 rlineto
+0 -19 rlineto
+-41 0 rlineto
+closepath
+stroke
+0.0 0.0 0.0 setrgbcolor
+678 -768 moveto
+(Pass Two) show
+0.0 0.0 0.0 setrgbcolor
+newpath
+720 -760 moveto
+760 -728 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+newpath
+755 -224 moveto
+115 0 rlineto
+0 -34 rlineto
+-115 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+755 -224 moveto
+115 0 rlineto
+0 -34 rlineto
+-115 0 rlineto
+closepath
+stroke
+0.0 0.0 0.0 setrgbcolor
+762 -240 moveto
+(Single Pass2Verifier with) show
+756 -255 moveto
+(respect to the class to verify.) show
+0.0 0.0 0.0 setrgbcolor
+newpath
+816 -304 moveto
+816 -256 lineto
+stroke
+1.0 1.0 1.0 setrgbcolor
+%newpath
+%960 -336 moveto
+%-1 0 rlineto
+%0 -39 rlineto
+%1 0 rlineto
+%closepath
+%eofill
+%0.0 0.0 0.0 setrgbcolor
+%newpath
+%960 -336 moveto
+%-1 0 rlineto
+%0 -39 rlineto
+%1 0 rlineto
+%closepath
+%stroke
+0.0 0.0 0.0 setrgbcolor
+0.0 0.0 0.0 setrgbcolor
+newpath
+984 -424 moveto
+984 -464 lineto
+stroke
+newpath
+984 -424 moveto
+984 -456 lineto
+stroke
+newpath
+984 -432 moveto
+984 -464 lineto
+stroke
+isolatin1encoding /_Helvetica /Helvetica RE
+/_Helvetica findfont
+9 scalefont setfont
+73 -68 moveto
+( : getName\(\)) show
+156 -128 moveto
+( : name) show
+104 -148 moveto
+( : getVerifier\(name\)) show
+396 -188 moveto
+( : create_if_not_cached) show
+238 -248 moveto
+( : verifier_responsible_for_name) show
+173 -268 moveto
+( : doPass2\(\)) show
+607 -308 moveto
+( : create_if_not_cached) show
+647 -348 moveto
+( : verify\(\)) show
+737 -448 moveto
+( : doPass1\(\)) show
+650 -468 moveto
+( : create_if_not_cached) show
+690 -508 moveto
+( : verify\(\)) show
+960 -548 moveto
+( : do_some_verifying_work) show
+873 -608 moveto
+( : okay) show
+652 -628 moveto
+( : okay) show
+791 -668 moveto
+( : do_some_verifying_work) show
+747 -728 moveto
+( : okay) show
+414 -768 moveto
+( : okayVerificationResult) show
+791 -388 moveto
+( : do_some_verifying_work) show
+1.0 1.0 1.0 setrgbcolor
+newpath
+913 -392 moveto
+115 0 rlineto
+0 -34 rlineto
+-115 0 rlineto
+closepath
+eofill
+0.0 0.0 0.0 setrgbcolor
+newpath
+913 -392 moveto
+115 0 rlineto
+0 -34 rlineto
+-115 0 rlineto
+closepath
+stroke
+isolatin1encoding /_TimesRoman /TimesRoman RE
+/_TimesRoman findfont
+10 scalefont setfont
+0.0 0.0 0.0 setrgbcolor
+920 -408 moveto
+(Single Pass1Verifier with) show
+914 -423 moveto
+(respect to the class to verify.) show
+showpage
+%%Trailer
diff --git a/src/site/xdoc/index.xml b/src/site/xdoc/index.xml
index da5692d4..e1bbcee2 100644
--- a/src/site/xdoc/index.xml
+++ b/src/site/xdoc/index.xml
@@ -1,87 +1,87 @@
-<?xml version="1.0"?>
-<!--
- * Licensed to the Apache Software Foundation (ASF) under one
- * or more contributor license agreements. See the NOTICE file
- * distributed with this work for additional information
- * regarding copyright ownership. The ASF licenses this file
- * to you under the Apache License, Version 2.0 (the
- * "License"); you may not use this file except in compliance
- * with the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing,
- * software distributed under the License is distributed on an
- * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
- * KIND, either express or implied. See the License for the
- * specific language governing permissions and limitations
- * under the License.
--->
-
-<document>
- <properties>
- <title>Home</title>
- <author email="d...@commons.apache.org">Commons Documentation Team</author>
- </properties>
- <body>
- <section name="Commons BCEL">
- <p>
- The Byte Code Engineering Library (Apache Commons BCEL™) is
intended to give users a
- convenient way to analyze, create, and manipulate (binary)
- Java class files (those ending with .class). Classes are
- represented by objects which contain all the symbolic information
- of the given class: methods, fields and byte code instructions, in
- particular.
- </p>
- <p>
- Such objects can be read from an existing file, be transformed
- by a program (e.g. a class loader at run-time) and written to a file
again.
- An even more interesting application is the creation of classes from
scratch
- at run-time. The Byte Code Engineering Library (BCEL) may be also
useful
- if you want to learn about the Java Virtual Machine (JVM) and the
format of
- Java .class files.
- </p>
- <p>
- BCEL contains a byte code verifier named JustIce, which usually
- gives you much better information about what's wrong with your
- code than the standard JVM message.
- </p>
- <p>
- BCEL is already being used successfully in several projects such
- as compilers, optimizers, obsfuscators, code generators
- and analysis tools. Unfortunately there hasn't been much development
- going on over the past few years. Feel free to help out or you
- might want to have a look into the ASM project at objectweb.
- </p>
- </section>
- <section name="Documentation">
- <p>
- The package descriptions in the <a
href="apidocs/index.html">Javadoc</a> give an overview of the available features
- and various <a href="project-reports.html">project reports</a> are
provided.
- </p>
- <p>
- The <a href="scm.html">source repository</a> can be
- <a
href="https://gitbox.apache.org/repos/asf?p=commons-bcel.git";>browsed</a>, or
you can browse/contribute via <a
href="https://github.com/apache/commons-bcel";>GitHub</a>.
- </p>
- </section>
- <section name="Release Information">
- <p>The latest stable release of BCEL is here, you may: </p>
- <ul>
- <li><a
href="https://commons.apache.org/proper/commons-bcel/download_bcel.cgi";>Download</a></li>
- <li>Read the <a
href="https://www.apache.org/dist/commons/bcel/RELEASE-NOTES.txt";>release
notes</a></li>
- <li>Inspect the <a href="bcel5-bcel6-clirr-report.html">extended Clirr
report</a> comparing 5.2 with 6.x</li>
- </ul>
- <p>
- Alternatively, you can pull it from the central Maven repositories
through a <a href="dependency-info.html">dependency</a>.
- </p>
-
- </section>
- <section name="Getting Involved">
- <p>
- The <a href="mail-lists.html">commons developer mailing list</a> is
the main channel of communication for contributors. Please remember that the
lists are shared between all commons components, so prefix your email by
[bcel]. </p>
- <p>You can also peruse <a href="issue-tracking.html">JIRA</a>.</p>
- <p>Alternatively you can go through the <em>Needs Work</em> tags in the
<a href="taglist.html">TagList report</a>.</p>
- <p>If you'd like to offer up pull requests via GitHub rather than
applying patches to JIRA, we have a <a
href="https://github.com/apache/commons-bcel/";>GitHub mirror</a>. </p>
- </section>
- </body>
-</document>
+<?xml version="1.0"?>
+<!--
+ * Licensed to the Apache Software Foundation (ASF) under one
+ * or more contributor license agreements. See the NOTICE file
+ * distributed with this work for additional information
+ * regarding copyright ownership. The ASF licenses this file
+ * to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance
+ * with the License. You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied. See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+-->
+
+<document>
+ <properties>
+ <title>Home</title>
+ <author email="d...@commons.apache.org">Commons Documentation Team</author>
+ </properties>
+ <body>
+ <section name="Commons BCEL">
+ <p>
+ The Byte Code Engineering Library (Apache Commons BCEL™) is
intended to give users a
+ convenient way to analyze, create, and manipulate (binary)
+ Java class files (those ending with .class). Classes are
+ represented by objects which contain all the symbolic information
+ of the given class: methods, fields and byte code instructions, in
+ particular.
+ </p>
+ <p>
+ Such objects can be read from an existing file, be transformed
+ by a program (e.g. a class loader at run-time) and written to a file
again.
+ An even more interesting application is the creation of classes from
scratch
+ at run-time. The Byte Code Engineering Library (BCEL) may be also
useful
+ if you want to learn about the Java Virtual Machine (JVM) and the
format of
+ Java .class files.
+ </p>
+ <p>
+ BCEL contains a byte code verifier named JustIce, which usually
+ gives you much better information about what's wrong with your
+ code than the standard JVM message.
+ </p>
+ <p>
+ BCEL is already being used successfully in several projects such
+ as compilers, optimizers, obsfuscators, code generators
+ and analysis tools. Unfortunately there hasn't been much development
+ going on over the past few years. Feel free to help out or you
+ might want to have a look into the ASM project at objectweb.
+ </p>
+ </section>
+ <section name="Documentation">
+ <p>
+ The package descriptions in the <a
href="apidocs/index.html">Javadoc</a> give an overview of the available features
+ and various <a href="project-reports.html">project reports</a> are
provided.
+ </p>
+ <p>
+ The <a href="scm.html">source repository</a> can be
+ <a
href="https://gitbox.apache.org/repos/asf?p=commons-bcel.git";>browsed</a>, or
you can browse/contribute via <a
href="https://github.com/apache/commons-bcel";>GitHub</a>.
+ </p>
+ </section>
+ <section name="Release Information">
+ <p>The latest stable release of BCEL is here, you may: </p>
+ <ul>
+ <li><a
href="https://commons.apache.org/proper/commons-bcel/download_bcel.cgi";>Download</a></li>
+ <li>Read the <a
href="https://www.apache.org/dist/commons/bcel/RELEASE-NOTES.txt";>release
notes</a></li>
+ <li>Inspect the <a href="bcel5-bcel6-clirr-report.html">extended Clirr
report</a> comparing 5.2 with 6.x</li>
+ </ul>
+ <p>
+ Alternatively, you can pull it from the central Maven repositories
through a <a href="dependency-info.html">dependency</a>.
+ </p>
+
+ </section>
+ <section name="Getting Involved">
+ <p>
+ The <a href="mail-lists.html">commons developer mailing list</a> is
the main channel of communication for contributors. Please remember that the
lists are shared between all commons components, so prefix your email by
[bcel]. </p>
+ <p>You can also peruse <a href="issue-tracking.html">JIRA</a>.</p>
+ <p>Alternatively you can go through the <em>Needs Work</em> tags in the
<a href="taglist.html">TagList report</a>.</p>
+ <p>If you'd like to offer up pull requests via GitHub rather than
applying patches to JIRA, we have a <a
href="https://github.com/apache/commons-bcel/";>GitHub mirror</a>. </p>
+ </section>
+ </body>
+</document>
diff --git a/src/test/java/org/apache/bcel/HandleTestCase.java
b/src/test/java/org/apache/bcel/HandleTestCase.java
index d2fbb737..6646c4e0 100644
--- a/src/test/java/org/apache/bcel/HandleTestCase.java
+++ b/src/test/java/org/apache/bcel/HandleTestCase.java
@@ -1,148 +1,148 @@
-/*
- * Licensed to the Apache Software Foundation (ASF) under one or more
- * contributor license agreements. See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.
- * The ASF licenses this file to You under the Apache License, Version 2.0
- * (the "License"); you may not use this file except in compliance with
- * the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package org.apache.bcel;
-
-import org.apache.bcel.generic.GOTO;
-import org.apache.bcel.generic.ILOAD;
-import org.apache.bcel.generic.InstructionHandle;
-import org.apache.bcel.generic.InstructionList;
-import org.apache.bcel.generic.NOP;
-import org.junit.jupiter.api.Test;
-
-/**
- * Test for https://issues.apache.org/jira/browse/BCEL-267 "Race conditions on
static fields in BranchHandle and
- * InstructionHandle".
- */
-public class HandleTestCase {
-
- static Throwable exception;
- static final int MAXI = 100;
- static final int MAXJ = 1000;
-
- /**
- * Asserts that branch handles can be added an instruction list, without
corrupting the list.
- */
- static void branchHandles() {
- for (int i = 0; i < MAXI; i++) {
- final InstructionList list = new InstructionList();
- final InstructionHandle start = list.append(new NOP());
- try {
- for (int j = 0; j < MAXJ; j++) {
- list.append(new GOTO(start));
- }
- final InstructionHandle[] instructionHandles =
list.getInstructionHandles();
- for (int j = 0; j < instructionHandles.length; j++) {
- final InstructionHandle handle = instructionHandles[j];
- if (j > 0) {
- checkLinkage(handle, j);
- if (start != ((GOTO)
handle.getInstruction()).getTarget()) {
- final AssertionError error = new
AssertionError("unexpected instruction at index " + j);
- exception = error;
- throw error;
- }
- }
- }
- if (exception != null) {
- return;
- }
- } catch (final NullPointerException e) {
- System.out.println("NPE at i=" + i);
- exception = e;
- throw e;
- }
- list.dispose(); // this initializes caching of unused instruction
handles
- }
- }
-
- /**
- * Assert that opposite next/prev pairs always match.
- */
- static void checkLinkage(final InstructionHandle ih, final int index) {
- final InstructionHandle prev = ih.getPrev();
- final InstructionHandle next = ih.getNext();
- if (prev != null && prev.getNext() != ih || next != null &&
next.getPrev() != ih) {
- final AssertionError error = new AssertionError("corrupt
instruction list at index " + index);
- exception = error;
- throw error;
- }
- }
-
- /**
- * Asserts that instruction handles can be added an instruction list,
without corrupting the list.
- */
- static void handles() {
- for (int i = 0; i < MAXI; i++) {
- final InstructionList list = new InstructionList();
- try {
- for (int j = 0; j < MAXJ; j++) {
- list.append(new ILOAD(j));
- }
- final InstructionHandle[] instructionHandles =
list.getInstructionHandles();
- for (int j = 0; j < instructionHandles.length; j++) {
- final InstructionHandle handle = instructionHandles[j];
- checkLinkage(handle, j);
- if (j != ((ILOAD) handle.getInstruction()).getIndex()) {
- final AssertionError error = new
AssertionError("unexpected instruction at index " + j);
- exception = error;
- throw error;
- }
- }
- if (exception != null) {
- return;
- }
- } catch (final NullPointerException e) {
- System.out.println("NPE at i=" + i);
- exception = e;
- throw e;
- }
- list.dispose(); // this initializes caching of unused instruction
handles
- }
- }
-
- /**
- * Concurrently run the given runnable in two threads.
- */
- private void perform(final Runnable r) throws Throwable {
- exception = null;
- final Thread t1 = new Thread(r);
- final Thread t2 = new Thread(r);
- t1.start();
- t2.start();
- t1.join();
- t2.join();
- if (exception != null) {
- throw exception;
- }
- }
-
- /**
- * Assert that two independent instruction lists can be modified
concurrently. Here: inserting branch instructions.
- */
- @Test
- public void testBranchHandle() throws Throwable {
- perform(HandleTestCase::branchHandles);
- }
-
- /**
- * Assert that two independent instruction lists can be modified
concurrently. Here: inserting regular instructions.
- */
- @Test
- public void testInstructionHandle() throws Throwable {
- perform(HandleTestCase::handles);
- }
-}
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more
+ * contributor license agreements. See the NOTICE file distributed with
+ * this work for additional information regarding copyright ownership.
+ * The ASF licenses this file to You under the Apache License, Version 2.0
+ * (the "License"); you may not use this file except in compliance with
+ * the License. You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.apache.bcel;
+
+import org.apache.bcel.generic.GOTO;
+import org.apache.bcel.generic.ILOAD;
+import org.apache.bcel.generic.InstructionHandle;
+import org.apache.bcel.generic.InstructionList;
+import org.apache.bcel.generic.NOP;
+import org.junit.jupiter.api.Test;
+
+/**
+ * Test for https://issues.apache.org/jira/browse/BCEL-267 "Race conditions on
static fields in BranchHandle and
+ * InstructionHandle".
+ */
+public class HandleTestCase {
+
+ static Throwable exception;
+ static final int MAXI = 100;
+ static final int MAXJ = 1000;
+
+ /**
+ * Asserts that branch handles can be added an instruction list, without
corrupting the list.
+ */
+ static void branchHandles() {
+ for (int i = 0; i < MAXI; i++) {
+ final InstructionList list = new InstructionList();
+ final InstructionHandle start = list.append(new NOP());
+ try {
+ for (int j = 0; j < MAXJ; j++) {
+ list.append(new GOTO(start));
+ }
+ final InstructionHandle[] instructionHandles =
list.getInstructionHandles();
+ for (int j = 0; j < instructionHandles.length; j++) {
+ final InstructionHandle handle = instructionHandles[j];
+ if (j > 0) {
+ checkLinkage(handle, j);
+ if (start != ((GOTO)
handle.getInstruction()).getTarget()) {
+ final AssertionError error = new
AssertionError("unexpected instruction at index " + j);
+ exception = error;
+ throw error;
+ }
+ }
+ }
+ if (exception != null) {
+ return;
+ }
+ } catch (final NullPointerException e) {
+ System.out.println("NPE at i=" + i);
+ exception = e;
+ throw e;
+ }
+ list.dispose(); // this initializes caching of unused instruction
handles
+ }
+ }
+
+ /**
+ * Assert that opposite next/prev pairs always match.
+ */
+ static void checkLinkage(final InstructionHandle ih, final int index) {
+ final InstructionHandle prev = ih.getPrev();
+ final InstructionHandle next = ih.getNext();
+ if (prev != null && prev.getNext() != ih || next != null &&
next.getPrev() != ih) {
+ final AssertionError error = new AssertionError("corrupt
instruction list at index " + index);
+ exception = error;
+ throw error;
+ }
+ }
+
+ /**
+ * Asserts that instruction handles can be added an instruction list,
without corrupting the list.
+ */
+ static void handles() {
+ for (int i = 0; i < MAXI; i++) {
+ final InstructionList list = new InstructionList();
+ try {
+ for (int j = 0; j < MAXJ; j++) {
+ list.append(new ILOAD(j));
+ }
+ final InstructionHandle[] instructionHandles =
list.getInstructionHandles();
+ for (int j = 0; j < instructionHandles.length; j++) {
+ final InstructionHandle handle = instructionHandles[j];
+ checkLinkage(handle, j);
+ if (j != ((ILOAD) handle.getInstruction()).getIndex()) {
+ final AssertionError error = new
AssertionError("unexpected instruction at index " + j);
+ exception = error;
+ throw error;
+ }
+ }
+ if (exception != null) {
+ return;
+ }
+ } catch (final NullPointerException e) {
+ System.out.println("NPE at i=" + i);
+ exception = e;
+ throw e;
+ }
+ list.dispose(); // this initializes caching of unused instruction
handles
+ }
+ }
+
+ /**
+ * Concurrently run the given runnable in two threads.
+ */
+ private void perform(final Runnable r) throws Throwable {
+ exception = null;
+ final Thread t1 = new Thread(r);
+ final Thread t2 = new Thread(r);
+ t1.start();
+ t2.start();
+ t1.join();
+ t2.join();
+ if (exception != null) {
+ throw exception;
+ }
+ }
+
+ /**
+ * Assert that two independent instruction lists can be modified
concurrently. Here: inserting branch instructions.
+ */
+ @Test
+ public void testBranchHandle() throws Throwable {
+ perform(HandleTestCase::branchHandles);
+ }
+
+ /**
+ * Assert that two independent instruction lists can be modified
concurrently. Here: inserting regular instructions.
+ */
+ @Test
+ public void testInstructionHandle() throws Throwable {
+ perform(HandleTestCase::handles);
+ }
+}
diff --git a/src/test/java/org/apache/bcel/data/PLSETestClass2.java
b/src/test/java/org/apache/bcel/data/PLSETestClass2.java
index d54b9a55..b771e201 100644
--- a/src/test/java/org/apache/bcel/data/PLSETestClass2.java
+++ b/src/test/java/org/apache/bcel/data/PLSETestClass2.java
@@ -1,29 +1,29 @@
-/*
- * Licensed to the Apache Software Foundation (ASF) under one or more
- * contributor license agreements. See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.
- * The ASF licenses this file to You under the Apache License, Version 2.0
- * (the "License"); you may not use this file except in compliance with
- * the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package org.apache.bcel.data;
-
-public class PLSETestClass2 {
- public static void main(final String[] args) {
- @SuppressWarnings("unused")
- int t = 0;
-
- for (int i = 0; i < 100; i++) {
- t += i;
- }
- }
-}
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more
+ * contributor license agreements. See the NOTICE file distributed with
+ * this work for additional information regarding copyright ownership.
+ * The ASF licenses this file to You under the Apache License, Version 2.0
+ * (the "License"); you may not use this file except in compliance with
+ * the License. You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.apache.bcel.data;
+
+public class PLSETestClass2 {
+ public static void main(final String[] args) {
+ @SuppressWarnings("unused")
+ int t = 0;
+
+ for (int i = 0; i < 100; i++) {
+ t += i;
+ }
+ }
+}
diff --git a/src/test/java/org/apache/bcel/util/ClassPathTestCase.java
b/src/test/java/org/apache/bcel/util/ClassPathTestCase.java
index 5a05bbc4..1ce94bdd 100644
--- a/src/test/java/org/apache/bcel/util/ClassPathTestCase.java
+++ b/src/test/java/org/apache/bcel/util/ClassPathTestCase.java
@@ -1,46 +1,46 @@
-/*
- * Licensed to the Apache Software Foundation (ASF) under one or more
- * contributor license agreements. See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.
- * The ASF licenses this file to You under the Apache License, Version 2.0
- * (the "License"); you may not use this file except in compliance with
- * the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package org.apache.bcel.util;
-
-import static org.junit.jupiter.api.Assertions.assertNotNull;
-
-import java.io.IOException;
-import java.io.InputStream;
-
-import org.apache.bcel.AbstractTestCase;
-import org.junit.jupiter.api.Test;
-
-public class ClassPathTestCase extends AbstractTestCase {
-
- @Test
- public void testGetClassFile() throws IOException {
-
assertNotNull(ClassPath.SYSTEM_CLASS_PATH.getClassFile("java.lang.String"));
- }
-
- @Test
- public void testGetResource() {
-
assertNotNull(ClassPath.SYSTEM_CLASS_PATH.getResource("java/lang/String.class"));
- }
-
- @Test
- public void testGetResourceAsStream() throws IOException {
- try (final InputStream inputStream =
ClassPath.SYSTEM_CLASS_PATH.getResourceAsStream("java/lang/String.class")) {
- assertNotNull(inputStream);
- }
- }
-}
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more
+ * contributor license agreements. See the NOTICE file distributed with
+ * this work for additional information regarding copyright ownership.
+ * The ASF licenses this file to You under the Apache License, Version 2.0
+ * (the "License"); you may not use this file except in compliance with
+ * the License. You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.apache.bcel.util;
+
+import static org.junit.jupiter.api.Assertions.assertNotNull;
+
+import java.io.IOException;
+import java.io.InputStream;
+
+import org.apache.bcel.AbstractTestCase;
+import org.junit.jupiter.api.Test;
+
+public class ClassPathTestCase extends AbstractTestCase {
+
+ @Test
+ public void testGetClassFile() throws IOException {
+
assertNotNull(ClassPath.SYSTEM_CLASS_PATH.getClassFile("java.lang.String"));
+ }
+
+ @Test
+ public void testGetResource() {
+
assertNotNull(ClassPath.SYSTEM_CLASS_PATH.getResource("java/lang/String.class"));
+ }
+
+ @Test
+ public void testGetResourceAsStream() throws IOException {
+ try (final InputStream inputStream =
ClassPath.SYSTEM_CLASS_PATH.getResourceAsStream("java/lang/String.class")) {
+ assertNotNull(inputStream);
+ }
+ }
+}
diff --git
a/src/test/java/org/apache/bcel/util/ModularRuntimeImageTestCase.java
b/src/test/java/org/apache/bcel/util/ModularRuntimeImageTestCase.java
index 3c986974..561bdb4c 100644
--- a/src/test/java/org/apache/bcel/util/ModularRuntimeImageTestCase.java
+++ b/src/test/java/org/apache/bcel/util/ModularRuntimeImageTestCase.java
@@ -1,75 +1,75 @@
-/*
- * Licensed to the Apache Software Foundation (ASF) under one or more
- * contributor license agreements. See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.
- * The ASF licenses this file to You under the Apache License, Version 2.0
- * (the "License"); you may not use this file except in compliance with
- * the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-package org.apache.bcel.util;
-
-import static org.junit.jupiter.api.Assertions.assertFalse;
-import static org.junit.jupiter.api.Assertions.assertTrue;
-import static org.junit.jupiter.api.Assumptions.assumeTrue;
-
-import java.io.IOException;
-import java.nio.file.Path;
-import java.util.List;
-
-import org.apache.commons.lang3.JavaVersion;
-import org.apache.commons.lang3.SystemUtils;
-import org.junit.jupiter.api.BeforeAll;
-import org.junit.jupiter.params.ParameterizedTest;
-import org.junit.jupiter.params.provider.MethodSource;
-
-/**
- * Tests {@link ModularRuntimeImage}.
- */
-public class ModularRuntimeImageTestCase {
-
- @BeforeAll
- public static void before() {
- assumeTrue(SystemUtils.isJavaVersionAtLeast(JavaVersion.JAVA_9));
- }
-
- @ParameterizedTest
- @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
- public void testListJreModule(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
- final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.MODULES_PATH + "/java.base");
- assertFalse(listEntries.isEmpty());
- assertTrue(listEntries.toString().indexOf("/java.base") > -1);
- }
-
- @ParameterizedTest
- @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
- public void testListJreModulePackageDir(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
- final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.MODULES_PATH +
"/java.base/java/lang");
- assertFalse(listEntries.isEmpty());
-
assertTrue(listEntries.toString().indexOf("/java.base/java/lang/String.class")
> -1);
- }
-
- @ParameterizedTest
- @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
- public void testListJreModules(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
- final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.MODULES_PATH);
- assertFalse(listEntries.isEmpty());
- assertTrue(listEntries.toString().indexOf("/java.base") > -1);
- }
-
- @ParameterizedTest
- @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
- public void testListJrePackages(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
- final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.PACKAGES_PATH);
- assertFalse(listEntries.isEmpty());
- assertTrue(listEntries.toString().indexOf("java.lang") > -1);
- }
-}
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more
+ * contributor license agreements. See the NOTICE file distributed with
+ * this work for additional information regarding copyright ownership.
+ * The ASF licenses this file to You under the Apache License, Version 2.0
+ * (the "License"); you may not use this file except in compliance with
+ * the License. You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.apache.bcel.util;
+
+import static org.junit.jupiter.api.Assertions.assertFalse;
+import static org.junit.jupiter.api.Assertions.assertTrue;
+import static org.junit.jupiter.api.Assumptions.assumeTrue;
+
+import java.io.IOException;
+import java.nio.file.Path;
+import java.util.List;
+
+import org.apache.commons.lang3.JavaVersion;
+import org.apache.commons.lang3.SystemUtils;
+import org.junit.jupiter.api.BeforeAll;
+import org.junit.jupiter.params.ParameterizedTest;
+import org.junit.jupiter.params.provider.MethodSource;
+
+/**
+ * Tests {@link ModularRuntimeImage}.
+ */
+public class ModularRuntimeImageTestCase {
+
+ @BeforeAll
+ public static void before() {
+ assumeTrue(SystemUtils.isJavaVersionAtLeast(JavaVersion.JAVA_9));
+ }
+
+ @ParameterizedTest
+ @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
+ public void testListJreModule(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
+ final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.MODULES_PATH + "/java.base");
+ assertFalse(listEntries.isEmpty());
+ assertTrue(listEntries.toString().indexOf("/java.base") > -1);
+ }
+
+ @ParameterizedTest
+ @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
+ public void testListJreModulePackageDir(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
+ final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.MODULES_PATH +
"/java.base/java/lang");
+ assertFalse(listEntries.isEmpty());
+
assertTrue(listEntries.toString().indexOf("/java.base/java/lang/String.class")
> -1);
+ }
+
+ @ParameterizedTest
+ @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
+ public void testListJreModules(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
+ final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.MODULES_PATH);
+ assertFalse(listEntries.isEmpty());
+ assertTrue(listEntries.toString().indexOf("/java.base") > -1);
+ }
+
+ @ParameterizedTest
+ @MethodSource("org.apache.bcel.generic.JavaHome#streamModularRuntimeImage")
+ public void testListJrePackages(final ModularRuntimeImage
modularRuntimeImage) throws IOException {
+ final List<Path> listEntries =
modularRuntimeImage.list(ModularRuntimeImage.PACKAGES_PATH);
+ assertFalse(listEntries.isEmpty());
+ assertTrue(listEntries.toString().indexOf("java.lang") > -1);
+ }
+}
diff --git a/src/test/resources/StackMapExample2.java
b/src/test/resources/StackMapExample2.java
index 441f678e..24598d3c 100644
--- a/src/test/resources/StackMapExample2.java
+++ b/src/test/resources/StackMapExample2.java
@@ -1,12 +1,12 @@
-/*
- * Another version of StackMapExample using 2 types of locals String and int
- * instead of just String.
- */
-public class StackMapExample2 {
-
- public static void main(String[] args) {
- if (args.length == 1 && "Hello".equals(args[0])) {
- System.out.println("Hello World");
- }
- }
-}
+/*
+ * Another version of StackMapExample using 2 types of locals String and int
+ * instead of just String.
+ */
+public class StackMapExample2 {
+
+ public static void main(String[] args) {
+ if (args.length == 1 && "Hello".equals(args[0])) {
+ System.out.println("Hello World");
+ }
+ }
+}
