Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
PREFIX |
"Status: " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
buffered |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DEBUG |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
NAV_MAX_HEIGHT |
200 |
public static final int |
NAV_MAX_WIDTH |
200 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
NEW_EDGE_RENDERING |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
HIGHLIGHTER |
"highlighter" |
public static final java.lang.String |
PAIR |
"pair" |
public static final java.lang.String |
PATH |
"path" |
public static final java.lang.String |
PRIOR_BORDER_COLOR |
"prior_border_color" |
public static final java.lang.String |
PRIOR_FILL_COLOR |
"prior_fill_color" |
public static final java.lang.String |
STATUS |
"status" |
public static final java.lang.String |
STATUS_PREVIOUS |
"status_previous" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
BOLD |
"bold" |
public static final java.lang.String |
DASHED |
"dashed" |
public static final java.lang.String |
DOTTED |
"dotted" |
public static final java.lang.String |
INVIS |
"invis" |
public static final java.lang.String |
LHEAD |
"lhead" |
public static final java.lang.String |
LTAIL |
"ltail" |
public static final java.lang.String |
SOLID |
"solid" |
public static final java.lang.String |
SPECIFIC |
"setlinewidth" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
COLUMN |
1 |
public static final int |
ROW |
0 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
BOTH_COLOR |
0 |
protected static final int |
DARK_COLOR |
0 |
protected static final int |
FACTOR |
3 |
protected static final int |
LIGHT_COLOR |
2 |
protected static final int |
MEDIUM_COLOR |
1 |
public static final int |
NAV_MAX_HEIGHT |
200 |
public static final int |
NAV_WIDTH |
300 |
protected static final int |
OTHER_COLOR |
2 |
protected static final int |
PARENT_COLOR |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
NAV_MAX_HEIGHT |
200 |
public static final int |
NAV_MAX_WIDTH |
200 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final char |
COMMENT |
59 |
public static final int |
versionNumber |
2903 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DEBUG |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DEBUG |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DEBUG |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LPAREN |
"(" |
public static final java.lang.String |
RPAREN |
")" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DFNS |
"d" |
public static final java.lang.String |
EMPTY |
"" |
public static final java.lang.String |
HELP |
"?" |
public static final char |
OPENP |
40 |
public static final java.lang.String |
PROMPT |
"\n> " |
public static final java.lang.String |
Q |
"q" |
public static final java.lang.String |
QUIT |
"quit" |
public static final java.lang.String |
SHOW |
"s " |
public static final java.lang.String |
TOGGLE |
"v" |
public static final java.lang.String |
UIDS |
"u" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGET |
"aget" |
public static final java.lang.String |
AND |
"and" |
public static final java.lang.String |
APPLY |
"apply" |
public static final java.lang.String |
ARRAY |
"array" |
public static final java.lang.String |
ASET |
"aset" |
public static final java.lang.String |
BOOLEAN |
"boolean" |
public static final java.lang.String |
BYTE |
"byte" |
public static final java.lang.String |
CATCH |
"catch" |
public static final java.lang.String |
CHAR |
"char" |
public static final java.lang.String |
CONCAT |
"concat" |
public static final java.lang.String |
DEFINE |
"define" |
public static final java.lang.String |
DIVIDE |
"/" |
public static final java.lang.String |
DO |
"do" |
public static final java.lang.String |
DOUBLE |
"double" |
public static final java.lang.String |
EQ |
"==" |
public static final java.lang.String |
EQUALS |
"=" |
public static final java.lang.String |
FETCH |
"fetch" |
public static final java.lang.String |
FLOAT |
"float" |
public static final java.lang.String |
FOR |
"for" |
public static final java.lang.String |
GEQ |
"<=" |
public static final java.lang.String |
GETATTR |
"getattr" |
public static final java.lang.String |
GETUID |
"getuid" |
public static final java.lang.String |
GT |
"<" |
public static final java.lang.String |
IF |
"if" |
public static final java.lang.String |
INSTANCEOF |
"instanceof" |
public static final java.lang.String |
INT |
"int" |
public static final java.lang.String |
INVOKE |
"invoke" |
public static final java.lang.String |
ISNULL |
"isnull" |
public static final java.lang.String |
ISOBJECT |
"isobject" |
public static final java.lang.String |
LAMBDA |
"lambda" |
public static final java.lang.String |
LEQ |
">=" |
public static final java.lang.String |
LET |
"let" |
public static final java.lang.String |
LOAD |
"load" |
public static final java.lang.String |
LONG |
"long" |
public static final java.lang.String |
LOOKUP |
"lookup" |
public static final java.lang.String |
LT |
">" |
public static final java.lang.String |
MINUS |
"-" |
public static final java.lang.String |
MKARRAY |
"mkarray" |
public static final java.lang.String |
MODULO |
"%" |
public static final java.lang.String |
NARROW |
"narrow" |
public static final java.lang.String |
NEQ |
"!=" |
public static final java.lang.String |
NOT |
"not" |
public static final java.lang.String |
NULL |
"null" |
public static final java.lang.String |
OBJECT |
"object" |
public static final java.lang.String |
OR |
"or" |
public static final java.lang.String |
PLUS |
"+" |
public static final java.lang.String |
QUOTE |
"quote" |
public static final java.lang.String |
SEQ |
"seq" |
public static final java.lang.String |
SETATTR |
"setattr" |
public static final java.lang.String |
SETUID |
"setuid" |
public static final java.lang.String |
SHORT |
"short" |
public static final java.lang.String |
SINVOKE |
"sinvoke" |
public static final java.lang.String |
SUPDATE |
"supdate" |
public static final java.lang.String |
THROW |
"throw" |
public static final java.lang.String |
TIMES |
"*" |
public static final java.lang.String |
TRY |
"try" |
public static final java.lang.String |
UPDATE |
"update" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DELETE |
"Delete" |
public static final java.lang.String |
RETAIN |
"Retain" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
EDIT |
"edit" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
EDIT |
"edit" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
_MAX_HEIGHT |
200 |
public static final int |
_MAX_WIDTH |
200 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
EDIT |
"edit" |
Modifier and Type | Constant Field | Value |
---|---|---|
public final java.lang.String |
statusPrefix |
"Status: " |
public static final java.lang.String |
VERSION |
"v 0.1" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
LEEWAY |
5 |
public static final int |
SLEEP_TIME |
60000 |
public static final boolean |
verbose |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public final java.lang.String |
statusPrefix |
"Status: " |
public static final java.lang.String |
VERSION |
"v 0.6" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ADD |
1 |
public static final int |
DELETE |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
Linux |
0 |
public static final int |
MacOSX |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DEFAULT |
0 |
public static final int |
NEXT |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LEXICAL |
"Lexical" |
public static final java.lang.String |
SPATIAL |
"Spatial" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DEBUG |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ARROWHEAD_LENGTH |
10 |
public static final java.lang.String |
ARROWHEAD_SHAPE |
"normal" |
public static final int |
ARROWHEAD_WIDTH |
4 |
public static final java.lang.String |
EDGE_STYLE |
"solid" |
public static final java.lang.String |
FONT |
"Lucinda Sans" |
public static final int |
FONTSIZE |
10 |
public static final double |
NODE_HEIGHT |
30.0 |
public static final java.lang.String |
NODE_SHAPE |
"ellipse" |
public static final double |
NODE_WIDTH |
50.0 |
public static final int |
SCROLLINCR |
20 |
public static final float |
STROKEWIDTH |
1.25f |
public static final int |
WINDOWHEIGHT |
500 |
public static final int |
WINDOWWIDTH |
500 |
public static final double |
ZOOM |
0.2 |
public static final double |
ZOOMIN |
1.2 |
public static final double |
ZOOMOUT |
0.8 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAX_ROWS |
7 |
public static final int |
MIN_ROWS |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ZOOM_IN |
1 |
public static final int |
ZOOM_OUT |
2 |
public static final int |
ZOOM_TO_FIT |
3 |
public static final int |
ZOOM_TO_ORIG |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FC_GRAPH_AREA |
"graph_area" |
public static final java.lang.String |
FC_GRAPH_FILE |
"graph_file" |
public static final java.lang.String |
FC_GRAPH_FORMAT |
"graph_format" |
public static final java.lang.String |
FC_RAW_TEXT_AREA |
"raw_text_area" |
public static final java.lang.String |
FC_RAW_TEXT_FILE |
"raw_text_file" |
public static final java.lang.String |
FC_RAW_TEXT_FORMAT |
"raw_text_format" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
TOOL_BTN_HEIGHT |
32 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
SIZE |
32 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ZERO |
0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FC_DIR |
"Chooser directory" |
public static final java.lang.String |
FC_FILE |
"Chooser file" |
public static final double |
GOLDEN_MEAN |
1.61803399 |
public static final int |
JD_DEFAULT_H |
100 |
public static final int |
JD_DEFAULT_W |
161 |
public static final java.lang.String |
JD_H |
"Height of JDialog" |
public static final java.lang.String |
JD_W |
"Width of JDialog" |
public static final java.lang.String |
JD_X |
"X of JDialog" |
public static final java.lang.String |
JD_Y |
"Y of JDialog" |
public static final int |
JF_DEFAULT_H |
512 |
public static final int |
JF_DEFAULT_W |
828 |
public static final java.lang.String |
JF_H |
"Height of JFrame" |
public static final java.lang.String |
JF_W |
"Width of JFrame" |
public static final java.lang.String |
JF_X |
"X of JFrame" |
public static final java.lang.String |
JF_Y |
"Y of JFrame" |
public static final java.lang.String |
JSP_DIV |
"Divider Location" |