de.be4.classicalb.core.parser.IDefinitionFileProvider 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;

public interface IDefinitionFileProvider extends IFileContentProvider {
	/**
	 * Returns already parsed definitions for the parameter (file reference) if
	 * available. If the definition file has not yet been parsed or the
	 * definitions are not available for other reasons, null is
	 * returned.
	 * 
	 * @param filename	name of an input file
	 * @return the already parsed definitions
	 */
	IDefinitions getDefinitions(final String filename);

	/**
	 * Stores the definitions for this file name in chache.
	 * 
	 * @param filename	name of an input file
	 * @param definitions	the definitions to be stored
	 */
	void storeDefinition(final String filename, final IDefinitions definitions);
}