Пример #1
0
 /** 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;
 }
Пример #2
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++;
  }
Пример #3
0
 /** get width for image in pixels */
 public final float getImageWidth(int i) {
   return w.elementAt(i);
 }
Пример #4
0
 /** get Y co-ord for image in pixels (user coords) */
 public final float getImageYCoord(int i) {
   return y.elementAt(i);
 }
Пример #5
0
 /** get height for image in pixels */
 public final float getImageHeight(int i) {
   return h.elementAt(i);
 }