/* XLogo4Schools - A Logo Interpreter specialized for use in schools, based on XLogo by Loic Le Coq
 * Copyright (C) 2013 Marko Zivkovic
 * 
 * Contact Information: marko88zivkovic at gmail dot com
 * 
 * This program is free software; you can redistribute it and/or modify it 
 * under the terms of the GNU General Public License as published by the Free 
 * Software Foundation; either version 2 of the License, or (at your option) 
 * any later version.  This program is distributed in the hope that it will be 
 * useful, but WITHOUT ANY WARRANTY; without even the implied warranty of 
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General 
 * Public License for more details.  You should have received a copy of the 
 * GNU General Public License along with this program; if not, write to the Free 
 * Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, 
 * MA 02110-1301, USA.
 * 
 * 
 * This Java source code belongs to XLogo4Schools, written by Marko Zivkovic
 * during his Bachelor thesis at the computer science department of ETH Zurich,
 * in the year 2013 and/or during future work.
 * 
 * It is a reengineered version of XLogo written by Loic Le Coq, published
 * under the GPL License at http://xlogo.tuxfamily.org/
 * 
 * Contents of this file were entirely written by Marko Zivkovic
 */

package xlogo.kernel.userspace.procedures;

import java.io.IOException;
import java.util.Collection;

public interface ExecutablesContainer
{
	
	public Collection<Procedure> getExecutables();
	
	public Procedure getExecutable(String procedureName);

	public boolean isExecutable(String name);
	
	/**
	 * The Logo command {@code eraseProcedure} <p>
	 * Delete the specified procedure. <br>
	 * If there exists an ambiguity and multiple procedures with the same name
	 * are defined, remove all of them.
	 * 
	 * @param name
	 */
	public void eraseProcedure(String procedureName);

	/**
	 * The Logo command {@code define}
	 * @param procedure
	 * @throws IOException 
	 */
	public void defineProcedure(Procedure procedure) throws IOException;
		
}