Package org.processmining.lip.model

Class TileSize

java.lang.Object

org.processmining.lip.model.TileSize

public class TileSize
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_HEIGHT_MARGIN
static int	DEFAULT_TILE_HEIGHT
static int	DEFAULT_TILE_SPACE
static int	DEFAULT_TILE_WIDTH
static int	DEFAULT_WIDTH_MARGIN
int	heightMargin
int	tileHeight
int	tileLabelLetter
int	tileSpace
int	tileWidth
int	widthMargin

Constructor Summary

Constructors

Constructor	Description
TileSize()
TileSize(int widthMargin, int heightMargin, int tileWidth, int tileHeight, int tileSpace, int tileLabelLetter)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_WIDTH_MARGIN

public static final int DEFAULT_WIDTH_MARGIN

See Also:

Constant Field Values

DEFAULT_HEIGHT_MARGIN

public static final int DEFAULT_HEIGHT_MARGIN

See Also:

Constant Field Values

DEFAULT_TILE_WIDTH

public static final int DEFAULT_TILE_WIDTH

See Also:

Constant Field Values

DEFAULT_TILE_HEIGHT

public static final int DEFAULT_TILE_HEIGHT

See Also:

Constant Field Values

DEFAULT_TILE_SPACE

public static final int DEFAULT_TILE_SPACE

See Also:

Constant Field Values

widthMargin

public int widthMargin

heightMargin

public int heightMargin

tileWidth

public int tileWidth

tileHeight

public int tileHeight

tileSpace

public int tileSpace

tileLabelLetter

public int tileLabelLetter

Constructor Detail

TileSize

public TileSize()

TileSize

public TileSize(int widthMargin,
                int heightMargin,
                int tileWidth,
                int tileHeight,
                int tileSpace,
                int tileLabelLetter)