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() |