fr.inria.zuist.engine

Class PDFResourceHandler

java.lang.Object

fr.inria.zuist.engine.PDFResourceHandler

All Implemented Interfaces:

ResourceHandler

public class PDFResourceHandler
extends Object
implements ResourceHandler

ResourceHandler implementation for PDF documents.

Author:

Emmanuel Pietriga

Field Summary

Fields

Modifier and Type	Field and Description
static String	_df Detail factor
static String	_pg Page number
static String	_sc Scale factor
static String	RESOURCE_TYPE_PDF Resource of type PDF document.

Constructor Summary

Constructors

Constructor and Description
PDFResourceHandler()

Method Summary

Modifier and Type	Method and Description
PDFPageDescription	createResourceDescription(double x, double y, String id, int zindex, Region region, URL resourceURL, boolean sensitivity, Color stroke, String params) Create a description of this resource.
static Document	getDocument(URL pdfURL) Get a PDF Document (IcePDF Document instance) given its URL.
static void	resetCache() Reset memory cache

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

RESOURCE_TYPE_PDF

public static final String RESOURCE_TYPE_PDF

Resource of type PDF document.

See Also:

Constant Field Values

_pg

public static final String _pg

Page number

See Also:

Constant Field Values

_sc

public static final String _sc

Scale factor

See Also:

Constant Field Values

_df

public static final String _df

Detail factor

See Also:

Constant Field Values

Constructor Detail

PDFResourceHandler

public PDFResourceHandler()

Method Detail

resetCache

public static void resetCache()

Reset memory cache

getDocument

public static Document getDocument(URL pdfURL)

Get a PDF Document (IcePDF Document instance) given its URL. The document gets stored in a cache the first time it is fetched, for faster access later.

createResourceDescription

public PDFPageDescription createResourceDescription(double x,
                                                    double y,
                                                    String id,
                                                    int zindex,
                                                    Region region,
                                                    URL resourceURL,
                                                    boolean sensitivity,
                                                    Color stroke,
                                                    String params)

Description copied from interface: ResourceHandler

Create a description of this resource.

Specified by:

createResourceDescription in interface ResourceHandler

Parameters:

x - x-coordinate in scene

y - y-coordinate in scene

id - ID of object in scene

zindex - z-index (layer). Feed 0 if you don't know.

region - containing region

resourceURL - path to bitmap resource (any valid absolute URL)

sensitivity - should the glyph representing this resource be made sensitive to cursor events or not.

stroke - border color (null if no border)

params - a string of parameters specific to each resource type (see documentation for each resource type).