/** clear object and reset (does not flush images from disk cache held by ObjectStore) */ public final void clearImageData() { object_image_name.clear(); xformName.clear(); xformData.clear(); object_page_id.clear(); x.clear(); y.clear(); w.clear(); h.clear(); current_item = 0; }
/** add an item (used internally as PDF page decoded). */ public final void setImageInfo( String image_name, int current_page_id, float x1, float y1, float w1, float h1, String xform) { object_page_id.addElement(current_page_id); // name of image object_image_name.addElement(image_name); // store shape co-ords x.addElement(x1); y.addElement(y1); h.addElement(h1); w.addElement(w1); if (xform != null) xformName.put(image_name, xform); current_item++; }
/** get width for image in pixels */ public final float getImageWidth(int i) { return w.elementAt(i); }
/** get Y co-ord for image in pixels (user coords) */ public final float getImageYCoord(int i) { return y.elementAt(i); }
/** get height for image in pixels */ public final float getImageHeight(int i) { return h.elementAt(i); }