// File: /workspace/github_cpp_makefile_star2_O3/DaCasBe[P]Gestion-de-asignaturas-mediante-listas-doblemente-enlazadas-ordenadas/funcionesAuxiliares.cpp
// Function: ed::consultarEstudianteDeAsignatura(ed::Asignatura&)
void ed::consultarEstudianteDeAsignatura(ed::Asignatura &asignatura){
  if(asignatura.estaVacia()){ //La asignatura esta vacia
	std::cout << std::endl << ONIRED << "Error: no hay ningun estudiante cargado" << RESET << std::endl;
  }

  else{ //La asignatura no esta vacia
  	std::string nombre;
  	std::string apellidos;
  	ed::Estudiante estudiante;

	//Pedimos al usuario el nombre y los apellidos del estudiante a consultar
  	std::cout << IGREEN << "Introduce el nombre y los apellidos del estudiante" << std::endl;
  	std::cout << "Nombre: " << RESET;
  	getline(std::cin,nombre);
  	std::cout << IGREEN << "Apellidos: " << RESET;
  	getline(std::cin,apellidos);

  	if(!asignatura.existeEstudiante(nombre,apellidos)){ //No existe el estudiante especificado por el usuario
		std::cout << std::endl << ONIRED << "Error: no existe el estudiante indicado" << RESET << std::endl;
		std::cin.ignore();
  	}

  	else{ //Si existe el estudiante especificado por el usuario
  		estudiante=asignatura.getEstudiante(nombre,apellidos);

		//Mostramos las notas del estudiante
  		std::cout << std::endl << GREEN << "Notas de " << BGREEN << estudiante.getNombre() << " " << estudiante.getApellidos() << std::endl;
  		std::cout << GREEN << "Teoria: " << RESET << estudiante.getTeoria() << std::endl;
  		std::cout << GREEN << "Practica: " << RESET << estudiante.getPractica() << std::endl;
  		std::cout << GREEN << "Final: " << RESET << estudiante.getFinal() << std::endl;
  	}
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdi, %rbx
movq (%rdi), %rax
callq *0x10(%rax)
testb %al, %al
je 0x599f
movq 0x66cf(%rip), %rbx      # 0xbfd0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq %rax, %rbx
leaq 0x32c0(%rip), %rsi      # 0x8bf2
movl $0x8, %edx
movq %rax, %rdi
callq 0x2180
leaq 0x3680(%rip), %rsi      # 0x8fc6
movl $0x27, %edx
movq %rbx, %rdi
callq 0x2180
leaq 0x26cc(%rip), %rsi      # 0x8026
movl $0x4, %edx
movq %rbx, %rdi
callq 0x2180
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x20f0
leaq -0x58(%rbp), %r12
movq %r12, -0x10(%r12)
xorl %eax, %eax
movq %rax, -0x8(%r12)
movb %al, (%r12)
leaq -0x38(%rbp), %r13
movq %r13, -0x10(%r13)
movq %rax, -0x8(%r13)
movb %al, (%r13)
leaq -0xe8(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x3354(%rip), %rdx      # 0x8d29
leaq -0xf8(%rbp), %rdi
movq %rdx, %rsi
callq 0x396a
leaq -0xc8(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x3333(%rip), %rdx      # 0x8d29
leaq -0xd8(%rbp), %rdi
movq %rdx, %rsi
callq 0x396a
leaq -0xb8(%rbp), %rdi
leaq -0xf8(%rbp), %rsi
leaq -0xd8(%rbp), %rdx
xorps %xmm0, %xmm0
xorps %xmm1, %xmm1
callq 0x37f8
movq -0xd8(%rbp), %rdi
cmpq %r15, %rdi
je 0x5a36
callq 0x2130
movq -0xf8(%rbp), %rdi
cmpq %r14, %rdi
je 0x5a47
callq 0x2130
movq 0x6582(%rip), %rdi      # 0xbfd0
leaq 0x25b3(%rip), %rsi      # 0x8008
movl $0x7, %edx
callq 0x2180
movq 0x656a(%rip), %r14      # 0xbfd0
leaq 0x36c6(%rip), %rsi      # 0x9133
movl $0x32, %edx
movq %r14, %rdi
callq 0x2180
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq 0x6538(%rip), %rdi      # 0xbfd0
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x6524(%rip), %rdi      # 0xbfd0
leaq 0x35c9(%rip), %rsi      # 0x907c
movl $0x8, %edx
callq 0x2180
movq 0x650c(%rip), %rdi      # 0xbfd0
leaq 0x255b(%rip), %rsi      # 0x8026
movl $0x4, %edx
callq 0x2180
movq 0x6504(%rip), %rdi      # 0xbfe0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %edx
movq 0x64e9(%rip), %r15      # 0xbfe0
leaq -0x68(%rbp), %rsi
movq %r15, %rdi
callq 0x2250
movq 0x64c6(%rip), %rdi      # 0xbfd0
leaq 0x24f7(%rip), %rsi      # 0x8008
movl $0x7, %edx
callq 0x2180
movq 0x64ae(%rip), %rdi      # 0xbfd0
leaq 0x363d(%rip), %rsi      # 0x9166
movl $0xb, %edx
callq 0x2180
movq 0x6496(%rip), %r14      # 0xbfd0
leaq 0x24e5(%rip), %rsi      # 0x8026
movl $0x4, %edx
movq %r14, %rdi
callq 0x2180
movq (%r15), %rax
addq -0x18(%rax), %r15
movq %r15, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %edx
movq 0x6474(%rip), %rdi      # 0xbfe0
leaq -0x48(%rbp), %rsi
callq 0x2250
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x20(%rax)
testb %al, %al
je 0x5e27
movq (%rbx), %rax
leaq -0x68(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq *0x28(%rax)
leaq -0xb8(%rbp), %rdi
movq %rax, %rsi
callq 0x2878
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq 0x6404(%rip), %rdi      # 0xbfd0
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq %rax, %rbx
leaq 0x32cb(%rip), %rsi      # 0x8eae
movl $0x7, %edx
movq %rax, %rdi
callq 0x2180
leaq 0x35a3(%rip), %rsi      # 0x919a
movl $0x9, %edx
movq %rbx, %rdi
callq 0x2180
leaq 0x3599(%rip), %rsi      # 0x91a4
movl $0x7, %edx
movq %rbx, %rdi
callq 0x2180
movq -0xb0(%rbp), %rsi
movq -0xa8(%rbp), %rdx
movq %rbx, %rdi
callq 0x2180
movq %rax, %rbx
leaq 0x30f0(%rip), %rsi      # 0x8d28
movl $0x1, %edx
movq %rax, %rdi
callq 0x2180
movq -0x90(%rbp), %rsi
movq -0x88(%rbp), %rdx
movq %rbx, %rdi
callq 0x2180
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x6344(%rip), %rdi      # 0xbfd0
leaq 0x321b(%rip), %rsi      # 0x8eae
movl $0x7, %edx
callq 0x2180
movq 0x632c(%rip), %rdi      # 0xbfd0
leaq 0x3501(%rip), %rsi      # 0x91ac
movl $0x8, %edx
callq 0x2180
movq 0x6314(%rip), %rdi      # 0xbfd0
leaq 0x2363(%rip), %rsi      # 0x8026
movl $0x4, %edx
callq 0x2180
cvtss2sd -0x70(%rbp), %xmm0
movq 0x62f7(%rip), %rdi      # 0xbfd0
callq 0x21f0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x62c1(%rip), %rdi      # 0xbfd0
leaq 0x3198(%rip), %rsi      # 0x8eae
movl $0x7, %edx
callq 0x2180
movq 0x62a9(%rip), %rdi      # 0xbfd0
leaq 0x3487(%rip), %rsi      # 0x91b5
movl $0xa, %edx
callq 0x2180
movq 0x6291(%rip), %rdi      # 0xbfd0
leaq 0x22e0(%rip), %rsi      # 0x8026
movl $0x4, %edx
callq 0x2180
xorps %xmm0, %xmm0
cvtss2sd -0x6c(%rbp), %xmm0
movq 0x6271(%rip), %rdi      # 0xbfd0
callq 0x21f0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x623b(%rip), %rdi      # 0xbfd0
leaq 0x3112(%rip), %rsi      # 0x8eae
movl $0x7, %edx
callq 0x2180
movq 0x6223(%rip), %rdi      # 0xbfd0
leaq 0x340c(%rip), %rsi      # 0x91c0
movl $0x7, %edx
callq 0x2180
movq 0x620b(%rip), %rdi      # 0xbfd0
leaq 0x225a(%rip), %rsi      # 0x8026
movl $0x4, %edx
callq 0x2180
movss -0x70(%rbp), %xmm0
addss -0x6c(%rbp), %xmm0
mulss 0x221c(%rip), %xmm0     # 0x8004
cvtss2sd %xmm0, %xmm0
movq 0x61dd(%rip), %rdi      # 0xbfd0
callq 0x21f0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
jmp 0x5ec4
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq 0x618b(%rip), %rdi      # 0xbfd0
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq %rax, %rbx
leaq 0x2d96(%rip), %rsi      # 0x8bf2
movl $0x8, %edx
movq %rax, %rdi
callq 0x2180
leaq 0x3302(%rip), %rsi      # 0x9172
movl $0x27, %edx
movq %rbx, %rdi
callq 0x2180
leaq 0x21a2(%rip), %rsi      # 0x8026
movl $0x4, %edx
movq %rbx, %rdi
callq 0x2180
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x6121(%rip), %rdi      # 0xbfe0
callq 0x2240
leaq 0x5d95(%rip), %rax      # 0xbc60
leaq -0x80(%rbp), %rcx
movq %rax, -0x38(%rcx)
movq -0x10(%rcx), %rdi
cmpq %rcx, %rdi
je 0x5ee1
callq 0x2130
leaq -0xa0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5ef6
callq 0x2130
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x5f04
callq 0x2130
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x5f12
callq 0x2130
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0xd8(%rbp), %rdi
cmpq %r15, %rdi
je 0x5f3d
callq 0x2130
jmp 0x5f3d
movq %rax, %rbx
movq -0xf8(%rbp), %rdi
cmpq %r14, %rdi
je 0x5f64
callq 0x2130
jmp 0x5f64
movq %rax, %rbx
jmp 0x5f64
movq %rax, %rbx
leaq -0xb8(%rbp), %rdi
callq 0x3652
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x5f72
callq 0x2130
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x5f80
callq 0x2130
movq %rbx, %rdi
callq 0x2220
movq %rax, %rdi
callq 0x3692