bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/PreferenceHistoryEntry.java

/*******************************************************************************
 * Copyright (c) 2004, 2006 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.ui.internal.dialogs;

import org.eclipse.core.runtime.Assert;

/**
 * A preference history entry.
 * 
 * @since 3.1
 */
final class PreferenceHistoryEntry {
	private String id;
	private String label;
	private Object argument;
	
	/**
	 * Creates a new entry.
	 * 
	 * @param id the preference page id
	 * @param label the label to display, usually the preference page label
	 * @param argument an argument to pass to the preference page, may be
	 *        <code>null</code>
	 */
	public PreferenceHistoryEntry(String id, String label, Object argument) {
		Assert.isLegal(id != null);
		Assert.isLegal(label != null);
		this.id= id;
		this.label= label;
		this.argument= argument;
	}
	/**
	 * Returns the preference page id.
	 * 
	 * @return the preference page id
	 */
	public String getId() {
		return id;
	}
	/**
	 * Returns the preference page argument.
	 * 
	 * @return the preference page argument
	 */
	public Object getArgument() {
		return argument;
	}
	/**
	 * Returns the preference page label.
	 * 
	 * @return the preference page label
	 */
	public String getLabel() {
		return label;
	}
	/*
	 * @see java.lang.Object#toString()
	 */
	public String toString() {
		if (argument == null) {
			return id;
		}
		return id + "(" + argument + ")"; //$NON-NLS-1$ //$NON-NLS-2$
	}
	/*
	 * @see java.lang.Object#equals(java.lang.Object)
	 */
	public boolean equals(Object obj) {
		if (obj instanceof PreferenceHistoryEntry) {
			PreferenceHistoryEntry other= (PreferenceHistoryEntry) obj;
			return id.equals(other.id)
					&& (argument == null && other.argument == null
							|| argument.equals(other.argument));
		}
		return super.equals(obj);
	}
	/*
	 * @see java.lang.Object#hashCode()
	 */
	public int hashCode() {
		int argHash= argument == null ? 0 : argument.hashCode() & 0x0000ffff;
		return id.hashCode() << 16 | argHash;
	}
}