package people;

import java.util.Collection;

/**
 * Contains a list of authentic users and data.
 */
abstract class Authentication
{
    /**
     * All of the valid users stored on this system.
     */
    Collection<UserRecord> users;
    /**
     * Data to be retrieved when a user has authenticated.
     */
    Data data;


    /**
     * Login for access to the data available to the associated id.
     *
      pre:
       exists(UserRecord user;
           users.contains(user);
           user.id.equals(id) &&
               user.password.equals(password));
      post:
       return.equals(data);
     *
     */
    Data login(String id, String password) {
       UserRecord user = null;
           users.contains(user);
           boolean b = user.id.equals(id) &&
               user.password.equals(password);
       return null;
    }
    /* SPEST PROBLEM:
       One more occurrance of .equals problem:

   Invalid invocation: equals(antlr.TestGenerator$arguments_return@5670b9c9) at line: 26  at character: 19
   Invalid invocation: equals(antlr.TestGenerator$arguments_return@2b56775) at line: 27  at character: 29

    */
}