simtools.diagram
Class DiagramParameters

java.lang.Object
  simtools.diagram.DiagramParameters

All Implemented Interfaces:

java.io.Serializable

public class DiagramParameters
extends java.lang.Object
implements java.io.Serializable

This class holds the various paremeters used to define a DiagramComponent. It can be serialized. Some of these paramters have default values that can be read from Properties

Version:

1.0 1999

Author:

Claude Cazenave

See Also:

DiagramComponent, Serialized Form

Field Summary

java.awt.Color	backgr background color
static java.awt.Color	DEFAULT_COLOR background default color
static int[]	DEFAULT_VALUES
java.awt.Color	forgr forground color
int	grid diagram grid step
boolean	gridDisplay diagram grid display status
static int	HEADER_HEIGHT
static int	HEADER_MARGIN header height for printing
int	headerHeight header height for printing
java.lang.String	headerTitle header title for printing
int	height
static int	HEIGHT
int	minimumHeight minimum height of the diagram
int	minimumWidth minimum width of the diagram
java.lang.String	name diagram name
static java.lang.String[]	OPTION_KEYS
double	scale diagram zoom factor
int	width
static int	WIDTH
int	xmargin x margin
static int	XMARGIN
int	ymargin y margin
static int	YMARGIN

Constructor Summary

DiagramParameters()
Creates diagram parameters with default values

Method Summary

static java.awt.Color	invertColor(java.awt.Color c)
void	readProperties(java.util.Properties p) Reads diagram parameters from a set of properties

Methods inherited from class java.lang.Object

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

Field Detail

WIDTH

public static final int WIDTH

See Also:

Constant Field Values

HEIGHT

public static final int HEIGHT

See Also:

Constant Field Values

XMARGIN

public static final int XMARGIN

See Also:

Constant Field Values

YMARGIN

public static final int YMARGIN

See Also:

Constant Field Values

HEADER_HEIGHT

public static final int HEADER_HEIGHT

See Also:

Constant Field Values

DEFAULT_VALUES

public static final int[] DEFAULT_VALUES

OPTION_KEYS

public static final java.lang.String[] OPTION_KEYS

minimumWidth

public int minimumWidth

minimum width of the diagram

minimumHeight

public int minimumHeight

minimum height of the diagram

xmargin

public int xmargin

x margin

ymargin

public int ymargin

y margin

headerHeight

public int headerHeight

header height for printing

HEADER_MARGIN

public static final int HEADER_MARGIN

header height for printing

See Also:

Constant Field Values

headerTitle

public java.lang.String headerTitle

header title for printing

DEFAULT_COLOR

public static final java.awt.Color DEFAULT_COLOR

background default color

width

public int width

height

public int height

backgr

public java.awt.Color backgr

background color

forgr

public java.awt.Color forgr

forground color

name

public java.lang.String name

diagram name

scale

public double scale

diagram zoom factor

gridDisplay

public boolean gridDisplay

diagram grid display status

grid

public int grid

diagram grid step

Constructor Detail

DiagramParameters

public DiagramParameters()

Creates diagram parameters with default values

Method Detail

readProperties

public void readProperties(java.util.Properties p)

Reads diagram parameters from a set of properties

invertColor

public static java.awt.Color invertColor(java.awt.Color c)