view src/cachingfilter/CachedPage.java @ 17:c9bbcebcf359

minor fix
author Vadim Filimonov <fffilimonov@yandex.ru>
date Thu, 09 Jan 2020 11:28:37 +0300
parents 7ecd1a4ef557
children
line wrap: on
line source

package cachingfilter;

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


interface CachedPage {
	public String name();
	public boolean exists();
	public File lastFile();
	public File newFile() throws IOException;
	public void deleteNewFile();
	public boolean delete();
}