Method RegionFile

src/minecraft/reader/RegionFile.java:96–160

(File path)

	private long lastModified = 0;

	public RegionFile(File path) {
		this.offsets = new int[RegionFile.SECTOR_INTS];
		this.chunkTimestamps = new int[RegionFile.SECTOR_INTS];

		this.fileName = path;

		this.sizeDelta = 0;

		try {
			if (path.exists()) {
				this.lastModified = path.lastModified();
			}

			this.file = new RandomAccessFile(path, "rw");

			if (this.file.length() < RegionFile.SECTOR_BYTES) {
				/* we need to write the chunk offset table */
				for (int i = 0; i < RegionFile.SECTOR_INTS; ++i) {
					this.file.writeInt(0);
				}
				// write another sector for the timestamp info
				for (int i = 0; i < RegionFile.SECTOR_INTS; ++i) {
					this.file.writeInt(0);
				}

				this.sizeDelta += RegionFile.SECTOR_BYTES * 2;
			}

			if ((this.file.length() & 0xfff) != 0) {
				/* the file size is not a multiple of 4KB, grow it */
				for (int i = 0; i < (this.file.length() & 0xfff); ++i) {
					this.file.write((byte) 0);
				}
			}

			/* set up the available sector map */
			int nSectors = (int) this.file.length() / RegionFile.SECTOR_BYTES;
			this.sectorFree = new ArrayList<>(nSectors);

			for (int i = 0; i < nSectors; ++i) {
				this.sectorFree.add(true);
			}

			this.sectorFree.set(0, false); // chunk offset table
			this.sectorFree.set(1, false); // for the last modified info

			this.file.seek(0);
			for (int i = 0; i < RegionFile.SECTOR_INTS; ++i) {
				int offset = this.file.readInt();
//				System.out.println(this.fileName.toString() + " offset " + i + " | " + offset);
				this.offsets[i] = offset;
				if (offset != 0 && (offset >> 8) + (offset & 0xFF) <= this.sectorFree.size()) {
					for (int sectorNum = 0; sectorNum < (offset & 0xFF); ++sectorNum) {
						this.sectorFree.set((offset >> 8) + sectorNum, false);
					}
				}
			}
			for (int i = 0; i < RegionFile.SECTOR_INTS; ++i) {