public class StringVector extends Object implements Serializable
| Modifier and Type | Field and Description |
|---|---|
protected int |
m_blocksize |
protected int |
m_firstFree |
protected String[] |
m_map |
protected int |
m_mapSize |
| Constructor and Description |
|---|
StringVector()
Default constructor.
|
StringVector(int blocksize)
Construct a StringVector, using the given block size.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addElement(String value)
Append a string onto the vector.
|
boolean |
contains(String s)
Tell if the table contains the given string.
|
boolean |
containsIgnoreCase(String s)
Tell if the table contains the given string.
|
String |
elementAt(int i)
Get the nth element.
|
int |
getLength()
Get the length of the list.
|
String |
peek()
Get the string at the tail of this vector without popping.
|
String |
pop()
Pop the tail of this vector.
|
void |
push(String s)
Tell if the table contains the given string.
|
int |
size()
Get the length of the list.
|
protected int m_blocksize
protected String[] m_map
protected int m_firstFree
protected int m_mapSize
public StringVector()
public StringVector(int blocksize)
blocksize - Size of the blocks to allocatepublic int getLength()
public final int size()
public final void addElement(String value)
value - Sting to add to the vectorpublic final String elementAt(int i)
i - Index of string to findpublic final boolean contains(String s)
s - String to look forpublic final boolean containsIgnoreCase(String s)
s - String to findpublic final void push(String s)
s - String to push into the vectorpublic final String pop()
public final String peek()
Copyright © 2017 JBoss by Red Hat. All rights reserved.