org.jpedal.utils.repositories

Class Vector_String

java.lang.Object

org.jpedal.utils.repositories.Vector_String

All Implemented Interfaces:

Serializable

public class Vector_String
extends Object
implements 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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Vector_String()
Vector_String(int number)

Method Summary

Modifier and Type	Method and Description
void	addElement(String value) add an item
void	clear() clear the array
boolean	contains(String value) see if value present
String	elementAt(int id) remove element at
String[]	get() extract underlying data
void	merge(int master, int child, String separator)
void	removeElementAt(int id) remove element at
void	set(String[] new_items) replace underlying data
void	setElementAt(String new_name, int id) set an element
int	size() return the size+1 as in last item (so an array of 0 values is 1)
void	trim()

Methods inherited from class java.lang.Object

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

Constructor Detail

Vector_String

public Vector_String(int number)

Vector_String

public Vector_String()

Method Detail

get

public final String[] get()

extract underlying data

elementAt

public final String elementAt(int id)

remove element at

contains

public final boolean contains(String value)

see if value present

merge

public final void merge(int master,
                        int child,
                        String separator)

clear

public final void clear()

clear the array

removeElementAt

public final void removeElementAt(int id)

remove element at

set

public final void set(String[] new_items)

replace underlying data

addElement

public final void addElement(String value)

add an item

size

public final int size()

return the size+1 as in last item (so an array of 0 values is 1)

setElementAt

public final void setElementAt(String new_name,
                               int id)

set an element

trim

public void trim()