de.be4.classicalb.core.parser.IFileContentProvider Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of bparser Show documentation

Part of the ProB Parser library

The newest version!

package de.be4.classicalb.core.parser;

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

public interface IFileContentProvider {

	/**
	 * 
	 * Returns the content of the file described by the parameter
	 * filename. The content may be necessary in the process of
	 * parsing referenced definition files, for example.
	 * 
	 * 
	 * If the filename is relative and not absolute the
	 * implementing class is responsible to resolve its position.
	 * 
	 * 
	 * @param directory the directory to search the file
	 * @param fileName the name of file without file extension
	 * @throws IOException	when the given file cannot be found
	 * @return 	the content of the file
	 */
	String getFileContent(final File directory, final String fileName) throws IOException;

	File getFile(final File directory, String fileName) throws IOException;
}