org.jpedal.utils.repositories.Vector_String Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of OpenViewerFX Show documentation
Show all versions of OpenViewerFX Show documentation
An Open Source JavaFX PDF Viewer
/*
* ===========================================
* 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-2015 IDRsolutions and Contributors.
*
* This file is part of JPedal/JPDF2HTML5
*
This library 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 2.1 of the License, or (at your option) any later version.
This library 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 this library; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*
* ---------------
* 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
*/
public final String[] get()
{
return items;
}
///////////////////////////////////
/**
* remove element at
*/
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
*/
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= 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
*/
public final void set( final String[] new_items )
{
items = new_items;
}
///////////////////////////////////
/**
* add an item
*/
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)
*/
public final int size()
{
return current_item + 1;
}
///////////////////////////////////
/**
* set an element
*/
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;
}
}