org.jpedal.utils.repositories.Vector_String Maven / Gradle / Ivy

/*
 * ===========================================
 * Java Pdf Extraction Decoding Access Library
 * ===========================================
 *
 * Project Info:  http://www.idrsolutions.com
 * Help section for developers at http://www.idrsolutions.com/support/
 *
 * (C) Copyright 1997-2017 IDRsolutions and Contributors.
 *
 * This file is part of JPedal/JPDF2HTML5
 *
 @LICENSE@
 *
 * ---------------
 * Vector_String.java
 * ---------------
 */
package org.jpedal.utils.repositories;

import java.io.Serializable;

/**
 * Provides the functionality/convenience of a Vector for ints -
 * 
 * Much faster because not synchronized and no cast -
 * Does not double in size each time
 */
public class Vector_String implements Serializable {

    //how much we resize each time - will be doubled up to 160
    private int increment_size = 1000;
    private int current_item;

    //current max size
    private int max_size = 250;

    //holds the data
    private String[] items = new String[max_size];
    ////////////////////////////////////

//	public String toString(){
//		String ret="";
//		for (int i = 0; i < current_item; i++) {
//			ret += items[i]+",";
//		}
//		return ret;
//	}

    //set size
    public Vector_String(final int number) {
        max_size = number;
        items = new String[max_size];
    }


    //default size
    public Vector_String() {

    }

    private static int incrementSize(int increment_size) {

        if (increment_size < 8000) {
            increment_size *= 4;
        } else if (increment_size < 16000) {
            increment_size *= 2;
        } else {
            increment_size += 2000;
        }
        return increment_size;
    }

    /**
     * extract underlying data
     * @return String[]
     */
    public final String[] get() {
        return items;
    }
    ///////////////////////////////////

    /**
     * remove element at
     * @param id id of String to return
     * @return String
     */
    public final String elementAt(final int id) {
        String value = null;

        if (id < max_size) {
            value = items[id];
        }

        //catch for null value
        if (value == null) {
            value = "";
        }

        return value;
    }
    ////////////////////////////////////

    /**
     * see if value present
     * @param value value to check
     * @return true is exists
     */
    public final boolean contains(final String value) {
        boolean flag = false;
        for (int i = 0; i < current_item; i++) {
            if (items[i].equals(value)) {
                i = current_item + 1;
                flag = true;
            }
        }
        return flag;
    }

    ////////////////////////////////////
    //merge
    public final void merge(final int master, final int child, final String separator) {
        items[master] = items[master] + separator + items[child];
        items[child] = null;
    }
    ///////////////////////////////////

    /**
     * clear the array
     */
    public final void clear() {
        //items = null;
        //holds the data
        //items = new String[max_size];
        if (current_item > 0) {
            for (int i = 0; i < current_item; i++) {
                items[i] = null;
            }
        } else {
            for (int i = 0; i < max_size; i++) {
                items[i] = null;
            }
        }
        current_item = 0;
    }
    ///////////////////////////////////

    /**
     * remove element at
     * @param id id of String to remove
     */
    public final void removeElementAt(final int id) {
        if (id >= 0) {
            //copy all items back one to over-write
            System.arraycopy(items, id + 1, items, id, current_item - 1 - id);

            //flush last item
            items[current_item - 1] = "";
        } else {
            items[0] = "";
        }
        //reduce counter
        current_item--;
    }
    ///////////////////////////////////

    /**
     * replace underlying data
     * @param new_items new array of strings to be set
     */
    public final void set(final String[] new_items) {
        items = new_items;
    }
    ///////////////////////////////////

    /**
     * add an item
     * @param value String to add
     */
    public final void addElement(final String value) {
        checkSize(current_item);
        items[current_item] = value;
        current_item++;
    }
    ///////////////////////////////////

    /**
     * return the size+1 as in last item (so an array of 0 values is 1)
     * @return int
     */
    public final int size() {
        return current_item + 1;
    }
    ///////////////////////////////////

    /**
     * set an element
     * @param new_name name of String
     * @param id id of String
     */
    public final void setElementAt(final String new_name, final int id) {
        if (id >= max_size) {
            checkSize(id);
        }

        items[id] = new_name;
    }
    ////////////////////////////////////

    /**
     * check the size of the array and increase if needed
     */
    private void checkSize(final int i) {
        if (i >= max_size) {
            final int old_size = max_size;
            max_size += increment_size;

            //allow for it not creating space
            if (max_size <= i) {
                max_size = i + increment_size + 2;
            }

            final String[] temp = items;
            items = new String[max_size];
            System.arraycopy(temp, 0, items, 0, old_size);

            //increase size increase for next time
            increment_size = incrementSize(increment_size);
        }
    }

    public void trim() {

        final String[] newItems = new String[current_item];

        System.arraycopy(items, 0, newItems, 0, current_item);

        items = newItems;
        max_size = current_item;
    }
}