package database;

/**
 * This class allows the user to create a custom data field inside one of the other data fields. For example, a user could create a
 * field inside Room called "SmartRoom". The value could then be assigned a custom string, such as "Yes", for its value. 
 * @author jroll
 *
 */
public abstract class CustomDataField extends DataItem {
	public String key, value, displayName;
	

/**
 * Sets the rating for a day and time.
 * @param displayName Sets the displayName for the custom data field, e.g. "SmartRoom"
 *
 */

/* @
   //We must insert a valid, non-null key
   requires this.key != null;
 * 
   //now the display name of the class should match the value we just inserted.
   ensures this.displayName.equals(displayNameParam);
 @*/ 
	public abstract void updateDisplayName(String displayNameParam);
}