2017-04-09 22:01:03 +02:00
|
|
|
package org.warp.picalculator.gui;
|
2017-02-14 20:02:03 +01:00
|
|
|
|
|
|
|
public interface GraphicalElement {
|
|
|
|
|
|
|
|
/**
|
2017-04-10 22:50:43 +02:00
|
|
|
* Recompute element's dimension parameters, like <strong>width</strong>,
|
|
|
|
* <strong>height</strong>, <strong>line</strong> or
|
|
|
|
* <strong>length</strong>.
|
2017-02-14 20:02:03 +01:00
|
|
|
*/
|
|
|
|
public void recomputeDimensions();
|
2017-04-10 22:50:43 +02:00
|
|
|
|
2017-02-14 20:02:03 +01:00
|
|
|
/**
|
|
|
|
*
|
|
|
|
* @return Width of the element.
|
|
|
|
*/
|
|
|
|
public int getWidth();
|
2017-04-10 22:50:43 +02:00
|
|
|
|
2017-02-14 20:02:03 +01:00
|
|
|
/**
|
|
|
|
*
|
|
|
|
* @return Height of the element.
|
|
|
|
*/
|
|
|
|
public int getHeight();
|
2017-04-10 22:50:43 +02:00
|
|
|
|
2017-02-14 20:02:03 +01:00
|
|
|
/**
|
|
|
|
*
|
2017-04-10 22:50:43 +02:00
|
|
|
* @return Position of the vertical alignment line of the element, relative
|
|
|
|
* to itself.
|
2017-02-14 20:02:03 +01:00
|
|
|
*/
|
|
|
|
public int getLine();
|
|
|
|
}
|