/*******************************************************************************
* Copyright (c) 2013, 2014 Willink Transformations 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:
* E.D.Willink - Initial API and implementation
*******************************************************************************/
package org.eclipse.ocl.pivot.internal.ids;
import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.ocl.pivot.ids.BindingsId;
import org.eclipse.ocl.pivot.ids.ElementId;
import org.eclipse.ocl.pivot.ids.IdManager;
/**
* BindingsIdImpl provides a hashable list of elementIds suitable for use when indexing specializations.
*/
public class BindingsIdImpl implements BindingsId, WeakHashMapOfListOfWeakReference2.MatchableId<@NonNull ElementId @NonNull []>
{
protected class Iterator implements java.util.Iterator<@NonNull ElementId>
{
private int index = 0;
@Override
public boolean hasNext() {
return index < elementIds.length;
}
@Override
public @NonNull ElementId next() {
return elementIds[index++];
}
@Override
public void remove() {
throw new UnsupportedOperationException();
}
}
private final @NonNull ElementId @NonNull [] elementIds;
private final @NonNull Integer hashCode;
/**
* Construct a BindingsId for an idManager that has computed the hashCode for the typeIds.
*/
public BindingsIdImpl(@NonNull IdManager idManager, @NonNull Integer hashCode, @NonNull ElementId @NonNull [] elementIds) {
this.hashCode = hashCode;
this.elementIds = elementIds;
}
@Override
public final boolean equals(Object o) {
return o == this;
}
@Override
public @NonNull ElementId get(int i) {
return elementIds[i];
}
@Override
public int hashCode() {
return hashCode;
}
@Override
public java.util.Iterator<ElementId> iterator() {
return new Iterator();
}
@Override
public boolean matches(@NonNull ElementId @NonNull [] thoseElementIds) {
if (elementIds.length != thoseElementIds.length) {
return false;
}
for (int i = 0; i < elementIds.length; i++) {
if (elementIds[i] != thoseElementIds[i]) {
return false;
}
}
return true;
}
@Override
public int size() {
return elementIds.length;
}
@Override
public String toString() {
StringBuilder s = new StringBuilder();
s.append('(');
for (int i = 0; i < elementIds.length; i++) {
if (i > 0) {
s.append(',');
}
s.append(String.valueOf(elementIds[i]));
}
s.append(')');
return s.toString();
}
}