package testtool.student_app.login_view;

/**
  * The student login class represents the data needed for a student to login to the student app. It contains the their username and password.
  */
public abstract class StudentLogin {
	private String username;
	private String password;
	
	
	/**
     * Returns true if the student enters in the correct username and password and logging in.
     */
    /*@
      requires (* The student enter in the correct username and password *);
      ensures (* The student correctly enters in their username and password, and that they are a registered user *); 
      @*/
	public abstract boolean login();
}