This is the mail archive of the
mauve-patches@sourceware.org
mailing list for the Mauve project.
Re: UUID tests. oops
- From: Sven de Marothy <sven at physto dot se>
- To: mauve-patches at sources dot redhat dot com
- Date: Sun, 16 Jul 2006 06:31:18 +0200
- Subject: Re: UUID tests. oops
- References: <1153024184.2832.7.camel@qcplx01.physto.se>
Whoops, my brain wasn't with my, I attached the impl and not the tests.
Here are the tests. They go in the java.util.UUID package as expected.
/Sven
On Sun, 2006-07-16 at 06:29 +0200, Sven de Marothy wrote:
> I commited a java.util.UUID impl.
>
> Here's a full set of tests (AFAIK), we pass them all.
>
> /Sven
/* TestAll.java -- Tests for java.util.UUID
Copyright (C) 2006 Sven de Marothy
This file is part of Mauve.
Mauve is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
Mauve is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with Mauve; see the file COPYING. If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301 USA.
*/
// Tags: JDK1.5
package gnu.testlet.java.util.UUID;
import gnu.testlet.TestHarness;
import gnu.testlet.Testlet;
import java.util.UUID;
public class TestAll implements Testlet
{
public void test(TestHarness harness)
{
harness.checkPoint("equals()");
testEquals( harness );
harness.checkPoint("randomUUID()");
testRandom( harness );
harness.checkPoint("time fields");
testTime( harness );
harness.checkPoint("toString()");
testToString( harness );
harness.checkPoint("hashCode()");
testHash( harness );
harness.checkPoint("compareTo()");
testCompare( harness );
harness.checkPoint("nameUUIDFromBytes()");
testNameFromBytes( harness );
harness.checkPoint("fromString()");
testFromString( harness );
}
/**
* Test data, some valid timestamp UUIDs
*/
private static final UUID[] ids = new UUID[]
{
new UUID(819576242563977691L, -6026651929721136538L),
new UUID(2832154967796617691L, -6026651929721136538L),
new UUID(3408883180598464987L, -6026651929721136538L),
new UUID(3802173340188152283L, -6026651929721136538L)
};
/** Some random UUIDs */
private static final UUID[] randomIds = new UUID[]
{
new UUID( -3712700652812154966L, -6598749860495561479L ),
new UUID( 664552433621420518L, -6414775468900364460L ),
new UUID( -5464341501079829899L, -5598482408525562595L ),
new UUID( -6237697930964942150L, -6792975957340980865L ),
new UUID( 1115444745961556609L, -8924788308993396799L ),
new UUID( 8935737015972545600L, -7709166330108105025L ),
new UUID( -1731090450474971506L, -8180066663887629633L ),
new UUID( -4352314495419070300L, -6102009369002353257L ),
new UUID( -2372952748710147740L, -7309989210815328856L ),
new UUID( -7640168945999331050L, -9131205566142177277L )
};
/** correct string representations of the respective ids */
private static String[] strs = new String[]
{
"0b5fb840-1460-11db-ac5d-0800200c9a66",
"274dd5f0-1460-11db-ac5d-0800200c9a66",
"2f4ec931-1460-11db-ac5d-0800200c9a66",
"34c40882-1460-11db-ac5d-0800200c9a66"
};
private static String[] randomStrs = new String[]
{
"cc79d66d-4fc5-47aa-a46c-87f6ab80ecf9",
"0938f6ea-dca0-49e6-a6fa-23b2ae4dcf54",
"b42ac25b-28b6-4275-b24e-31e9568f7d1d",
"a96f3ec7-d0a5-42ba-a1ba-805b86ebf97f",
"0f7adb16-299d-4a81-8424-c8518ae3afc1",
"7c021d78-f35a-4440-9503-8a1153812ebf",
"e7f9ee68-315e-4e8e-8e7a-90b583f692bf",
"c3997906-a5c3-48a4-ab51-4ecf08825d97",
"df11940c-2858-4964-9a8d-b38af16a0da8",
"95f8aad2-adbd-4116-8147-70eab306a003"
};
private void testNameFromBytes(TestHarness harness)
{
UUID id1, id2;
id1 = new UUID(8833946387751055799L, -7161481369492758254L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)80, (byte)43 });
harness.check(id1.equals(id2));
id1 = new UUID(5637592221686249917L, -5921171958455577142L);
id2 = UUID.nameUUIDFromBytes( new byte[]{ (byte)114, (byte)45 });
harness.check(id1.equals(id2));
id1 = new UUID(-4355869889751467654L, -7258896509850702779L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)36, (byte)32, (byte)172,
(byte)170, (byte)254, (byte)224});
harness.check(id1.equals(id2));
id1 = new UUID(-5236193865575288109L, -8631150049002629651L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)79, (byte)195, (byte)193,
(byte)12 });
harness.check(id1.equals(id2));
id1 = new UUID(6892210306406430384L, -8874384750029244307L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)159, (byte)194, (byte)145,
(byte)7, (byte)79, (byte)81,
(byte)95 });
harness.check(id1.equals(id2));
id1 = new UUID(-1760792916171804329L, -7690807811470976644L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)44, (byte)67, (byte)23,
(byte)186, (byte)139, (byte)59,
(byte)191, (byte)77, (byte)20 });
harness.check(id1.equals(id2));
id1 = new UUID(-8248928743552566013L, -8885233673248765009L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)132, (byte)150, (byte)203,
(byte)54, (byte)68, (byte)31,
(byte)48, (byte)208 });
harness.check(id1.equals(id2));
id1 = new UUID(-3367149413545070022L, -6453356609274991779L);
id2 = UUID.nameUUIDFromBytes( new byte[]{
(byte)63 });
harness.check(id1.equals(id2));
id1 = new UUID(-1846445036491163506L, -6140770342100802383L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)216, (byte)9, (byte)56,
(byte)238, (byte)224, (byte)237,
(byte)253 });
harness.check(id1.equals(id2));
id1 = new UUID(-7426333540612096407L, -9029142625441791623L);
id2 = UUID.nameUUIDFromBytes( new byte[]{(byte)86, (byte)131,
(byte)201 });
harness.check(id1.equals(id2));
id1 = new UUID(-3162216497309273596L, -6232971331865394562L);
id2 = UUID.nameUUIDFromBytes( new byte[]{ });
harness.check(id1.equals(id2));
}
private void testFromString(TestHarness harness)
{
for(int i = 0; i < ids.length; i++ )
harness.check( ids[i].equals( UUID.fromString( strs[i] ) ) );
for(int i = 0; i < randomIds.length; i++)
harness.check( randomIds[i].equals
(UUID.fromString( randomStrs[i] ) ) );
}
private void testToString(TestHarness harness)
{
for(int i = 0; i < ids.length; i++)
harness.check(ids[i].toString().equals(strs[i]));
for(int i = 0; i < randomIds.length; i++)
harness.check(randomIds[i].toString().equals(randomStrs[i]));
}
private void testHash(TestHarness harness)
{
int[] hashes = new int[]
{
-1821492227,
-1082370483,
-1216394612,
-1393194177
};
for(int i = 0; i < ids.length; i++)
harness.check(ids[i].hashCode(), hashes[i]);
}
private void testCompare(TestHarness harness)
{
for(int i = 0; i < ids.length; i++)
{
UUID id = new UUID(ids[i].getMostSignificantBits(),
ids[i].getLeastSignificantBits());
for(int j = 0; j < ids.length; j++)
{
int c1 = id.compareTo(ids[j]);
int c2;
if( i < j ) c2 = -1;
else if( i > j) c2 = 1;
else c2 = 0;
harness.check(c1, c2);
}
}
}
private void testRandom(TestHarness harness)
{
UUID id = UUID.randomUUID();
harness.check(id.variant(), 2);
harness.check(id.version(), 4);
}
/**
* Test variant, version, timestamp, clocksequence, node
*/
private void testTime(TestHarness harness)
{
long[] vals = new long[]
{
2, 1, 133723016677800000L, 11357, 8796630719078L,
2, 1, 133723017146390000L, 11357, 8796630719078L,
2, 1, 133723017280670001L, 11357, 8796630719078L,
2, 1, 133723017372240002L, 11357, 8796630719078L
};
for(int i = 0; i < ids.length; i++)
{
harness.check(ids[i].variant(), vals[ i * 5 ]);
harness.check(ids[i].version(), vals[ i * 5 + 1]);
harness.check(ids[i].timestamp(), vals[ i * 5 + 2]);
harness.check(ids[i].clockSequence(), vals[ i * 5 + 3]);
harness.check(ids[i].node(), vals[ i * 5 + 4]);
}
}
private void testEquals(TestHarness harness)
{
for(int i = 0; i < ids.length; i++)
{
UUID id = new UUID(ids[i].getMostSignificantBits(),
ids[i].getLeastSignificantBits());
for(int j = 0; j < ids.length; j++)
harness.check((id.equals(ids[j]) == (i == j)));
}
}
}