com.eliad.util
Class Intervals.Factory

java.lang.Object
  |
  +--com.eliad.util.Intervals.Factory

public static class Intervals.Factory

extends java.lang.Object

A factory to clone Interval objects and create default ones.

Constructor Summary

Intervals.Factory()

Method Summary

static Intervals	copy(Intervals intervals) Provides a public, exception free, type-safe way of copying an Intervals object.
static Intervals	createDefault(int numEntries, int size) Creates a default implementation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Intervals.Factory

public Intervals.Factory()

Method Detail

copy

public static Intervals copy(Intervals intervals)

Provides a public, exception free, type-safe way of copying an Intervals object.

Preconditions:

intervals != null

Postconditions:

return != null

return.equals(intervals)

createDefault

public static Intervals createDefault(int numEntries,
                                      int size)

Creates a default implementation.

Postconditions:

return != null

return.getCount() == numEntries

return.hasFixedSize()

return.getDefaultSize() == size