de.be4.classicalb.core.parser.NoContentProvider 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 class NoContentProvider implements IFileContentProvider {

	@Override
	public String getFileContent(File directory, String filename)
			throws IOException {
		throw new IOException("Loading of file content not supported.");
	}

	@Override
	public File getFile(final File directory, String fileName) {
		return null;
	}


	
}