// Path: scripting/core/ScriptException.java
// public class ScriptException extends Exception {
// 	
// 	/**
// 	 * 
// 	 */
// 	private static final long serialVersionUID = 1L;
// 
// 	public ScriptException(String message) {
// 		super(message);
// 	}
// 	
// 	public ScriptException(Throwable cause) {
// 		super(cause);
// 	}
// }


import org.mozilla.javascript.Function;
import scripting.core.ScriptException;
package scripting.core.script;




public final class BasicScript extends JSScript {
	
	private Function main;
	private Function onExit;

	public BasicScript(String name, String source) {
		super(name, source);
	}

	/**
	 * Initialize our main+onExit function reference here.
	 * @throws ScriptException If no main function exists.
	 */
	@Override
// Path: scripting/core/ScriptException.java
// public class ScriptException extends Exception {
// 	
// 	/**
// 	 * 
// 	 */
// 	private static final long serialVersionUID = 1L;
// 
// 	public ScriptException(String message) {
// 		super(message);
// 	}
// 	
// 	public ScriptException(Throwable cause) {
// 		super(cause);
// 	}
// }


// Path: scripting/core/script/BasicScript.java
import org.mozilla.javascript.Function;
import scripting.core.ScriptException;

package scripting.core.script;




public final class BasicScript extends JSScript {
	
	private Function main;
	private Function onExit;

	public BasicScript(String name, String source) {
		super(name, source);
	}

	/**
	 * Initialize our main+onExit function reference here.
	 * @throws ScriptException If no main function exists.
	 */
	@Override
	public void postInit() throws ScriptException {