ajax.gui.graph
Class GraphParameter

java.lang.Object
  |
  +--ajax.gui.graph.GraphParameter

All Implemented Interfaces:

java.io.Serializable

public class GraphParameter

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

static java.lang.String	FONT_NAME
static int	FONT_SIZE
GraphEdge[]	graphEdges
double	graphHeight
GraphNode[]	graphNodes
double	graphWidth
static java.awt.Color	SELECTED_NODE_COLOR
static int	TABLE
static java.awt.Color	TABLE_COLOR_EMPTY
static java.awt.Color	TABLE_COLOR_FULL
static java.awt.Color	TABLE_COLOR_USER
static int	TABLE_STATE_EMPTY
static int	TABLE_STATE_FULL
static int	TABLE_STATE_USER
static int	TRANS
static java.awt.Color	TRANS_COLOR_EXEC_FAILED
static java.awt.Color	TRANS_COLOR_EXEC_SUCCES
static java.awt.Color	TRANS_COLOR_IN_EXECUTION
static java.awt.Color	TRANS_COLOR_NOT_EXEC
static int	TRANS_STATE_EXEC_FAILED
static int	TRANS_STATE_EXEC_SUCCES
static int	TRANS_STATE_IN_EXECUTION
static int	TRANS_STATE_NOT_EXEC
java.lang.String	WEAVE_URL

Constructor Summary

GraphParameter()

Method Summary

void	setTableState(java.lang.String tableName, int state)
void	setTransState(java.lang.String transName, int state)
void	waitModification()

Methods inherited from class java.lang.Object

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

Field Detail

TABLE_STATE_EMPTY

public static final int TABLE_STATE_EMPTY

TABLE_STATE_FULL

public static final int TABLE_STATE_FULL

TABLE_STATE_USER

public static final int TABLE_STATE_USER

TRANS_STATE_NOT_EXEC

public static final int TRANS_STATE_NOT_EXEC

TRANS_STATE_IN_EXECUTION

public static final int TRANS_STATE_IN_EXECUTION

TRANS_STATE_EXEC_SUCCES

public static final int TRANS_STATE_EXEC_SUCCES

TRANS_STATE_EXEC_FAILED

public static final int TRANS_STATE_EXEC_FAILED

TRANS

public static final int TRANS

TABLE

public static final int TABLE

TABLE_COLOR_EMPTY

public static final java.awt.Color TABLE_COLOR_EMPTY

TABLE_COLOR_FULL

public static final java.awt.Color TABLE_COLOR_FULL

TABLE_COLOR_USER

public static final java.awt.Color TABLE_COLOR_USER

TRANS_COLOR_NOT_EXEC

public static final java.awt.Color TRANS_COLOR_NOT_EXEC

TRANS_COLOR_EXEC_SUCCES

public static final java.awt.Color TRANS_COLOR_EXEC_SUCCES

TRANS_COLOR_EXEC_FAILED

public static final java.awt.Color TRANS_COLOR_EXEC_FAILED

TRANS_COLOR_IN_EXECUTION

public static final java.awt.Color TRANS_COLOR_IN_EXECUTION

SELECTED_NODE_COLOR

public static final java.awt.Color SELECTED_NODE_COLOR

FONT_NAME

public static final java.lang.String FONT_NAME

FONT_SIZE

public static final int FONT_SIZE

WEAVE_URL

public java.lang.String WEAVE_URL

graphNodes

public GraphNode[] graphNodes

graphEdges

public GraphEdge[] graphEdges

graphWidth

public double graphWidth

graphHeight

public double graphHeight

Constructor Detail

GraphParameter

public GraphParameter()

Method Detail

setTableState

public void setTableState(java.lang.String tableName,
                          int state)

setTransState

public void setTransState(java.lang.String transName,
                          int state)

waitModification

public void waitModification()