//This file generated automatically from the MARIUS LP system, please do not edit.

public interface CuentaBancaria {

    public String numero();
    public String titular();
    public void ingresar(double monto ) 
        throws CuentaBancariaMontoIncorrecto;
    public void extraer(double monto) 
        throws CuentaBancariaSaldoExcedido,CuentaBancariaMontoIncorrecto;
    public double saldoActual() ;

} //End of class CuentaBancaria