DateDiscriminator

A DateDiscriminator discriminates Dates, from the java.util package. It discriminates its input by calling getTime(), then employing a LongDiscriminator on the resultant long value.

Example

Given the input...

  • {01-JAN-2012 00:00:00, 01-JAN-2012 12:00:00, 01-NOV-2012 15:33:14, 11-JAN-2012 00:00:00, 01-JAN-2012 00:00:00, 04-JUL-1776 00:00:00, 20-JUL-1969 19:56:00, 01-JAN-2012 00:00:00, 01-NOV-2012 15:33:14, 01-NOV-2012 15:33:13}

... a DateDiscriminator returns the following equivalence classes:

  • {01-JAN-2012 12:00:00}
  • {11-JAN-2012 00:00:00}
  • {04-JUL-1776 00:00:00}
  • {20-JUL-1969 19:56:00}
  • {01-NOV-2012 15:33:13}
  • {01-JAN-2012 00:00:00, 01-JAN-2012 00:00:00, 01-JAN-2012 00:00:00}
  • {01-NOV-2012 15:33:14, 01-NOV-2012 15:33:14}