#include <fstream>
#include <cassert>

#include "aluno.H"

using namespace std;

int main() 
{
    ofstream canal_para_escrever_a_pauta("pauta.txt");

    Aluno manelito("Manelito", 17);

    canal_para_escrever_a_pauta << manelito;
    canal_para_escrever_a_pauta.close();

    ifstream canal_para_ler_a_pauta("pauta.txt");

    Aluno manelito_guardado("Zé Ninguém", 0);

    canal_para_ler_a_pauta >> manelito_guardado;

    assert(manelito.numero() == manelito_guardado.numero() and
	   manelito.nome() == manelito_guardado.nome() and
	   manelito.nota() == manelito_guardado.nota());
}