// A type to represent a student.
// Barry Cornelius, 20 June 2000
public interface Student extends Person
{
   // return the StudentNumber part of the target student
   public int getStudentNumber();

   // return the CourseName part of the target student
   public String getCourseName();

   // set the StudentNumber part of the target student to pStudentNumber
   public void setStudentNumber(int pStudentNumber);

   // set the CourseName part of the target student to pCourseName
   public void setCourseName(String pCourseName);
}