public VectorSize readVectorSize ( VectorInfo info ) throws IOException { // Always read the vector size int size = getInt ( ) ; // For coordinate vectors we also read the number of entries if ( info . isDense ( ) ) return new VectorSize ( size ) ; else { int numEntries = getInt ( ) ; return new VectorSize ( size , numEntries ) ; } }
Reads in the size of a vector . Skips initial comments