Changeset 23863 in osm

Timestamp:

2010-10-27T15:37:44+02:00 (14 years ago)

Author:

extropy

Message:

Transition to pdfbox library.

Location:

applications/editors/josm/plugins/pdfimport

Files:

• .classpath (modified) (1 diff)
• build.xml (modified) (3 diffs)
• lib/PDFClown.jar (deleted)
• src/pdfimport/GraphicsProcessor.java (deleted)
• src/pdfimport/PDFStreamProcessor.java (deleted)
• src/pdfimport/pdfbox/GraphicsProcessor.java (added)
• src/pdfimport/pdfbox/PdfBoxParser.java (modified) (1 diff)

applications/editors/josm/plugins/pdfimport/.classpath

@@ -4 +4 @@
         <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
         <classpathentry combineaccessrules="false" kind="src" path="/JOSM"/>
-        <classpathentry kind="lib" path="lib/PDFClown.jar"/>
         <classpathentry kind="lib" path="lib/pdfbox.jar" sourcepath="D:/Projects/Community/OSM/josm/pdfimport/pdfbox-1.3.1/pdfbox/src/main/java"/>
         <classpathentry kind="output" path="bin"/>

applications/editors/josm/plugins/pdfimport/build.xml

@@ -45 +45 @@
         <property name="plugin.dist.dir" value="../../dist" />
         <property name="plugin.name" value="${ant.project.name}" />
+        <property name="libpdf" value="lib/pdfbox.jar"/>                
         <property name="plugin.jar" value="${plugin.dist.dir}/${plugin.name}.jar" />
 
@@ -65 +66 @@
                         <classpath>
                                 <pathelement location="${josm}"/>
+                                <pathelement location="${libpdf}"/>                             
                         </classpath>                    
                 </javac>
@@ -81 +83 @@
 
         <target name="dist" depends="compile,revision">
+                <unjar dest="${plugin.build.dir}" src="${libpdf}"/>
                 <copy todir="${plugin.build.dir}/images">
                         <fileset dir="images" />

applications/editors/josm/plugins/pdfimport/src/pdfimport/pdfbox/PdfBoxParser.java

@@ -40 +40 @@
                 PDRectangle pageSize = page.findMediaBox();
                 Dimension pageDimension = pageSize.createDimension();
+                int rotation = page.getRotation();
 
-                GraphicsProcessor p = new GraphicsProcessor(target, pageDimension.getHeight());
+                GraphicsProcessor p = new GraphicsProcessor(target, rotation, pageDimension.getHeight());
                 PageDrawer drawer = new PageDrawer();
                 drawer.drawPage(p, page, pageDimension);