// File: /workspace/github_cpp_makefile_star2_O3/DaCasBe[P]Gestion-de-asignaturas-mediante-listas-doblemente-enlazadas-ordenadas/listaDoblementeEnlazadaOrdenadaEstudiantes.cpp
// Function: ed::ListaDoblementeEnlazadaOrdenadaEstudiantes::setCurrentItem(ed::Estudiante const&)
void ed::ListaDoblementeEnlazadaOrdenadaEstudiantes::setCurrentItem(ed::Estudiante const & item){
	#ifndef NDEBUG
		//Se comprueba la precondicion
		assert(!isEmpty() and item.getNombre()==getCurrentItem().getNombre() and item.getApellidos()==getCurrentItem().getApellidos());
	#endif //NDEBUG

	Estudiante estudiante=getCurrentItem();

	getCurrent()->setItem(item);

	#ifndef NDEBUG
		//Se comprueba la postcondicion
		assert(item.getNombre()==getCurrentItem().getNombre() and item.getApellidos()==getCurrentItem().getApellidos() and estudiante.getNombre()==getCurrentItem().getNombre() and estudiante.getApellidos()==getCurrentItem().getApellidos());
	#endif //NDEBUG
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x58, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq (%rdi), %rax
callq *(%rax)
testb %al, %al
jne 0x31ca
movq (%r14), %rax
movq %r14, %rdi
callq *(%rax)
movq %rax, %r15
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *(%rcx)
movq 0x8(%r15), %rdx
cmpq 0x8(%rax), %rdx
jne 0x31ca
testq %rdx, %rdx
je 0x301e
movq (%rax), %rsi
movq (%r15), %rdi
callq 0x2160
testl %eax, %eax
jne 0x31ca
movq (%r14), %rax
movq %r14, %rdi
callq *0x8(%rax)
movq %rax, %r15
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x8(%rcx)
movq 0x8(%r15), %rdx
cmpq 0x8(%rax), %rdx
jne 0x31ca
testq %rdx, %rdx
je 0x3062
movq (%rax), %rsi
movq (%r15), %rdi
callq 0x2160
testl %eax, %eax
jne 0x31ca
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
leaq -0x68(%rbp), %rdi
movq %rax, %rsi
callq 0x356a
movq 0x10(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x18(%rax)
movq (%r14), %rax
movq %r14, %rdi
callq *(%rax)
movq %rax, %r15
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *(%rcx)
movq 0x8(%r15), %rdx
cmpq 0x8(%rax), %rdx
jne 0x31ab
testq %rdx, %rdx
je 0x30c6
movq (%rax), %rsi
movq (%r15), %rdi
callq 0x2160
testl %eax, %eax
jne 0x31ab
movq (%r14), %rax
movq %r14, %rdi
callq *0x8(%rax)
movq %rax, %r14
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x8(%rcx)
movq 0x8(%r14), %rdx
cmpq 0x8(%rax), %rdx
jne 0x31ab
testq %rdx, %rdx
je 0x310a
movq (%rax), %rsi
movq (%r14), %rdi
callq 0x2160
testl %eax, %eax
jne 0x31ab
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *(%rcx)
movq -0x58(%rbp), %rdx
cmpq 0x8(%rax), %rdx
jne 0x31ab
testq %rdx, %rdx
je 0x313e
movq (%rax), %rsi
movq -0x60(%rbp), %rdi
callq 0x2160
testl %eax, %eax
jne 0x31ab
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x8(%rcx)
movq -0x38(%rbp), %rdx
cmpq 0x8(%rax), %rdx
jne 0x31ab
movq -0x40(%rbp), %rbx
testq %rdx, %rdx
je 0x3172
movq (%rax), %rsi
movq %rbx, %rdi
callq 0x2160
testl %eax, %eax
jne 0x31ab
leaq 0x8ae7(%rip), %rax      # 0xbc60
leaq -0x30(%rbp), %rcx
movq %rax, -0x38(%rcx)
cmpq %rcx, %rbx
je 0x318e
movq %rbx, %rdi
callq 0x2130
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x31a0
callq 0x2130
addq $0x58, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x53bb(%rip), %rdi      # 0x856d
leaq 0x4f23(%rip), %rsi      # 0x80dc
leaq 0x5349(%rip), %rcx      # 0x8509
movl $0xc4, %edx
callq 0x20e0
leaq 0x52c1(%rip), %rdi      # 0x8492
leaq 0x4f04(%rip), %rsi      # 0x80dc
leaq 0x532a(%rip), %rcx      # 0x8509
movl $0xbb, %edx
callq 0x20e0
movq %rax, %rbx
leaq -0x68(%rbp), %rdi
callq 0x3652
movq %rbx, %rdi
callq 0x2220
movq %rax, %rdi
callq 0x3692
nop