org.ggp.base.util.Trove Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation
Show all versions of alloy-ggp-base Show documentation
A modified version of the GGP-Base library for Alloy.
package org.ggp.base.util;
import gnu.trove.TIntCollection;
import gnu.trove.function.TIntFunction;
import gnu.trove.iterator.TIntIntIterator;
import gnu.trove.iterator.TIntIterator;
import gnu.trove.map.TIntIntMap;
import gnu.trove.procedure.TIntIntProcedure;
import gnu.trove.procedure.TIntProcedure;
import gnu.trove.set.TIntSet;
import gnu.trove.set.hash.TIntHashSet;
import java.util.Collection;
import java.util.Map;
import java.util.NoSuchElementException;
public class Trove {
private static final int[] EMPTY_INT_ARRAY = new int[0];
private static final TIntIntIterator EMPTY_INT_INT_ITERATOR =
new TIntIntIterator() {
@Override
public void advance() {
throw new UnsupportedOperationException();
}
@Override
public boolean hasNext() {
return false;
}
@Override
public void remove() {
throw new UnsupportedOperationException();
}
@Override
public int key() {
throw new UnsupportedOperationException();
}
@Override
public int setValue(int arg0) {
throw new UnsupportedOperationException();
}
@Override
public int value() {
throw new UnsupportedOperationException();
}
};
private static final TIntIterator EMPTY_INT_ITERATOR = new TIntIterator() {
@Override
public boolean hasNext() {
return false;
}
@Override
public void remove() {
throw new UnsupportedOperationException();
}
@Override
public int next() {
throw new UnsupportedOperationException();
}
};
private static final TIntHashSet EMPTY_INT_SET = new TIntHashSet() {
@Override
public boolean add(int arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(Collection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(TIntCollection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(int[] arg0) {
throw new UnsupportedOperationException();
}
@Override
public void clear() {
throw new UnsupportedOperationException();
}
@Override
public boolean contains(int arg0) {
return false;
}
@Override
public boolean containsAll(Collection arg0) {
return arg0.isEmpty();
}
@Override
public boolean containsAll(TIntCollection arg0) {
return arg0.isEmpty();
}
@Override
public boolean containsAll(int[] arg0) {
return arg0.length == 0;
}
@Override
public boolean forEach(TIntProcedure arg0) {
return true;
}
@Override
public int getNoEntryValue() {
return 0;
}
@Override
public boolean isEmpty() {
return true;
}
@Override
public TIntIterator iterator() {
return EMPTY_INT_ITERATOR;
}
@Override
public boolean remove(int arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(Collection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(TIntCollection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(int[] arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(Collection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(TIntCollection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(int[] arg0) {
throw new UnsupportedOperationException();
}
@Override
public int size() {
return 0;
}
@Override
public int hashCode() {
return 0;
}
@Override
public int[] toArray() {
return EMPTY_INT_ARRAY;
}
@Override
public int[] toArray(int[] arg0) {
return EMPTY_INT_ARRAY;
}
};
private static final TIntCollection EMPTY_INT_COLLECTION = new TIntCollection() {
@Override
public boolean add(int arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(Collection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(TIntCollection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(int[] arg0) {
throw new UnsupportedOperationException();
}
@Override
public void clear() {
throw new UnsupportedOperationException();
}
@Override
public boolean contains(int arg0) {
return false;
}
@Override
public boolean containsAll(Collection arg0) {
return arg0.isEmpty();
}
@Override
public boolean containsAll(TIntCollection arg0) {
return arg0.isEmpty();
}
@Override
public boolean containsAll(int[] arg0) {
return arg0.length == 0;
}
@Override
public boolean forEach(TIntProcedure arg0) {
return true;
}
@Override
public int getNoEntryValue() {
return 0;
}
@Override
public boolean isEmpty() {
return true;
}
@Override
public TIntIterator iterator() {
return EMPTY_INT_ITERATOR;
}
@Override
public boolean remove(int arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(Collection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(TIntCollection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(int[] arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(Collection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(TIntCollection arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(int[] arg0) {
throw new UnsupportedOperationException();
}
@Override
public int size() {
return 0;
}
@Override
public int[] toArray() {
return EMPTY_INT_ARRAY;
}
@Override
public int[] toArray(int[] arg0) {
return EMPTY_INT_ARRAY;
}
};
private static final TIntIntMap EMPTY_INT_INT_MAP =
new TIntIntMap() {
@Override
public int adjustOrPutValue(int arg0, int arg1, int arg2) {
throw new UnsupportedOperationException();
}
@Override
public boolean adjustValue(int arg0, int arg1) {
throw new UnsupportedOperationException();
}
@Override
public void clear() {
throw new UnsupportedOperationException();
}
@Override
public boolean containsKey(int arg0) {
return false;
}
@Override
public boolean containsValue(int arg0) {
return false;
}
@Override
public boolean forEachEntry(TIntIntProcedure arg0) {
return true;
}
@Override
public boolean forEachKey(TIntProcedure arg0) {
return true;
}
@Override
public boolean forEachValue(TIntProcedure arg0) {
return true;
}
@Override
public int get(int arg0) {
return 0;
}
@Override
public int getNoEntryKey() {
return 0;
}
@Override
public int getNoEntryValue() {
return 0;
}
@Override
public boolean increment(int arg0) {
return false;
}
@Override
public boolean isEmpty() {
return true;
}
@Override
public TIntIntIterator iterator() {
return EMPTY_INT_INT_ITERATOR;
}
@Override
public TIntSet keySet() {
return EMPTY_INT_SET;
}
@Override
public int[] keys() {
return EMPTY_INT_ARRAY;
}
@Override
public int[] keys(int[] arg0) {
return EMPTY_INT_ARRAY;
}
@Override
public int put(int arg0, int arg1) {
throw new UnsupportedOperationException();
}
@Override
public void putAll(
Map arg0) {
throw new UnsupportedOperationException();
}
@Override
public void putAll(TIntIntMap arg0) {
throw new UnsupportedOperationException();
}
@Override
public int putIfAbsent(int arg0, int arg1) {
throw new UnsupportedOperationException();
}
@Override
public int remove(int arg0) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainEntries(TIntIntProcedure arg0) {
throw new UnsupportedOperationException();
}
@Override
public int size() {
return 0;
}
@Override
public void transformValues(TIntFunction arg0) {
//Do nothing
}
@Override
public TIntCollection valueCollection() {
return EMPTY_INT_COLLECTION;
}
@Override
public int[] values() {
return EMPTY_INT_ARRAY;
}
@Override
public int[] values(int[] arg0) {
return EMPTY_INT_ARRAY;
}};
public static TIntIntMap emptyIntIntMap() {
return EMPTY_INT_INT_MAP;
}
public static TIntSet emptyIntSet() {
return EMPTY_INT_SET;
}
public static TIntSet singletonSet(final int value) {
return new TIntSet() {
@Override
public int getNoEntryValue() {
return 0;
}
@Override
public int size() {
return 1;
}
@Override
public boolean isEmpty() {
return false;
}
@Override
public boolean contains(int entry) {
return entry == value;
}
@Override
public TIntIterator iterator() {
return singletonIterator(value);
}
@Override
public int[] toArray() {
return new int[] { value };
}
@Override
public int[] toArray(int[] dest) {
dest[0] = value;
return dest;
}
@Override
public boolean add(int entry) {
throw new UnsupportedOperationException();
}
@Override
public boolean remove(int entry) {
throw new UnsupportedOperationException();
}
@Override
public boolean containsAll(Collection collection) {
throw new UnsupportedOperationException();
}
@Override
public boolean containsAll(TIntCollection collection) {
return containsAll(collection.toArray());
}
@Override
public boolean containsAll(int[] array) {
for (int i = 0; i < array.length; i++) {
if (array[i] != value) {
return false;
}
}
return true;
}
@Override
public boolean addAll(Collection collection) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(TIntCollection collection) {
throw new UnsupportedOperationException();
}
@Override
public boolean addAll(int[] array) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(Collection collection) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(TIntCollection collection) {
throw new UnsupportedOperationException();
}
@Override
public boolean retainAll(int[] array) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(Collection collection) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(TIntCollection collection) {
throw new UnsupportedOperationException();
}
@Override
public boolean removeAll(int[] array) {
throw new UnsupportedOperationException();
}
@Override
public void clear() {
throw new UnsupportedOperationException();
}
@Override
public boolean forEach(TIntProcedure procedure) {
return procedure.execute(value);
}
};
}
public static TIntIterator singletonIterator(final int value) {
return new TIntIterator() {
private boolean done = false;
@Override
public void remove() {
throw new UnsupportedOperationException();
}
@Override
public boolean hasNext() {
return !done;
}
@Override
public int next() {
if (done) {
throw new NoSuchElementException();
}
done = true;
return value;
}
};
}
}