public void ChangePostion(int positionNumber) { var fileItemInfo = _fileOffsetInfoMap[positionNumber]; _nextJarfileIndex = fileItemInfo.JarFileIndex + 1; if (_jarFileReader != null && _jarFileReader.JarFilePath != fileItemInfo.JarFilePath) { _jarFileReader.Dispose(); _jarFileReader = _jarFileFactory.GetJarFileReader(fileItemInfo.JarFilePath); } _jarFileReader.MoveFileHeader(fileItemInfo.OffSetInJarFile); }
private void SetReaderToNextFile() { _jarFileReader = _jarFileFactory.GetJarFileReader(_jarFilesInfos.ElementAt(_nextJarfileIndex).FullName); _nextJarfileIndex++; }