private bool studentExists(int id) { /* * pre cond: int id * post cond: true - if student id is found in stack * false - otherwise * * checks if a student id was already used */ Student student; Stack newStack = new Stack(this.repo.getStackCapacity()); bool ok = false; while (!ok && this.repo.getStackSize() > -1) { student = this.repo.getStudent(); if (student.getId() == id) ok = true; newStack.push(student); } while (newStack.getStackSize() > -1) this.repo.addStudent(newStack.pop()); if (ok) return true; else return false; }
public String getAllStudents() { /* * pre cond: - * post cond: a string with all the students * or a message if no students have been added * */ String studentList = ""; Student student; if (repo.getStackSize() < 0) return "No students!"; Stack newStack = new Stack(this.repo.getStackCapacity()); while (this.repo.getStackSize() > -1) { student = this.repo.getStudent(); studentList += student.toString() + "\n"; newStack.push(student); } while (newStack.getStackSize() > -1) this.repo.addStudent(newStack.pop()); return studentList; }