Package com.io7m.jregions.core.unparameterized.areas

Interface AreaDType

All Superinterfaces:
AreaSizeValuesDType, AreaValuesDType
All Known Implementing Classes:
AreaD
@Immutable
public interface AreaDType
extends AreaValuesDType

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.

  • Method Details

    • minimumX

      @Parameter(order=0) double minimumX()
      Specified by:
      minimumX in interface AreaValuesDType
      Returns:
      The value on the X axis of the minimum edge of the box (inclusive)

    • maximumX

      @Parameter(order=1) double maximumX()
      Specified by:
      maximumX in interface AreaValuesDType
      Returns:
      The value on the X axis of the maximum edge of the box (exclusive)

    • minimumY

      @Parameter(order=2) double minimumY()
      Specified by:
      minimumY in interface AreaValuesDType
      Returns:
      The value on the Y axis of the minimum edge of the box (inclusive)

    • maximumY

      @Parameter(order=3) double maximumY()
      Specified by:
      maximumY in interface AreaValuesDType
      Returns:
      The value on the Y axis of the maximum edge of the box (exclusive)

    • checkPreconditions

      @Check default void checkPreconditions()
      Check the preconditions for the parameters.