pt.ua.gboard.basic

Class Position

java.lang.Object

pt.ua.gboard.basic.Position

public class Position
extends java.lang.Object

Position in GBoard.

invariant: line() >= 0 && column() >= 0

This class follows DbC(tm) methodology. Where possible, contracts are implement with JML and native's Java assert.

Author:

Miguel Oliveira e Silva (mos@ua.pt)

Constructor Summary

Constructors

Constructor and Description
Position(int line, int column) Constructs a new Position (line x column).

Method Summary

Modifier and Type	Method and Description
int	column() Column.
boolean	isEqual(int line, int column) Is equal?
boolean	isEqual(Position other) Is equal?
boolean	isGreater(int line, int column) this.line() > line && this.column() >= column || this.line() >= line && this.column() > column
boolean	isGreater(Position other) this.line() > other.line() && this.column() >= other.column() || this.line() >= other.line() && this.column() > other.column()
boolean	isGreaterOrEqual(int line, int column) this.line() >= line && this.column() >= column || this.line() >= line && this.column() >= column
boolean	isGreaterOrEqual(Position other) this.line() >= other.line() && this.column() >= other.column() || this.line() >= other.line() && this.column() >= other.column()
boolean	isLower(int line, int column) this.line() < line && this.column() <= column || this.line() <= line && this.column() < column
boolean	isLower(Position other) this.line() < other.line() && this.column() <= other.column() || this.line() <= other.line() && this.column() < other.column()
boolean	isLowerOrEqual(int line, int column) this.line() <= line && this.column() <= column || this.line() <= line && this.column() <= column
boolean	isLowerOrEqual(Position other) this.line() <= other.line() && this.column() <= other.column() || this.line() <= other.line() && this.column() <= other.column()
int	line() Line.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Position

public Position(int line,
                int column)

Constructs a new Position (line x column).

requires: line >= 0 && column >= 0

Parameters:

line - line position

column - column position

Method Detail

line

public int line()

Line.

Returns:

int line position

column

public int column()

Column.

Returns:

int column position

isEqual

public boolean isEqual(Position other)

Is equal?

requires: other != null

Parameters:

other - other position

Returns:

boolean true if equal

isEqual

public boolean isEqual(int line,
                       int column)

Is equal?

requires: line >= 0 && column >= 0

Parameters:

line - line position

column - column position

Returns:

boolean true if equal

isGreater

public boolean isGreater(Position other)

this.line() > other.line() && this.column() >= other.column() || this.line() >= other.line() && this.column() > other.column()

requires: other != null

Parameters:

other - other position

Returns:

boolean true if greater than

isGreater

public boolean isGreater(int line,
                         int column)

this.line() > line && this.column() >= column || this.line() >= line && this.column() > column

requires: line >= 0 && column >= 0

Parameters:

line - line position

column - column position

Returns:

boolean true if greater than

isLower

public boolean isLower(Position other)

this.line() < other.line() && this.column() <= other.column() || this.line() <= other.line() && this.column() < other.column()

requires: other != null

Parameters:

other - other position

Returns:

boolean true if lower than

isLower

public boolean isLower(int line,
                       int column)

this.line() < line && this.column() <= column || this.line() <= line && this.column() < column

requires: line >= 0 && column >= 0

Parameters:

line - line position

column - column position

Returns:

boolean true if lower than

isGreaterOrEqual

public boolean isGreaterOrEqual(Position other)

this.line() >= other.line() && this.column() >= other.column() || this.line() >= other.line() && this.column() >= other.column()

requires: other != null

Parameters:

other - other position

Returns:

boolean true if greater than

isGreaterOrEqual

public boolean isGreaterOrEqual(int line,
                                int column)

this.line() >= line && this.column() >= column || this.line() >= line && this.column() >= column

requires: line >= 0 && column >= 0

Parameters:

line - line position

column - column position

Returns:

boolean true if greater than

isLowerOrEqual

public boolean isLowerOrEqual(Position other)

this.line() <= other.line() && this.column() <= other.column() || this.line() <= other.line() && this.column() <= other.column()

requires: other != null

Parameters:

other - other position

Returns:

boolean true if lower than

isLowerOrEqual

public boolean isLowerOrEqual(int line,
                              int column)

this.line() <= line && this.column() <= column || this.line() <= line && this.column() <= column

requires: line >= 0 && column >= 0

Parameters:

line - line position

column - column position

Returns:

boolean true if lower than

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object