/*
 * Created on 2004-3-14
 *
 * To change the template for this generated file go to
 * Window - Preferences - Java - Code Generation - Code and Comments
 */
package workflow.script;

import java.io.File;

/**
 * @author zosatapo
 *
 * To change the template for this generated type comment go to
 * Window - Preferences - Java - Code Generation - Code and Comments
 */
public interface Options
{
	/**
	* Are we keeping generated code around?
	*/
	public boolean getKeepGenerated();

	/**
	 * Should we include debug information in compiled class?
	 */
	public boolean getClassDebugInfo();

	/**
	 * Background compile thread check interval in seconds
	 */
	public int getCheckInterval();

	/**
	 * WFS reloading check ?
	 */
	public boolean getReloading();

	/**
	 * What is my scratch dir?
	 */
	public File getScratchDir();

	/**
	 * What is my script file dir? scriptContext path,
	 * must be start with '/' and end with '/'
	 * 
	 * e.g. /WEB-INF/script/
	 */
	public String getScriptDir();

	/**
	 * What classpath should I use while compiling the servlets
	 * generated from WFS files?
	 */
	public String getClassPath();

	/**
	 * Compiler to use.
	 */
	public String getCompiler();

	/**
	 * Java platform encoding to generate the WFS servlet.
	 */
	public String getJavaEncoding();
}
