/* Sample solution to SE304 Lab 2
** Author: Margaret McGaley
** Ammended by: Gareth Carter
** Questions 4 can be found within
*/
package dbcvote;

import java.util.Hashtable;

public class ElectionENV {
    public static final String[] CANDIDATES = {"Abbott, Mary", "Byrne, Joseph",
           "Dinle, Sally", "Flood, Jerry", "Moody, Claire", "Simpson, Dave",
           "Thompson, Pat"};

    public /*@ pure @*/ static boolean isCandidate(String name) {
        for(int i = 0; i < CANDIDATES.length; i++) {
            if (CANDIDATES[i].equals(name)) {
               return true;
            }
        }
        return false;
    }
}