drv.BigLists.drv Maven / Gradle / Ivy
Show all versions of fastutil Show documentation
/*
* Copyright (C) 2002-2016 Sebastiano Vigna
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package PACKAGE;
import it.unimi.dsi.fastutil.BigList;
import java.util.Collection;
import java.util.List;
import java.util.Random;
/** A class providing static methods and objects that do useful things with type-specific big lists.
*
* @see java.util.Collections
* @see it.unimi.dsi.fastutil.BigList
*/
public class BIG_LISTS {
private BIG_LISTS() {}
/** Shuffles the specified big list using the specified pseudorandom number generator.
*
* @param l the big list to be shuffled.
* @param random a pseudorandom number generator (please use a XorShift* generator).
* @return l.
*/
public static KEY_GENERIC BIG_LIST KEY_GENERIC shuffle( final BIG_LIST KEY_GENERIC l, final Random random ) {
for( long i = l.size64(); i-- != 0; ) {
final long p = ( random.nextLong() & 0x7FFFFFFFFFFFFFFFL ) % ( i + 1 );
final KEY_GENERIC_TYPE t = l.GET_KEY( i );
l.set( i, l.GET_KEY( p ) );
l.set( p, t );
}
return l;
}
/** An immutable class representing an empty type-specific big list.
*
* This class may be useful to implement your own in case you subclass
* a type-specific list.
*/
public static class EmptyBigList KEY_GENERIC extends COLLECTIONS.EmptyCollection KEY_GENERIC implements BIG_LIST KEY_GENERIC, java.io.Serializable, Cloneable {
private static final long serialVersionUID = -7046029254386353129L;
protected EmptyBigList() {}
public void add( final long index, final KEY_GENERIC_TYPE k ) { throw new UnsupportedOperationException(); }
public boolean add( final KEY_GENERIC_TYPE k ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_TYPE REMOVE_KEY( long i ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_TYPE set( final long index, final KEY_GENERIC_TYPE k ) { throw new UnsupportedOperationException(); }
public long indexOf( KEY_TYPE k ) { return -1; }
public long lastIndexOf( KEY_TYPE k ) { return -1; }
public boolean addAll( Collection c ) { throw new UnsupportedOperationException(); }
public boolean addAll( long i, Collection c ) { throw new UnsupportedOperationException(); }
public boolean removeAll( Collection c ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_CLASS get( long i ) { throw new IndexOutOfBoundsException(); }
#if #keys(primitive)
public boolean addAll( COLLECTION c ) { throw new UnsupportedOperationException(); }
public boolean addAll( BIG_LIST c ) { throw new UnsupportedOperationException(); }
public boolean addAll( long i, COLLECTION c ) { throw new UnsupportedOperationException(); }
public boolean addAll( long i, BIG_LIST c ) { throw new UnsupportedOperationException(); }
public void add( final long index, final KEY_GENERIC_CLASS k ) { throw new UnsupportedOperationException(); }
public boolean add( final KEY_GENERIC_CLASS k ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_CLASS set( final long index, final KEY_GENERIC_CLASS k ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_TYPE GET_KEY( long i ) { throw new IndexOutOfBoundsException(); }
public KEY_GENERIC_CLASS remove( long k ) { throw new UnsupportedOperationException(); }
public long indexOf( Object k ) { return -1; }
public long lastIndexOf( Object k ) { return -1; }
#else
public boolean remove( Object k ) { throw new UnsupportedOperationException(); }
#endif
SUPPRESS_WARNINGS_KEY_UNCHECKED
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator() { return BIG_LIST_ITERATORS.EMPTY_BIG_LIST_ITERATOR; }
SUPPRESS_WARNINGS_KEY_UNCHECKED
public KEY_BIG_LIST_ITERATOR KEY_GENERIC iterator() { return BIG_LIST_ITERATORS.EMPTY_BIG_LIST_ITERATOR; }
SUPPRESS_WARNINGS_KEY_UNCHECKED
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator( long i ) { if ( i == 0 ) return BIG_LIST_ITERATORS.EMPTY_BIG_LIST_ITERATOR; throw new IndexOutOfBoundsException( String.valueOf( i ) ); }
public BIG_LIST KEY_GENERIC subList( long from, long to ) { if ( from == 0 && to == 0 ) return this; throw new IndexOutOfBoundsException(); }
public void getElements( long from, KEY_TYPE[][] a, long offset, long length ) { BIG_ARRAYS.ensureOffsetLength( a, offset, length ); if ( from != 0 ) throw new IndexOutOfBoundsException(); }
public void removeElements( long from, long to ) { throw new UnsupportedOperationException(); }
public void addElements( long index, final KEY_GENERIC_TYPE a[][], long offset, long length ) { throw new UnsupportedOperationException(); }
public void addElements( long index, final KEY_GENERIC_TYPE a[][] ) { throw new UnsupportedOperationException(); }
public void size( long s ) { throw new UnsupportedOperationException(); }
public long size64() { return 0; }
public int compareTo( final BigList o ) {
if ( o == this ) return 0;
return ((BigList)o).isEmpty() ? 0 : -1;
}
private Object readResolve() { return EMPTY_BIG_LIST; }
public Object clone() { return EMPTY_BIG_LIST; }
public int hashCode() { return 1; }
@SuppressWarnings("rawtypes")
public boolean equals( Object o ) { return o instanceof BigList && ((BigList)o).isEmpty(); }
public String toString() { return "[]"; }
}
/** An empty big list (immutable). It is serializable and cloneable.
*/
SUPPRESS_WARNINGS_KEY_RAWTYPES
public static final EmptyBigList EMPTY_BIG_LIST = new EmptyBigList();
#if #keys(reference)
/** Return an empty big list (immutable). It is serializable and cloneable.
*
*
This method provides a typesafe access to {@link #EMPTY_BIG_LIST}.
* @return an empty big list (immutable).
*/
@SuppressWarnings("unchecked")
public static KEY_GENERIC BIG_LIST KEY_GENERIC emptyList() {
return EMPTY_BIG_LIST;
}
#endif
/** An immutable class representing a type-specific singleton big list.
*
*
This class may be useful to implement your own in case you subclass
* a type-specific big list.
*/
public static class Singleton KEY_GENERIC extends ABSTRACT_BIG_LIST KEY_GENERIC implements java.io.Serializable, Cloneable {
private static final long serialVersionUID = -7046029254386353129L;
private final KEY_GENERIC_TYPE element;
private Singleton( final KEY_GENERIC_TYPE element ) {
this.element = element;
}
public KEY_GENERIC_TYPE GET_KEY( final long i ) { if ( i == 0 ) return element; throw new IndexOutOfBoundsException(); }
public KEY_GENERIC_TYPE REMOVE_KEY( final long i ) { throw new UnsupportedOperationException(); }
public boolean contains( final KEY_TYPE k ) { return KEY_EQUALS( k, element ); }
public boolean addAll( final Collection c ) { throw new UnsupportedOperationException(); }
public boolean addAll( final long i, final Collection c ) { throw new UnsupportedOperationException(); }
public boolean removeAll( final Collection c ) { throw new UnsupportedOperationException(); }
public boolean retainAll( final Collection c ) { throw new UnsupportedOperationException(); }
/* Slightly optimized w.r.t. the one in ABSTRACT_SET. */
public KEY_TYPE[] TO_KEY_ARRAY() {
KEY_TYPE a[] = new KEY_TYPE[ 1 ];
a[ 0 ] = element;
return a;
}
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator() { return BIG_LIST_ITERATORS.singleton( element ); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC iterator() { return listIterator(); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator( long i ) {
if ( i > 1 || i < 0 ) throw new IndexOutOfBoundsException();
KEY_BIG_LIST_ITERATOR KEY_GENERIC l = listIterator();
if ( i == 1 ) l.next();
return l;
}
SUPPRESS_WARNINGS_KEY_UNCHECKED
public BIG_LIST KEY_GENERIC subList( final long from, final long to ) {
ensureIndex( from );
ensureIndex( to );
if ( from > to ) throw new IndexOutOfBoundsException( "Start index (" + from + ") is greater than end index (" + to + ")" );
if ( from != 0 || to != 1 ) return EMPTY_BIG_LIST;
return this;
}
@Deprecated
public int size() { return 1; }
public long size64() { return 1; }
public void size( final long size ) { throw new UnsupportedOperationException(); }
public void clear() { throw new UnsupportedOperationException(); }
public Object clone() { return this; }
#if #keys(primitive)
public boolean rem( final KEY_GENERIC_TYPE k ) { throw new UnsupportedOperationException(); }
public boolean addAll( final COLLECTION c ) { throw new UnsupportedOperationException(); }
@Override
public boolean addAll( final long i, final COLLECTION c ) { throw new UnsupportedOperationException(); }
#else
public boolean remove( Object k ) { throw new UnsupportedOperationException(); }
#endif
}
/** Returns a type-specific immutable big list containing only the specified element. The returned big list is serializable and cloneable.
*
* @param element the only element of the returned big list.
* @return a type-specific immutable big list containing just element.
*/
public static KEY_GENERIC BIG_LIST KEY_GENERIC singleton( final KEY_GENERIC_TYPE element ) { return new Singleton KEY_GENERIC( element ); }
#if ! #keys(reference)
/** Returns a type-specific immutable big list containing only the specified element. The returned big list is serializable and cloneable.
*
* @param element the only element of the returned big list.
* @return a type-specific immutable big list containing just element.
*/
public static KEY_GENERIC BIG_LIST KEY_GENERIC singleton( final Object element ) { return new Singleton KEY_GENERIC( KEY_OBJ2TYPE( element ) ); }
#endif
/** A synchronized wrapper class for big lists. */
public static class SynchronizedBigList KEY_GENERIC extends COLLECTIONS.SynchronizedCollection KEY_GENERIC implements BIG_LIST KEY_GENERIC, java.io.Serializable {
private static final long serialVersionUID = -7046029254386353129L;
protected final BIG_LIST KEY_GENERIC list; // Due to the large number of methods that are not in COLLECTION, this is worth caching.
protected SynchronizedBigList( final BIG_LIST KEY_GENERIC l, final Object sync ) {
super( l, sync );
this.list = l;
}
protected SynchronizedBigList( final BIG_LIST KEY_GENERIC l ) {
super( l );
this.list = l;
}
public KEY_GENERIC_TYPE GET_KEY( final long i ) { synchronized( sync ) { return list.GET_KEY( i ); } }
public KEY_GENERIC_TYPE set( final long i, final KEY_GENERIC_TYPE k ) { synchronized( sync ) { return list.set( i, k ); } }
public void add( final long i, final KEY_GENERIC_TYPE k ) { synchronized( sync ) { list.add( i, k ); } }
public KEY_GENERIC_TYPE REMOVE_KEY( final long i ) { synchronized( sync ) { return list.REMOVE_KEY( i ); } }
public long indexOf( final KEY_TYPE k ) { synchronized( sync ) { return list.indexOf( k ); } }
public long lastIndexOf( final KEY_TYPE k ) { synchronized( sync ) { return list.lastIndexOf( k ); } }
public boolean addAll( final long index, final Collection c ) { synchronized( sync ) { return list.addAll( index, c ); } }
public void getElements( final long from, final KEY_TYPE a[][], final long offset, final long length ) { synchronized( sync ) { list.getElements( from, a, offset, length ); } }
public void removeElements( final long from, final long to ) { synchronized( sync ) { list.removeElements( from, to ); } }
public void addElements( long index, final KEY_GENERIC_TYPE a[][], long offset, long length ) { synchronized( sync ) { list.addElements( index, a, offset, length ); } }
public void addElements( long index, final KEY_GENERIC_TYPE a[][] ) { synchronized( sync ) { list.addElements( index, a ); } }
public void size( final long size ) { synchronized( sync ) { list.size( size ); } }
public long size64() { synchronized( sync ) { return list.size64(); } }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC iterator() { return list.listIterator(); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator() { return list.listIterator(); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator( final long i ) { return list.listIterator( i ); }
public BIG_LIST KEY_GENERIC subList( final long from, final long to ) { synchronized( sync ) { return synchronize( list.subList( from, to ), sync ); } }
public boolean equals( final Object o ) { synchronized( sync ) { return list.equals( o ); } }
public int hashCode() { synchronized( sync ) { return list.hashCode(); } }
#if ! #keyclass(Reference)
public int compareTo( final BigList o ) { synchronized( sync ) { return list.compareTo( o ); } }
#endif
#if #keys(primitive)
public boolean addAll( final long index, final COLLECTION c ) { synchronized( sync ) { return list.addAll( index, c ); } }
public boolean addAll( final long index, BIG_LIST l ) { synchronized( sync ) { return list.addAll( index, l ); } }
public boolean addAll( BIG_LIST l ) { synchronized( sync ) { return list.addAll( l ); } }
public KEY_GENERIC_CLASS get( final long i ) { synchronized( sync ) { return list.get( i ); } }
public void add( final long i, KEY_GENERIC_CLASS k ) { synchronized( sync ) { list.add( i, k ); } }
public KEY_GENERIC_CLASS set( final long index, KEY_GENERIC_CLASS k ) { synchronized( sync ) { return list.set( index, k ); } }
public KEY_GENERIC_CLASS remove( final long i ) { synchronized( sync ) { return list.remove( i ); } }
public long indexOf( final Object o ) { synchronized( sync ) { return list.indexOf( o ); } }
public long lastIndexOf( final Object o ) { synchronized( sync ) { return list.lastIndexOf( o ); } }
#endif
}
/** Returns a synchronized type-specific big list backed by the given type-specific big list.
*
* @param l the big list to be wrapped in a synchronized big list.
* @return a synchronized view of the specified big list.
* @see java.util.Collections#synchronizedList(List)
*/
public static KEY_GENERIC BIG_LIST KEY_GENERIC synchronize( final BIG_LIST KEY_GENERIC l ) { return new SynchronizedBigList KEY_GENERIC( l ); }
/** Returns a synchronized type-specific big list backed by the given type-specific big list, using an assigned object to synchronize.
*
* @param l the big list to be wrapped in a synchronized big list.
* @param sync an object that will be used to synchronize the access to the big list.
* @return a synchronized view of the specified big list.
* @see java.util.Collections#synchronizedList(List)
*/
public static KEY_GENERIC BIG_LIST KEY_GENERIC synchronize( final BIG_LIST KEY_GENERIC l, final Object sync ) { return new SynchronizedBigList KEY_GENERIC( l, sync ); }
/** An unmodifiable wrapper class for big lists. */
public static class UnmodifiableBigList KEY_GENERIC extends COLLECTIONS.UnmodifiableCollection KEY_GENERIC implements BIG_LIST KEY_GENERIC, java.io.Serializable {
private static final long serialVersionUID = -7046029254386353129L;
protected final BIG_LIST KEY_GENERIC list; // Due to the large number of methods that are not in COLLECTION, this is worth caching.
protected UnmodifiableBigList( final BIG_LIST KEY_GENERIC l ) {
super( l );
this.list = l;
}
public KEY_GENERIC_TYPE GET_KEY( final long i ) { return list.GET_KEY( i ); }
public KEY_GENERIC_TYPE set( final long i, final KEY_GENERIC_TYPE k ) { throw new UnsupportedOperationException(); }
public void add( final long i, final KEY_GENERIC_TYPE k ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_TYPE REMOVE_KEY( final long i ) { throw new UnsupportedOperationException(); }
public long indexOf( final KEY_TYPE k ) { return list.indexOf( k ); }
public long lastIndexOf( final KEY_TYPE k ) { return list.lastIndexOf( k ); }
public boolean addAll( final long index, final Collection c ) { throw new UnsupportedOperationException(); }
public void getElements( final long from, final KEY_TYPE a[][], final long offset, final long length ) { list.getElements( from, a, offset, length ); }
public void removeElements( final long from, final long to ) { throw new UnsupportedOperationException(); }
public void addElements( long index, final KEY_GENERIC_TYPE a[][], long offset, long length ) { throw new UnsupportedOperationException(); }
public void addElements( long index, final KEY_GENERIC_TYPE a[][] ) { throw new UnsupportedOperationException(); }
public void size( final long size ) { list.size( size ); }
public long size64() { return list.size64(); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC iterator() { return listIterator(); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator() { return BIG_LIST_ITERATORS.unmodifiable( list.listIterator() ); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator( final long i ) { return BIG_LIST_ITERATORS.unmodifiable( list.listIterator( i ) ); }
public BIG_LIST KEY_GENERIC subList( final long from, final long to ) { return unmodifiable( list.subList( from, to ) ); }
public boolean equals( final Object o ) { return list.equals( o ); }
public int hashCode() { return list.hashCode(); }
#if ! #keyclass(Reference)
public int compareTo( final BigList o ) { return list.compareTo( o ); }
#endif
#if #keys(primitive)
public boolean addAll( final long index, final COLLECTION c ) { throw new UnsupportedOperationException(); }
public boolean addAll( final BIG_LIST l ) { throw new UnsupportedOperationException(); }
public boolean addAll( final long index, final BIG_LIST l ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_CLASS get( final long i ) { return list.get( i ); }
public void add( final long i, KEY_GENERIC_CLASS k ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_CLASS set( final long index, KEY_GENERIC_CLASS k ) { throw new UnsupportedOperationException(); }
public KEY_GENERIC_CLASS remove( final long i ) { throw new UnsupportedOperationException(); }
public long indexOf( final Object o ) { return list.indexOf( o ); }
public long lastIndexOf( final Object o ) { return list.lastIndexOf( o ); }
#endif
}
/** Returns an unmodifiable type-specific big list backed by the given type-specific big list.
*
* @param l the big list to be wrapped in an unmodifiable big list.
* @return an unmodifiable view of the specified big list.
* @see java.util.Collections#unmodifiableList(List)
*/
public static KEY_GENERIC BIG_LIST KEY_GENERIC unmodifiable( final BIG_LIST KEY_GENERIC l ) { return new UnmodifiableBigList KEY_GENERIC( l ); }
/** A class exposing a list as a big list. */
public static class ListBigList KEY_GENERIC extends ABSTRACT_BIG_LIST KEY_GENERIC implements java.io.Serializable {
private static final long serialVersionUID = -7046029254386353129L;
private final LIST KEY_GENERIC list;
protected ListBigList( final LIST KEY_GENERIC list ) {
this.list = list;
}
private int intIndex( long index ) {
if ( index >= Integer.MAX_VALUE ) throw new IndexOutOfBoundsException( "This big list is restricted to 32-bit indices" );
return (int)index;
}
public long size64() { return list.size(); }
@Deprecated
public int size() { return list.size(); }
public void size( final long size ) { list.size( intIndex( size ) ); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC iterator() { return BIG_LIST_ITERATORS.asBigListIterator( list.iterator() ); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator() { return BIG_LIST_ITERATORS.asBigListIterator( list.listIterator() ); }
public boolean addAll( final long index, final Collection c ) { return list.addAll( intIndex( index ), c ); }
public KEY_BIG_LIST_ITERATOR KEY_GENERIC listIterator( final long index ) { return BIG_LIST_ITERATORS.asBigListIterator( list.listIterator( intIndex( index ) ) ); }
public BIG_LIST KEY_GENERIC subList( long from, long to ) { return new ListBigList KEY_GENERIC( list.subList( intIndex( from ), intIndex( to ) ) ); }
public boolean contains( final KEY_TYPE key ) { return list.contains( key ); }
public KEY_TYPE[] TO_KEY_ARRAY() { return list.TO_KEY_ARRAY(); }
public void removeElements( final long from, final long to ) { list.removeElements( intIndex( from ), intIndex( to ) ); }
#if #keys(primitive)
public KEY_TYPE[] TO_KEY_ARRAY( KEY_TYPE[] a ) { return list.TO_KEY_ARRAY( a ); }
#endif
public void add( long index, KEY_GENERIC_TYPE key ) { list.add( intIndex( index ), key ); }
#if #keys(primitive)
@Override
#endif
public boolean addAll( long index, COLLECTION KEY_GENERIC c ) { return list.addAll( intIndex( index ), c ); }
#if #keys(primitive)
@Override
#endif
public boolean addAll( long index, BIG_LIST KEY_GENERIC c ) { return list.addAll( intIndex( index ), c ); }
public boolean add( KEY_GENERIC_TYPE key ) { return list.add( key ); }
public boolean addAll( BIG_LIST KEY_GENERIC c ) { return list.addAll( c ); }
public KEY_GENERIC_TYPE GET_KEY( long index ) { return list.GET_KEY( intIndex( index ) ); }
public long indexOf( KEY_TYPE k ) { return list.indexOf( k ); }
public long lastIndexOf( KEY_TYPE k ) { return list.lastIndexOf( k ); }
public KEY_GENERIC_TYPE REMOVE_KEY( long index ) { return list.REMOVE_KEY( intIndex( index ) ); }
public KEY_GENERIC_TYPE set( long index, KEY_GENERIC_TYPE k ) { return list.set( intIndex( index ), k ); }
public boolean addAll( COLLECTION KEY_GENERIC c ) { return list.addAll( c ); }
public boolean containsAll( COLLECTION KEY_GENERIC c ) { return list.containsAll( c ); }
public boolean removeAll( COLLECTION KEY_GENERIC c ) { return list.removeAll( c ); }
public boolean retainAll( COLLECTION KEY_GENERIC c ) { return list.retainAll( c ); }
public boolean isEmpty() { return list.isEmpty(); }
public T[] toArray( T[] a ) { return list.toArray( a ); }
public boolean containsAll( Collection c ) { return list.containsAll( c ); }
public boolean addAll( Collection c ) { return list.addAll( c ); }
public boolean removeAll( Collection c ) { return list.removeAll( c ); }
public boolean retainAll( Collection c ) { return list.retainAll( c ); }
public void clear() { list.clear(); }
public int hashCode() { return list.hashCode(); }
}
/** Returns a big list backed by the specified list.
*
* @param list a list.
* @return a big list backed by the specified list.
*/
public static KEY_GENERIC BIG_LIST KEY_GENERIC asBigList( final LIST KEY_GENERIC list ) { return new ListBigList KEY_GENERIC( list ); }
#ifdef TEST
private static KEY_TYPE genKey() {
#if #keyclass(Byte ) || #keyclass(Short) || #keyclass(Character)
return (KEY_TYPE)(r.nextInt());
#elif #keys(primitive)
return r.NEXT_KEY();
#elif #keyclass(Object)
return Integer.toBinaryString( r.nextInt() );
#else
return new java.io.Serializable() {};
#endif
}
private static void testLists( KEY_TYPE k, BIG_LIST m, BIG_LIST t, int level ) {
int n = 100;
int c;
long ms;
boolean mThrowsIllegal, tThrowsIllegal, mThrowsNoElement, tThrowsNoElement, mThrowsIndex, tThrowsIndex, mThrowsUnsupp, tThrowsUnsupp;
boolean rt = false, rm = false;
Object Rt = null, Rm = null;
if ( level == 0 ) return;
/* Now we check that m and t are equal. */
if ( !m.equals( t ) || ! t.equals( m ) ) System.err.println("m: " + m + " t: " + t);
ensure( m.equals( t ), "Error (" + level + ", " + seed + "): ! m.equals( t ) at start" );
ensure( t.equals( m ), "Error (" + level + ", " + seed + "): ! t.equals( m ) at start" );
/* Now we check that m actually holds that data. */
for(java.util.Iterator i=t.iterator(); i.hasNext(); ) {
ensure( m.contains( i.next() ), "Error (" + level + ", " + seed + "): m and t differ on an entry after insertion (iterating on t)" );
}
/* Now we check that m actually holds that data, but iterating on m. */
for(java.util.Iterator i=m.listIterator(); i.hasNext(); ) {
ensure( t.contains( i.next() ), "Error (" + level + ", " + seed + "): m and t differ on an entry after insertion (iterating on m)" );
}
/* Now we check that inquiries about random data give the same answer in m and t. For
m we use the polymorphic method. */
for(int i=0; i 1 ) r = new java.util.Random( seed = Long.parseLong( arg[ 1 ] ) );
try {
test();
} catch( Throwable e ) {
e.printStackTrace( System.err );
System.err.println( "seed: " + seed );
}
}
#endif
}