Sets the size of the vector. If the size shrinks, the extra elements (at the end of the vector) are lost; if the size increases, the new elements are set to null. @param newSize the new size of the vector
(int newSize)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected