com.eliad.model
Class RulerModel.Factory

java.lang.Object
  |
  +--com.eliad.model.RulerModel.Factory

public static class RulerModel.Factory

extends java.lang.Object

A factory to clone ruler model objects and create default ones

Constructor Summary

RulerModel.Factory()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RulerModel.Factory

public RulerModel.Factory()

Method Detail

copy

public static RulerModel copy(RulerModel ruler)

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

Preconditions:

ruler != null

Postconditions:

return != null

return.equals(ruler)

createDefault

public static RulerModel createDefault(int numEntries,
                                       int size,
                                       int orientation)

Creates a default implementation.

Preconditions:

orientation == RulerModel.HORIZONTAL || orientation == RulerModel.VERTICAL

numEntries >= 0

size > 0

Postconditions:

return != null

return.getOrientation() == orientation

return.getCount() == numEntries

forall int i in [0, getCount()[ | return.getSize(i) == size

createDefault

public static RulerModel createDefault(Intervals intervals,
                                       int orientation)

Creates a default implementation based on an Intervals object.

Preconditions:

orientation == RulerModel.HORIZONTAL || orientation == RulerModel.VERTICAL

intervals != null

Postconditions:

return != null

return.getOrientation() == orientation

return.getCount() == intervals.getCount()

forall int i in [0, getCount()[ | return.getSize(i) == intervals.getSize(i)