com.io7m.jregions.core.unparameterized.areas

Class AreaI

java.lang.Object

com.io7m.jregions.core.unparameterized.areas.AreaI

All Implemented Interfaces:

AreaIType, AreaValuesIType, AreaSizeValuesIType

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

An area with int 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	AreaI.Builder Builds instances of type AreaI.

Method Summary

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

checkPreconditions

Method Detail

minimumX

public int minimumX()

Specified by:

minimumX in interface AreaIType

Specified by:

minimumX in interface AreaValuesIType

Returns:

The value of the minimumX attribute

maximumX

public int maximumX()

Specified by:

maximumX in interface AreaIType

Specified by:

maximumX in interface AreaValuesIType

Returns:

The value of the maximumX attribute

minimumY

public int minimumY()

Specified by:

minimumY in interface AreaIType

Specified by:

minimumY in interface AreaValuesIType

Returns:

The value of the minimumY attribute

maximumY

public int maximumY()

Specified by:

maximumY in interface AreaIType

Specified by:

maximumY in interface AreaValuesIType

Returns:

The value of the maximumY attribute

equals

public boolean equals(Object another)

This instance is equal to all instances of AreaI 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 AreaI with attribute values.

Overrides:

toString in class Object

Returns:

A string representation of the value

width

public int 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 AreaValuesIType

Specified by:

width in interface AreaSizeValuesIType

Returns:

A lazily initialized value of the l.name attribute

height

public int 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 AreaValuesIType

Specified by:

height in interface AreaSizeValuesIType

Returns:

A lazily initialized value of the l.name attribute

of

public static AreaI of(int minimumX,
                       int maximumX,
                       int minimumY,
                       int maximumY)

Construct a new immutable AreaI 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 AreaI instance

builder

public static AreaI.Builder builder()

Creates a builder for AreaI.

Returns:

A new AreaI builder