com.io7m.jregions.core.unparameterized.areas

Class AreaD

java.lang.Object

com.io7m.jregions.core.unparameterized.areas.AreaD

All Implemented Interfaces:

AreaDType, AreaValuesDType, AreaSizeValuesDType

@Generated(value={"Immutables.generator","AreaDType"})
public final class AreaD
extends Object
implements AreaDType

An area with double coordinates.

The coordinates of the area are given in half-closed form. That is, minimumX() refers to the minimum inclusive value on the X axis, and maximumX() refers to the maximum exclusive value on the X axis. Likewise for the Y axis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AreaD.Builder Builds instances of type AreaD.

Method Summary

Modifier and Type	Method and Description
static AreaD.Builder	builder() Creates a builder for AreaD.
boolean	equals(Object another) This instance is equal to all instances of AreaD that have equal attribute values.
int	hashCode() Computes a hash code from attributes: minimumX, maximumX, minimumY, maximumY.
double	height()
double	maximumX()
double	maximumY()
double	minimumX()
double	minimumY()
static AreaD	of(double minimumX, double maximumX, double minimumY, double maximumY) Construct a new immutable AreaD instance.
String	toString() Prints the immutable value AreaD with attribute values.
double	width()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.io7m.jregions.core.unparameterized.areas.AreaDType

checkPreconditions

Method Detail

minimumX

public double minimumX()

Specified by:

minimumX in interface AreaDType

Specified by:

minimumX in interface AreaValuesDType

Returns:

The value of the minimumX attribute

maximumX

public double maximumX()

Specified by:

maximumX in interface AreaDType

Specified by:

maximumX in interface AreaValuesDType

Returns:

The value of the maximumX attribute

minimumY

public double minimumY()

Specified by:

minimumY in interface AreaDType

Specified by:

minimumY in interface AreaValuesDType

Returns:

The value of the minimumY attribute

maximumY

public double maximumY()

Specified by:

maximumY in interface AreaDType

Specified by:

maximumY in interface AreaValuesDType

Returns:

The value of the maximumY attribute

equals

public boolean equals(Object another)

This instance is equal to all instances of AreaD that have equal attribute values.

Overrides:

equals in class Object

Returns:

true if this is equal to another instance

hashCode

public int hashCode()

Computes a hash code from attributes: minimumX, maximumX, minimumY, maximumY.

Overrides:

hashCode in class Object

Returns:

hashCode value

toString

public String toString()

Prints the immutable value AreaD with attribute values.

Overrides:

toString in class Object

Returns:

A string representation of the value

width

public double width()

Returns a lazily initialized value of the width attribute. Initialized once and only once and stored for subsequent access with proper synchronization.

Specified by:

width in interface AreaValuesDType

Specified by:

width in interface AreaSizeValuesDType

Returns:

A lazily initialized value of the l.name attribute

height

public double height()

Returns a lazily initialized value of the height attribute. Initialized once and only once and stored for subsequent access with proper synchronization.

Specified by:

height in interface AreaValuesDType

Specified by:

height in interface AreaSizeValuesDType

Returns:

A lazily initialized value of the l.name attribute

of

public static AreaD of(double minimumX,
                       double maximumX,
                       double minimumY,
                       double maximumY)

Construct a new immutable AreaD instance.

Parameters:

minimumX - The value for the minimumX attribute

maximumX - The value for the maximumX attribute

minimumY - The value for the minimumY attribute

maximumY - The value for the maximumY attribute

Returns:

An immutable AreaD instance

builder

public static AreaD.Builder builder()

Creates a builder for AreaD.

Returns:

A new AreaD builder