/*
 * @(#)StudentNameRBTDictionary.java	1.0 2004/06/09
 */
   
/**
 * StudentNameRBTDictionary selects the student name as the 
 * record key used for indexing.
 * StudentNameRBTDictionary is an extention of a RecordRBTDictionary
 * container class that implements the interface Indexable.
 * @see Indexable, RedBlackTree, RecordRBTDictionary. 
 */
public class StudentNameRBTDictionary extends RecordRBTDictionary {
	
	/** Selects x.name as the record's key */
	public Comparable getRecordKey(Object x) {
   		return ((Student)x).name;
   	}
   
	/** Returns true if x is of a class Student. */
	public boolean validateRecordClass(Object x) {
		return (x instanceof Student);
	}
}