org.fit.pdfdom.PDFDomTree Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of pdf2dom Show documentation
Show all versions of pdf2dom Show documentation
Pdf2Dom is a PDF parser that converts the documents to a HTML DOM representation. The obtained DOM tree may be then serialized to a HTML file or further processed. The inline CSS definitions contained in the resulting document are used for making the HTML page as similar as possible to the PDF input. A command-line utility for converting the PDF documents to HTML is included in the distribution package. Pdf2Dom may be also used as an independent Java library with a standard DOM interface for your DOM-based applications or as an alternative parser for the CSSBox rendering engine in order to add the PDF processing capability to CSSBox.
/**
* PDFDomTree.java
* (c) Radek Burget, 2011
*
* Pdf2Dom is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* Pdf2Dom is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with CSSBox. If not, see path, boolean stroke, boolean fill) throws IOException
{
float[] rect = toRectangle(path);
if (rect != null)
{
curpage.appendChild(createRectangleElement(rect[0], rect[1], rect[2]-rect[0], rect[3]-rect[1], stroke, fill));
}
else if (stroke)
{
for (PathSegment segm : path)
curpage.appendChild(createLineElement(segm.getX1(), segm.getY1(), segm.getX2(), segm.getY2()));
}
else {
curpage.appendChild(createPathImage(path));
}
}
@Override
protected void renderImage(float x, float y, float width, float height, ImageResource resource) throws IOException
{
curpage.appendChild(createImageElement(x, y, width, height, resource));
}
//===========================================================================================
/**
* Creates an element that represents a single page.
* @return the resulting DOM element
*/
protected Element createPageElement()
{
String pstyle = "";
PDRectangle layout = getCurrentMediaBox();
if (layout != null)
{
/*System.out.println("x1 " + layout.getLowerLeftX());
System.out.println("y1 " + layout.getLowerLeftY());
System.out.println("x2 " + layout.getUpperRightX());
System.out.println("y2 " + layout.getUpperRightY());
System.out.println("rot " + pdpage.findRotation());*/
float w = layout.getWidth();
float h = layout.getHeight();
final int rot = pdpage.getRotation();
if (rot == 90 || rot == 270)
{
float x = w; w = h; h = x;
}
pstyle = "width:" + w + UNIT + ";" + "height:" + h + UNIT + ";";
pstyle += "overflow:hidden;";
}
else
log.warn("No media box found");
Element el = doc.createElement("div");
el.setAttribute("id", "page_" + (pagecnt++));
el.setAttribute("class", "page");
el.setAttribute("style", pstyle);
return el;
}
/**
* Creates an element that represents a single positioned box with no content.
* @return the resulting DOM element
*/
protected Element createTextElement(float width)
{
Element el = doc.createElement("div");
el.setAttribute("id", "p" + (textcnt++));
el.setAttribute("class", "p");
String style = curstyle.toString();
style += "width:" + width + UNIT + ";";
el.setAttribute("style", style);
return el;
}
/**
* Creates an element that represents a single positioned box containing the specified text string.
* @param data the text string to be contained in the created box.
* @return the resulting DOM element
*/
protected Element createTextElement(String data, float width)
{
Element el = createTextElement(width);
Text text = doc.createTextNode(data);
el.appendChild(text);
return el;
}
/**
* Creates an element that represents a rectangle drawn at the specified coordinates in the page.
* @param x the X coordinate of the rectangle
* @param y the Y coordinate of the rectangle
* @param width the width of the rectangle
* @param height the height of the rectangle
* @param stroke should there be a stroke around?
* @param fill should the rectangle be filled?
* @return the resulting DOM element
*/
protected Element createRectangleElement(float x, float y, float width, float height, boolean stroke, boolean fill)
{
float lineWidth = transformWidth(getGraphicsState().getLineWidth());
float wcor = stroke ? lineWidth : 0.0f;
float strokeOffset = wcor == 0 ? 0 : wcor / 2;
width = width - wcor < 0 ? 1 : width - wcor;
height = height - wcor < 0 ? 1 : height - wcor;
StringBuilder pstyle = new StringBuilder(50);
pstyle.append("left:").append(style.formatLength(x - strokeOffset)).append(';');
pstyle.append("top:").append(style.formatLength(y - strokeOffset)).append(';');
pstyle.append("width:").append(style.formatLength(width)).append(';');
pstyle.append("height:").append(style.formatLength(height)).append(';');
if (stroke)
{
String color = colorString(getGraphicsState().getStrokingColor());
pstyle.append("border:").append(style.formatLength(lineWidth)).append(" solid ").append(color).append(';');
}
if (fill)
{
String fcolor = colorString(getGraphicsState().getNonStrokingColor());
pstyle.append("background-color:").append(fcolor).append(';');
}
Element el = doc.createElement("div");
el.setAttribute("class", "r");
el.setAttribute("style", pstyle.toString());
el.appendChild(doc.createEntityReference("nbsp"));
return el;
}
/**
* Create an element that represents a horizntal or vertical line.
* @param x1
* @param y1
* @param x2
* @param y2
* @return the created DOM element
*/
protected Element createLineElement(float x1, float y1, float x2, float y2)
{
HtmlDivLine line = new HtmlDivLine(x1, y1, x2, y2);
String color = colorString(getGraphicsState().getStrokingColor());
StringBuilder pstyle = new StringBuilder(50);
pstyle.append("left:").append(style.formatLength(line.getLeft())).append(';');
pstyle.append("top:").append(style.formatLength(line.getTop())).append(';');
pstyle.append("width:").append(style.formatLength(line.getWidth())).append(';');
pstyle.append("height:").append(style.formatLength(line.getHeight())).append(';');
pstyle.append(line.getBorderSide()).append(':').append(style.formatLength(line.getLineStrokeWidth())).append(" solid ").append(color).append(';');
if (line.getAngleDegrees() != 0)
pstyle.append("transform:").append("rotate(").append(line.getAngleDegrees()).append("deg);");
Element el = doc.createElement("div");
el.setAttribute("class", "r");
el.setAttribute("style", pstyle.toString());
el.appendChild(doc.createEntityReference("nbsp"));
return el;
}
protected Element createPathImage(List path) throws IOException
{
PathDrawer drawer = new PathDrawer(getGraphicsState());
ImageResource renderedPath = drawer.drawPath(path);
return createImageElement((float) renderedPath.getX(), (float) renderedPath.getY(),
renderedPath.getWidth(), renderedPath.getHeight(), renderedPath);
}
/**
* Creates an element that represents an image drawn at the specified coordinates in the page.
* @param x the X coordinate of the image
* @param y the Y coordinate of the image
* @param width the width coordinate of the image
* @param height the height coordinate of the image
* @param type the image type: "png" or "jpeg"
* @param resource the image data depending on the specified type
* @return
*/
protected Element createImageElement(float x, float y, float width, float height, ImageResource resource) throws IOException
{
StringBuilder pstyle = new StringBuilder("position:absolute;");
pstyle.append("left:").append(x).append(UNIT).append(';');
pstyle.append("top:").append(y).append(UNIT).append(';');
pstyle.append("width:").append(width).append(UNIT).append(';');
pstyle.append("height:").append(height).append(UNIT).append(';');
//pstyle.append("border:1px solid red;");
Element el = doc.createElement("img");
el.setAttribute("style", pstyle.toString());
String imgSrc = config.getImageHandler().handleResource(resource);
if (!disableImageData && !imgSrc.isEmpty())
el.setAttribute("src", imgSrc);
else
el.setAttribute("src", "");
return el;
}
/**
* Maps input line to an HTML div rectangle, since HTML does not support standard lines
*/
protected class HtmlDivLine
{
private final float x1;
private final float y1;
private final float x2;
private final float y2;
private final float width;
private final float height;
//horizontal or vertical lines are treated separately (no rotations used)
private final boolean horizontal;
private final boolean vertical;
public HtmlDivLine(float x1, float y1, float x2, float y2)
{
this.x1 = x1;
this.y1 = y1;
this.x2 = x2;
this.y2 = y2;
this.width = Math.abs(x2 - x1);
this.height = Math.abs(y2 - y1);
this.horizontal = (height < 0.5f);
this.vertical = (width < 0.5f);
}
public float getHeight()
{
return vertical ? height : 0;
}
public float getWidth()
{
if (vertical)
return 0;
else if (horizontal)
return width;
else
return distanceFormula(x1, y1, x2, y2);
}
public float getLeft()
{
if (horizontal || vertical)
return Math.min(x1, x2);
else
return Math.abs((x2 + x1) / 2) - getWidth() / 2;
}
public float getTop()
{
if (horizontal || vertical)
return Math.min(y1, y2);
else
// after rotation top left will be center of line so find the midpoint and correct for the line to border transform
return Math.abs((y2 + y1) / 2) - (getLineStrokeWidth() + getHeight()) / 2;
}
public double getAngleDegrees()
{
if (horizontal || vertical)
return 0;
else
return Math.toDegrees(Math.atan((y2 - y1) / (x2 - x1)));
}
public float getLineStrokeWidth()
{
float lineWidth = transformWidth(getGraphicsState().getLineWidth());
if (lineWidth < 0.5f)
lineWidth = 0.5f;
return lineWidth;
}
public String getBorderSide()
{
return vertical ? "border-right" : "border-bottom";
}
private float distanceFormula(float x1, float y1, float x2, float y2)
{
return (float) Math.sqrt((x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2));
}
}
/**
* Generate the global CSS style for the whole document.
* @return the CSS code used in the generated document header
*/
protected String createGlobalStyle()
{
StringBuilder ret = new StringBuilder();
ret.append(createFontFaces());
ret.append("\n");
ret.append(defaultStyle);
return ret.toString();
}
@Override
protected void updateFontTable()
{
// skip font processing completley if ignore fonts mode to optimize processing speed
if (!(config.getFontHandler() instanceof IgnoreResourceHandler))
super.updateFontTable();
}
protected String createFontFaces()
{
StringBuilder ret = new StringBuilder();
for (FontTable.Entry font : fontTable.getEntries())
createFontFace(ret, font);
return ret.toString();
}
private void createFontFace(StringBuilder ret, FontTable.Entry font)
{
ret.append("@font-face {");
ret.append("font-family:\"").append(font.usedName).append("\";");
ret.append("src:url('");
try
{
String src = config.getFontHandler().handleResource(font);
ret.append(src);
} catch (IOException e)
{
log.error("Error writing font face data for font: " + font.getName()
+ "Exception: {} {}", e.getMessage(), e.getClass());
}
ret.append("');");
ret.append("}\n");
}
}