package users;

import course.*;

/**
* Graders receive the same permissions as regular students, in addition to a few extra commands allowing 
* for the grading of tests. Further information on Graders can be found in Section 2.1 of the requirements. documentation. 
* 
*/
public abstract class Grader extends User
{

	/**
	Graders may be assigned to different section of a single class.
	*/
	Section section;

   /**
   * Sets the parameters for a grader object
   * @param userID The user id of a user
   * @param realName The name of the user
   * @param section The section this Grader is grading for
   */
	public Grader(String userID, String realName, Section section)
	{

	}

	/**
	*   Changes the section this Grader is associated with
   *   @param s The section the grader will be moved to
	post:
		// grader's section must be s
		(section.equals(s));
	*/
	public abstract void changeSection(Section s);
}