cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska
Class Coordinate

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska.Coordinate

public class Coordinate
extends Object

Representation of 2D coordinate.

Constructor Summary

Coordinate()
Creates default coordinate [0,0].

Coordinate(int x, int y)
Creates coordinate with specified values.

Method Summary

boolean	equals(Coordinate other)
int	getX()
int	getY()
void	setLocation(int x, int y) Sets values of coordinate.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Coordinate

public Coordinate()

Creates default coordinate [0,0].

Coordinate

public Coordinate(int x,
                  int y)

Creates coordinate with specified values.

Parameters:

x -

y -

Method Detail

setLocation

public void setLocation(int x,
                        int y)

Sets values of coordinate.

Parameters:

x -

y -

getX

public int getX()

getY

public int getY()

equals

public boolean equals(Coordinate other)

toString

public String toString()

Overrides:

toString in class Object