view src/cachingfilter/CachedFile.java @ 61:fe217789a45f

new hg server
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 30 Sep 2023 20:11:05 -0600
parents 7ecd1a4ef557
children
line wrap: on
line source

package cachingfilter;

import java.io.File;
import java.io.IOException;

import java.io.File;
import java.io.IOException;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;


final class CachedFile implements CachedPage {
	private static final Logger logger = LoggerFactory.getLogger(CachedFile.class);
	private final File file;

	CachedFile( File parent, String child ) {
		this.file = new File(parent,child);
	}

	public String name() {
		return file.getName();
	}

	public boolean exists() {
		return file.exists();
	}

	public File lastFile() {
		return file;
	}

	public File newFile() throws IOException {
		delete();
		if( !file.createNewFile() )
			throw new RuntimeException("couldn't create "+file);
		return file;
	}

	public void deleteNewFile() {
		if( !delete() )
			throw new RuntimeException("couldn't delete "+file);
	}

	public boolean delete() {
		return file.delete();
	}

	public String toString() {
		return file.toString();
	}

}