package user;

import java.util.List;

/**
 * This class represents the Database of all Users. The administrator is
 * allowed to add Users and get Users to make modifications to their info.
 * 
 * @author sbayley
 */
public abstract class UserDB {
   public List<User> UserDB; //represents all the users.
   
   /**
    * View the full list of Users
    * 
    * @return list of all Users
    */ 
    /*
     post:
        // The output list is sorted lexicographically by name of 
        // User, according to the semantics of 
        // java.lang.String.compareto().
        //
        forall (int i; (i>=0) && (i < return.size() - 1);
           return.get(i).name.compareTo(return.get(i + 1).name) < 0);
     
    */
   public abstract List<User> view();
}