ProblemIdentifierInt.java

/*******************************************************************************
 * Copyright (c) 2011 xored software, Inc.
 *
 * 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:
 *     xored software, Inc. - initial API and Implementation (Alex Panchenko)
 *******************************************************************************/
package org.eclipse.dltk.compiler.problem;

import org.eclipse.dltk.core.DLTKCore;

class ProblemIdentifierInt implements IProblemIdentifier {

	private final int value;

	public ProblemIdentifierInt(int value) {
		this.value = value;
	}

	public String contributor() {
		return DLTKCore.PLUGIN_ID;
	}

	public String name() {
		return String.valueOf(value);
	}

	@Override
	public int hashCode() {
		return value;
	}

	@Override
	public boolean equals(Object obj) {
		if (obj instanceof ProblemIdentifierInt) {
			final ProblemIdentifierInt other = (ProblemIdentifierInt) obj;
			return value == other.value;
		}
		return false;
	}

}