protected class WKBasis.VectorOfInt
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected int |
m_size |
protected int[] |
m_values |
| Constructor and Description |
|---|
VectorOfInt() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(int value) |
void |
clear() |
protected void |
extend() |
int |
get(int pos) |
int[] |
getArray() |
int |
size() |