/*
 * Almacen.java
 *
 * Created on 25 de febrero de 2006, 18:22
 *
 * To change this template, choose Tools | Options and locate the template under
 * the Source Creation and Management node. Right-click the template and choose
 * Open. You can then make changes to the template in the Source Editor.
 */

package telefono;

/**
 *
 * @author Enrique Vicent Ramis
 */
public interface Almacen
{
    /** guarda la partida actual en el slot autom?tico **/
    public void guardar() throws java.io.IOException;;
    
    /** gurda la partida actual con el nombre dado  */
    public void guardar(String nombre) throws java.io.IOException;;
    
    /** carga la partida almacenada enel slot autom?tico */
    public String cargar() throws java.io.IOException;;
    
    /** carga la partid almacenada en un slot con el nombre dado */
    public String cargar(String nombre) throws java.io.IOException;
    
    /** borra una partida de un slot */
    public void borrar(String nombre) throws java.io.IOException, java.util.NoSuchElementException;
    
    /** obtiene una lista de las partidas existentes */
    public String [] getExistentes();
}