#include "pauta.H"

#include <cassert>

using namespace std;

void Escola::Pauta::removeAlunoComNome(string const& nome) 
{
    assert(cumpreInvariante());

    vector<Aluno>::size_type i = 0;
    while(i != alunos.size() and nome != alunos[i].nome())
	++i;

    if(i != alunos.size()) {
	alunos[i] = alunos[alunos.size() - 1 ];
	alunos.pop_back();
    }

    assert(cumpreInvariante());
}

#ifdef TESTE

using namespace Escola;

int main() 
{
    Pauta pauta;

    assert(pauta.estaVazia());
    
    pauta.insere(Aluno("Manelito", 17));

    assert(not pauta.estaVazia());
    
    pauta.removeAlunoComNome("Manelito");
    
    assert(pauta.estaVazia());
}

#endif // TESTE